#include <bits/stdc++.h>

using namespace std;

int n;

vector<int> v[257];

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