#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;
    for (int i = 1; i <= n; i++) {
        int p = (i % 2);
        for (int j = 1; j < i; j++) {
            if (j % 2 == p)
                continue;
            ed.emplace_back(i, j);
        }
    }

    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';
    for (const auto &[x, y] : ed) {
        std::cout << x << " " << y << '\n';
    }

    return 0;
}