#include <bits/stdc++.h>

using i64 = long long;

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

    int k;
    std::cin >> k;
    int n = 1024;
    std::vector<std::pair<int, int>> ed;
    std::vector<std::vector<int>> adj(n + 1);
    for (int i = 1; i <= n; i++) {
        int p = (i % 2);
        for (int j = 1; j < i - (~i & 1); j++) {
            if (j % 2 == p)
                continue;
            ed.emplace_back(i, j);
            adj[i].push_back(j);
            adj[j].push_back(i);
        }
    }

    int m = ed.size();
    std::cout << n << " " << m << " " << 2 << '\n';
    for (int i = 1; i <= n; i++) {
        if (i & 1) {
            std::cout << 1;
        } else {
            std::cout << 2;
        }
        std::cout << " \n"[i == n];
    }
    for (const auto &[x, y] : ed) {
        std::cout << x << " " << y << '\n';
    }

    return 0;
}