#include <stdio.h>
#include <stdlib.h>

int main() {
	FILE *f1 = fopen("lacate.in", "r");
	FILE *f2 = fopen("lacate.out", "w");

	int n;
	fscanf(f1, "%d", &n);

	fprintf(f2, "%d %d\n", n*(n-1)/2, n-1);

	int **m = (int **) malloc (n * sizeof(int *));
	int i, j;
	for(i = 0;i < n;i++)
		m[i] = (int *) calloc (n - 1, sizeof(int));

	int k = 1;
	for(i = 0;i < n;i++)
		for(j = 0;j < n-1;j++)
			if(m[i][j] == 0) {
				m[i][j] = k;
				m[j+1][i] = k++;
			}

	for(i = 0;i < n;i++) {
		for(j = 0;j < n-1;j++)
			fprintf(f2, "%d ", m[i][j]);
		fprintf(f2, "\n");
	}


	fclose(f1);
	fclose(f2);
	return 0;
}