#include<stdio.h>

FILE*f=fopen("lacate.in","r");
FILE*g=fopen("lacate.out","w");

int N,nrlacate,nrcpp,A[259][259],U,j,i;

int main () {
	
	fscanf(f,"%d",&N);
	
	nrlacate = ( N * ( N - 1 ) ) / 2;
	nrcpp = (2 * nrlacate) / N;
	
	fprintf(g,"%d %d\n",nrlacate,nrcpp);
	
	for ( i = 1 ; i <= N ; ++i ){
		for ( j = i ; j <= nrcpp ; ++j )
			A[i][j] = ++U;
	}
	U = 0;
	for ( j = 1 ; j <= nrcpp ; ++j ){
		for ( i = j + 1 ; i <= N ; ++i )
			A[i][j] = ++U;
	}
	
	for ( i = 1 ; i <= N ; ++i ){
		
		for ( j = 1 ; j <= nrcpp ; ++j )
			fprintf(g,"%d ",A[i][j]);
		
		fprintf(g,"\n");
		
	}
	
	fclose(f);
	fclose(g);
	
	return 0;
}