#include <cstdio>

FILE* in=fopen("lacate.in","r");
FILE* out=fopen("lacate.out","w");

int n;

int v[300][300];

int main()
{
    fscanf(in,"%d",&n);

    if(n==2)
    {
        fprintf(out,"1 1\n1\n1");
        return 0;
    }

    int act=0;

    for(int i=1; i<=n; i++)
    {
        for(int j=i+1; j<=n; j++)
        {
            act++;
            v[i][++v[i][0]]=act;
            v[j][++v[j][0]]=act;
        }
    }

    fprintf(out,"%d %d\n",act,v[1][0]);

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

    return 0;
}