#include <iostream>
#include <fstream>

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

int freq[256];

int main()
{
    int N;
    in >> N;
    int locks = N*(N-1)/2;
    int keys = N-1;

    out << locks << " " << keys << "\n";
    std::fill(std::begin(freq), std::end(freq), 2);
    for(int i = 0; i<N; i++)
    {
        int count = keys;
        for(int j = 1; j<=locks && count; j++)
        {
            if(freq[j] > 0)
            {
                out << j << " ";
                freq[j]--;
                count--;
            }
        } 
        out << "\n";
    } 
}