#include <cstdio>

FILE* in;
FILE* out;

int rez[300][300];

int main()
{
    in=fopen("lacate.in","r");
    out=fopen("lacate.out","w");

    int n;

    fscanf(in,"%d",&n);

    int nxt=0;

    for(int i=1; i<=n; i++)
    {
        for(int j=i+1; j<=n; j++)
        {
            rez[i][j-1]=++nxt;
            rez[j][i]=nxt;
        }
    }

    fprintf(out,"%d %d\n",nxt,n-1);

    for(int i=1; i<=n; i++)
    {
        for(int j=1; j<n; j++)
        {
            fprintf(out,"%d ",rez[i][j]);
        }
        fprintf(out,"\n");
    }

    return 0;
}