#include <bits/stdc++.h>

void solve() {
    // i * 2 - 1, i * 2

    auto get = [&](int x, int type) -> int {
        return x * 2 - type;
    };

    const int N = 509;
    std::vector<std::pair<int, int>> edges;

    for (int i = 2; i <= N; ++i) {
        for (int j = 1; j < i; ++j) {
            edges.emplace_back(get(i, 0), get(j, 1));
            edges.emplace_back(get(i, 1), get(j, 0));
        }
    }

    std::cout << N * 2 << ' ' << edges.size() << ' ' << N << '\n';
    for (int i = 1; i <= N; ++i) {
        std::cout << "1 2 ";
    }
    std::cout << '\n';
    for (auto [x, y] : edges) {
        std::cout << x << ' ' << y << '\n';
    }

}

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

    int k;
    std::cin >> k;

    solve();
}