#include <bits/stdc++.h>

#define ll long long
#define pii pair<int, int>
#define ff first
#define ss second

using namespace std;

const int N = 2e5 + 10;

vector<int> g[N];

int main() {
    ios_base::sync_with_stdio(false); cin.tie(0);
    int k;
    cin >> k;
    int edges = 0;
    int n = (k + 2);
    for(int i = 1; i <= 2 * n; i++) {
        int start = (i & 1 ? i - 1 : i - 3);
        for(int j = start; j > 0; j -= 2) {
            g[i].push_back(j);
            edges++;
        }
    }

    cout << 2 * n << " " << edges << " " << 2 << "\n";
    for(int v = 1; v <= 2 * n; v++) {
        for(int u : g[v]) {
            cout << v << " " << u << "\n";
        }
    }

    return 0;
}