#include <fstream>
#include <vector>
using namespace std;

vector <int> keys[257];

int main()
{
    int n;
    int i, j;
    int key = 1;
    ifstream f("lacate.in");
    f >> n;
    f.close();
    for(i = 1; i < n; i++)
        for(j = i + 1; j <= n; j++)
        {
            keys[i].push_back(key);
            keys[j].push_back(key);
            key++;
        }
    ofstream g("lacate.out");
    g << key - 1 << " " << n - 1 << '\n';
    int nn = n - 1;
    for(i = 1; i <= n; i++)
    {
        for(j = 0; j < nn; j++)
            g<<keys[i][j] << " ";
        g << '\n';
    }
    g.close();
    return 0;
}