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

int main(){
	FILE *in=fopen("lacate.in","r");
	int n,i,j;
	fscanf(in,"%d",&n);
	fclose(in);
	int m[n][n-1];
	int uc=0;
	for(i=0;i<n;i++){
		for(j=0;j<n-1;j++){
			if(j<i){
				m[i][j]=m[j][i-1];
			}else{
				uc++;
				m[i][j]=uc;
			}
		}
	}
	FILE *out=fopen("lacate.out","w");
	fprintf(out,"%d 2\n",n*(n-1)/2);
	for(i=0;i<n;i++){
		for(j=0;j<n-1;j++){
			fprintf(out,"%d ",m[i][j]);
		}
		fprintf(out,"\n");
	}
	return 0;
}