#include <bits/stdc++.h>
#define dd(x) cout << #x << "\n"
#define d(x) cout << #x  << ": " << x << "\n"
#define SZ(x) ((int)(x).size())
using namespace std;
#define int long long
using pii = pair<int, int>;
using vpii = vector<pii>;
using vi = vector<int>;
using vii = vector<vector<int>>;
using a3 = array<int, 3>;
using ll = long long;
const int inf = 0x3f3f3f3f3f3f3f3fLL;

// #define MULTI_TEST

void solve() {
    int k; cin >> k;
    int cnt = 0;
    
    int n = k + 2;
    vector<pair<int, int>> edg;
    for(int i = 2; i <= k + 2; i++) {
        for(int j = 1; j < i; j++) {
            edg.push_back({i, n + j});
            edg.push_back({n + i, j});
            ++cnt;
        }
    }

    cout << 2 * (k + 2) << " " << cnt << " " << 2 << "\n";
    for(int i = 1; i <= k + 2; i++) cout << 1 << " ";
    for(int i = 1; i <= k + 2; i++) cout << 2 << " ";
    cout << "\n";
    for(auto [u, v] : edg) {
        cout << u << " " << v << "\n";
    }
}

signed main() {
    ios::sync_with_stdio(false); cin.tie(0);
#ifdef MULTI_TEST
    int T; cin >> T;
#else
    int T = 1;
#endif
    while(T--) solve();
    return 0;
}