#include <bits/stdc++.h>

using namespace std;
ifstream in("lacate.in");
ofstream out("lacate.out");
int n,cate,k,x;
vector<int> v[300];
int main()
{
    in>>n;
    cate=n*(n-1)/2;
    out<<cate<<" "<<n-1<<'\n';
    for(int i=1;i<=n;i++)
        for(int j=i+1;j<=n;j++)
    {
        k++;
        v[i].push_back(k);
        v[j].push_back(k);
    }
    for(int i=1;i<=n;i++)
    {
        for(auto it:v[i]) out<<it<<" ";
        out<<'\n';
    }
    return 0;
}