#include <stdio.h>
#define NMAX 384
#define INF "lacate.in"
#define OUF "lacate.out"

int main()
{
	int key[NMAX][NMAX],nk[NMAX]={0},i,j,n,k,nrl,nrc;
	FILE *in,*out;
	in=fopen(INF,"r");
	out=fopen(OUF,"w");
	fscanf(in,"%d",&n);
        nrl=n*(n-1)/2;
	nrc=n-1;k=1;
	for(i=1;i<n;i++)
	{
		for(j=i+1;j<=n;j++)
		{
			nk[i]++;nk[j]++;
			key[i][nk[i]]=key[j][nk[j]]=k;
			k++;
		}
	}
	fprintf(out,"%d %d\n",nrl,nrc);
	for(i=1;i<=n;i++)
	{
		for(j=1;j<=nrc;j++)  fprintf(out,"%d ",key[i][j]);
		fprintf(out,"\n");
	}
	fclose(in);fclose(out);
	return 0;
}