//Ilie Dumitru
#include<cstdio>

int keys[256][255], n[256];

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