#include <stdio.h>

int a[258][258];
int n, i, j, k;
int lacate, chei;
int col, col1;

int main ()
{
	FILE *f = fopen ("lacate.in","r");
	FILE *g = fopen ("lacate.out","w");
	fscanf (f,"%d", &n);
	
	k = 1;
	col = 1;
	col1 = 1;
	for (i=1; i<=n; ++i)
	{
		for (j=i+1; j<=n; ++j)
		{
			a[i][col] = k;
			col ++;
			a[j][col1] = k;
			k ++;
		}
		col1 ++;
		col = i + 1;
	}
	
	lacate = k - 1;
	chei = n - 1;
	
	fprintf (g,"%d %d\n", lacate, chei);
	for (i=1; i<=n; ++i)
	{
		for (j=1; j<=chei; ++j)
			fprintf (g,"%d ", a[i][j]);
		fprintf (g,"\n");
	}
	
	fclose(g);
	fclose(f);
	return 0;
}