#include <bits/stdc++.h>
using namespace std;

using ll = long long;
using ld = long double;

#define all(a) begin(a), end(a)
#define len(a) int((a).size())

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);

    int k;
    cin >> k;

    const int N = 2 * (k + 2);
    vector<pair<int, int>> edges;
    for (int v = 3; v <= N; v++) {
        if (v % 2 == 1) {
            for (int u = v - 1; u > 1; u -= 2) {
                edges.emplace_back(u, v);
            }
        } else {
            for (int u = v - 3; u >= 1; u -= 2) {
                edges.emplace_back(u, v);
            }
        }
    }

    cout << N << ' ' << len(edges) << ' ' << 2 << '\n';
    for (int v = 1; v <= N; v++) {
        cout << (v % 2 == 1 ? 1 : 2) << " \n"[v == N];
    }
    for (auto [v, u] : edges) {
        cout << v << ' ' << u << '\n';
    }
}