#include<stdio.h>
#define NMAX 256
char a[NMAX+1][NMAX*NMAX+1];

int main(){
freopen("lacate.in","r",stdin);
freopen("lacate.out","w",stdout);
int n,i,j,k,l,c,nr,start,lc;
scanf("%d",&n);
c=n-1;
l=n*(n-1)/2;
nr=1;
for(k=c;k>=1;--k){
	start=n-k;lc=start;
	for(j=nr;j<nr+k;++j){
		a[start][j]=1;
		a[++lc][j]=1;
		}
	nr+=k;
	}
printf("%d %d\n",l,c);
for(i=1;i<=n;++i){
	for(j=1;j<=l;++j)
		if(a[i][j]) printf("%d ",j);
	printf("\n");
	}
return 0;
}