#include <bits/stdc++.h>

using namespace std;

int n;

bool v[40000][257];

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