#include<bits/stdc++.h>

using namespace std;

int N;
vector<int> res[300];

int main()
{

    ifstream in("lacate.in");
    ofstream out("lacate.out");

    in>>N;
    int L = N * (N - 1) / 2, C = N - 1;

    int cnt=0;
    for(int i=0; i<N; i++)
    {
        for(int k=i+1; k<N; k++)
        {
            cnt++;
            res[i].push_back(cnt);
            res[k].push_back(cnt);

        }

    }

    out<<L<<" "<<C<<'\n';
    for(int i=0; i<N; i++)
    {
        for(int k=0; k<res[i].size(); k++)
        {
            out<<res[i][k]<<" ";
        }
        out<<'\n';
    }
    return 0;
}