#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;
}