#include <bits/stdc++.h>
#define int long long

using namespace std;

constexpr int n = 1024;
constexpr int m = 261632;
constexpr int c = 2;

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

    vector <pair <int, int>> edge;
    for (int i = 3; i <= n; i += 2) {
        for (int j = 2; j <= i - 1; j += 2) {
            edge.push_back ({i, j});
        }
    }
    for (int i = 2; i <= n; i += 2) {
        for (int j = 1; j < i - 1; j += 2) {
            edge.push_back ({i, j});
        }
    }

    cout << n << " " << m << " " << c << '\n';

    for (int i = 1; i <= n; i ++) {
        if (i & 1) {
            cout << 1 << " ";
        } else {
            cout << 2 << " ";
        }
    }
    cout << '\n';

    for (auto [x, y] : edge) {
        cout << x << " " << y << '\n';
    }
}

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

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

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

    return 0;
}