#include<cstdio>
int n,i,j,d[1000][1000],nr;
FILE *f,*g;
int main(){
    f=fopen("lacate.in","r");
    g=fopen("lacate.out","w");
    fscanf(f,"%d",&n);
    for(i=1;i<=n;i++){
        for(j=i;j<n;j++){
            nr++;
            d[i][j]=d[j+1][i]=nr;
        }
    }
    fprintf(g,"%d %d\n",nr,n-1);
    for(i=1;i<=n;i++){
        for(j=1;j<n;j++){
            fprintf(g,"%d ",d[i][j]);
        }
        fprintf(g,"\n");
    }
    fclose(f);
    fclose(g);
    return 0;
}