#include <bits/stdc++.h>

using i64 = long long;
using u64 = unsigned long long;
using u32 = unsigned;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    int k;
    std::cin >> k;
    
    int n = 2 * k + 4;
    
    std::vector<std::pair<int, int>> e;
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < i; j++) {
            if (i % 2 != j % 2 && j / 2 < i / 2) {
                e.emplace_back(i, j);
            }
        }
    }
    
    std::cout << n << " " << e.size() << " " << 2 << "\n";
    for (int i = 0; i < n; i++) {
        std::cout << i % 2 + 1 << " \n"[i == n - 1];
    }
    for (auto [x, y] : e) {
        std::cout << x + 1 << " " << y + 1 << "\n";
    }
    
    return 0;
}