#include<stdio.h>
FILE*f=fopen("lacate.in","r");
FILE*g=fopen("lacate.out","w");
int n,i,j,k,a[258][258];
int main() {
	fscanf(f,"%d",&n);
	fprintf(g,"%d %d\n",n*(n-1)/2,n-1);
	for(i=1;i<=n;i++){ 
		for (j=1;j<=n;j++){   
			if (j!=i) { 
				if (j>i){ 
					k++;	
					a[i][j]=k; 
					a[j][i]=k;                 
				} 
				fprintf(g,"%d ",a[i][j]);
			}			
		}	
		fprintf(g,"\n"); 
	}
	fclose(g);
	fclose(f);
	return 0;
}