#include <stdio.h>
FILE *f=fopen("lacate.in","r"),*g=fopen("lacate.out","w");
int m[258][258],i,j,n,p;
int main(void)
{
	fscanf(f,"%d",&n);
	fprintf(g,"%d %d\n",(n*(n-1))/2,n-1);
	p=1;
	for (i=1;i<=n;i++)
	{
		for (j=m[i][0]+1;j<=n-1;j++)
		{
			m[i][j]=p;
			m[j+1][++m[j+1][0]]=p;
			p++;
		}
	}
	for (i=1;i<=n;i++)
	{
		for (j=1;j<=n-1;j++)
			fprintf(g,"%d ",m[i][j]);
		fprintf(g,"\n");
	}
	fclose(g);
	return 0;
}