// 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;
    vector<pair<int, int>> e;
    k += 2;
    k <<= 1;
    for (int i = 1; i <= k; i += 2)
        for (int j = 2; j < i; j += 2) e.push_back({j, i});
    cout << k << " " << e.size() << " " << 2 << "\n";
    for (int i = 1; i <= k / 2; i++) cout << "1 2 ";
    cout << "\n";
    for (auto it : e) cout << it.first << " " << it.second << "\n";
    return 0;
}