#include <stdio.h>

int sol[300][300], used[300];

int main()
{
	int i, j, N, now = 0;
	
	freopen("lacate.in", "r", stdin);
	freopen("lacate.out", "w", stdout);
	
	scanf("%d", &N);
	
	printf("%d %d\n", N * (N - 1) / 2, N - 1);
	for (i = 1; i < N; i ++)
		for (j = i + 1; j <= N; j ++)
		{
			++ now;
			sol[i][++ used[i]] = now;
			sol[j][++ used[j]] = now;
		}
	
	for (i = 1; i <= N; i ++, printf("\n"))
		for (j = 1; j < N; j ++)
			printf("%d ", sol[i][j]);
		
	return 0;
}