#include<stdio.h>

int main()
{
	int curent[256][256],n,lacate,chei,i,j,nrcurent;
	FILE *f=fopen("lacate.in","r");

	fscanf(f,"%i\n",&n);
	fclose(f);
	f=fopen("lacate.out","w");

	lacate=n*(n-1)/2;
	chei=n-1;
	fprintf(f,"%i %i\n",lacate,chei);

	nrcurent=0;
	for(i=0;i<n;i++)
	{
		for(j=0;j<i;j++)
			fprintf(f,"%i ",curent[j][i-1]);
		for(j=i;j<chei;j++)
			curent[i][j]=++nrcurent;
		fprintf(f,"%s","\n");
	}
	fclose(f);
	return 0;
}