// Problem: C. Challenge NPC
// Contest: The 3rd Universal Cup. Stage 8: Cangqian
// URL: https://qoj.ac/contest/1780/problem/8934
// Author: Fourier_WJY
// Memory Limit: 1024 MB
// Time Limit: 1000 ms
// Copyright (c) 2023 Fourier All rights reserved.
//
// Powered by CP Editor (https://cpeditor.org)

#include <bits/stdc++.h>
#define ll long long

using namespace std;

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int k;
    cin >> k;
    int n = 2 * k + 4;
    vector<pair<int, int>> e;
    for (int i = 1; i <= n; i += 2)
        for (int j = 2; j < i; j += 2) e.push_back({j, i});
    for (int i = 2; i <= n; i += 2)
        for (int j = 1; j < i - 1; j += 2) e.push_back({j, i});
    cout << n << " " << e.size() << " " << 2 << "\n";
    for (int i = 1; i <= n / 2; i++)
        cout << "1 2"
             << " \n"[i == n / 2];
    for (auto it : e) cout << it.first << " " << it.second << "\n";
    return 0;
}