#include <bits/stdc++.h>
int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    int n = 19;
    std::vector<std::pair<int, int>> edges;
    edges.emplace_back(0, 1);
    edges.emplace_back(1, 2);
    edges.emplace_back(2, 0);
    for (int i = 3; i < 3 + 8; i++) {
        edges.emplace_back(i, (i + 2) % 3);
        if (i > 3) {
            edges.emplace_back(i - 1, i);
        }
    }
    std::cout << n << " " << edges.size() << "\n";
    for (auto [u, v] : edges) {
        std::cout << u + 1 << " " << v + 1 << "\n";
    }
    for (int k = 1; k <= 500; k++) {
        edges.clear();
        int x = k;
        int cur = 3 + 8;
        while (x % 2 == 0) {
            edges.emplace_back(cur++, 0);
            x /= 2;
        }
        int b = __builtin_popcount(x);
        edges.emplace_back(b + 2, (b + 2) % 3);
        int v = 3;
        for (int i = 1; (1 << i) <= x; i++) {
            edges.emplace_back(cur, v);
            edges.emplace_back(cur++, v % 3);
            if (x >> i & 1) {
                v++;
            }
        }
        assert(cur <= n);
        assert(edges.size() <= 17);
        while (cur < n) {
            edges.emplace_back(cur, 0);
            edges.emplace_back(cur++, 1);
        }
        std::cout << edges.size() << "\n";
        for (auto [u, v] : edges) {
            std::cout << u + 1 << " " << v + 1 << "\n";
        }
    }
    return 0;
}