#include<bits/stdc++.h>

using namespace std;

#define int long long

void solve() {
    int k;
    cin >> k;

    int n = 1024, c = 2, m = 0;
    vector<int> col(n + 1);
    vector g(n + 1, vector<int>());
    for (int i = 1; i <= n; i++) {
        col[i] = (i & 1) ? 1 : 2;
        for (int j = i - 1; j > 0; j -= 2) {
            if (i % 2 == 0 && j == i - 1) continue;
            g[i].push_back(j);
        }
        m += g[i].size();
    }

    cout << n << " " << m << " " << c << "\n";
    for (int i = 1; i <= n; i++) {
        cout << col[i] << " \n"[i == n];
    }
    for (int i = 1; i <= n; i++) {
        for (auto v : g[i]) {
            cout << i << " " << v << "\n";
        }
    }
}

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int T = 1;
    // cin >> T;

    while (T--) {
        solve();
    }

    return 0;
}