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

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);

    int k;
    cin >> k;

    int n = 2 * (k + 2);
    vector<pair<int, int>> edges;
    for (int i = 0; i < k + 2; i++) {
        for (int j = 0; j < i; j++) {
            edges.emplace_back(i, k + 2 + j);
            edges.emplace_back(j, k + 2 + i);
        }
    }
    cout << n << " " << edges.size() << " 2\n";
    for (int i = 0; i < k + 2; i++) {
        cout << 1 << " ";
    }
    for (int i = 0; i < k + 2; i++) {
        cout << 2 << " ";
    }
    cout << "\n";
    for (auto [u, v] : edges) {
        cout << u + 1 << " " << v + 1 << "\n";
    }
}