#include<bits/stdc++.h>
#define endl '\n'
using namespace std;


inline void Solve() {
    int k; cin >> k;
    int n = 2 * k + 4;
    vector<pair<int, int>>v;
    for (int i = 1; i <= n; i++) {
        int l = 1, r = i - 1;
        if (i & 1) l = 2, r = i;
        for (int j = l; j < r; j += 2) {
            v.emplace_back(j, i);
            // cout << j << " " << i << endl;
        }
    }
    cout << n << " " << v.size() << " " << 2 << endl;
    for (int i = 1; i <= n; i++) {
        if (i & 1) cout << 1 << " ";
        else cout << 2 << " ";
    }
    cout << endl;
    for (auto [x, y] : v) cout << x << " " << y << endl;
}

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0), cout.tie(0);
    int T = 1;
    // cin >> T;
    while (T--) {
        Solve();
    }
    return 0;
}