#include <fstream>
#include <vector>
using namespace std;
#define PB push_back
#define maxN 260
vector < int > sol[maxN];
int N, L, K;
int main()
{
ifstream f("lacate.in");
ofstream g("lacate.out");
f >> N;
L = N * (N - 1) / 2;
K = N - 1;
g << L << " " << K << '\n';
int z = 1;
for (int i = 1; i < N; ++ i)
for (int j = i + 1; j <= N; ++ j)
{
sol[i].PB (z);
sol[j].PB (z);
++ z;
}
for (int i = 1; i <= N; ++ i)
{
for (int j = 0; j < K; ++ j)
g << sol[i][j] << " ";
g << '\n';
}
f.close();
g.close();
return 0;
}