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

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

    unsigned int n;
    fscanf(pf,"%d",&n);

    int a[256][256];
    int i,j,c=0;

    for (i=1; i<=n; i++)
        for (j=i; j<=n-1; j++)
    {
        a[i][j]=a[j+1][i]=++c;
    }
    fprintf(pg,"%d %d\n",(n*(n-1))/2,n-1);
    for (i=1; i<=n; i++)
        {for (j=1; j<=n-1; j++)
            fprintf(pg,"%d ",a[i][j]);
        fprintf(pg,"\n");
        }



    return 0;
}