#include <bits/stdc++.h>
using namespace std;
using ui = unsigned int;
using ull = unsigned long long;
using ll = long long;
#define endl '\n'
using pii = pair<int, int>;
using pll = pair<ll, ll>;
const int maxn = 2e5 + 10;
const int mod = 1000000007;
#define inl inline
#define fr(i, a, b) for (int i = a; i <= b; i++)
#define ford(i, a, b) for (int i = a; i >= b; i--)
#define forall(i, a) for (auto &i : a)

/**
   ____         ___ _____
  / ___| _   _ / _ \___ /
  \___ \| | | | | | ||_ \
   ___) | |_| | |_| |__) |
  |____/ \__, |\___/____/
         |___/
*/
istream &operator>>(istream &in, vector<int> &v)
{
    for (auto &i : v)
        in >> i;
    return in;
}
ostream &operator<<(ostream &out, vector<int> &v)
{
    for (auto &i : v)
        out << i << " ";
    return out;
}
bool _output = 0;

void solve()
{
    int k;
    cin >> k;
    vector<pii> edge;
    fr(i, 2, k + 2)
    {
        fr(j, 1, i - 1)
        {
            edge.push_back({i * 2 - 1, j * 2});
            edge.push_back({i * 2, j * 2 - 1});
        }
    }
    cout << (k + 2) * 2 << " " << edge.size() << " " << 2 << endl;
    fr(i, 1, k + 2)
    {
        cout << 1 << " " << 2 << endl;
    }
    for (auto [x, y] : edge)
    {
        cout << x << " " << y << endl;
    }
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int _ = 1;
    if (_output)
        cin >> _;
    while (_--)
        solve();
    return 0;
}