#include<cstdio>
int v[2][100000];
int main()
{
    freopen("lacate.in","r",stdin);
    freopen("lacate.out","w",stdout);
    int n,i,j,k;
    long long nrl;
    scanf("%d",&n);
    nrl=n*(n-1)/2;
    printf("%lld %d\n",nrl,n-1);
    i=1;
    for(k=1;k<=nrl;k++)
        for(j=k+1;j<=n;j++)
        {
            v[1][i]=k;
            v[2][i]=j;
            i++;
        }

    for(i=1;i<=n;i++)
    {
        for(j=1;j<=nrl;j++)
            {
                if(v[1][j]==i)
                    printf("%d ",j);
                if(v[2][j]==i)
                    printf("%d ",j);
            }
        printf("\n");
    }

    return 0;
}