#include <bits/stdc++.h>

#define int long long
#define fast ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
#define pb push_back
using namespace std;

void solve();

signed main() {
    fast
    int t = 1;
//  cin >> t;
    while (t--) solve();
}

const int N = 1030;

vector<int> l, r;
int ord;

using pii = pair<int, int>;
vector<pii> res;

int color[N];

void solve() {
    l = {1, 2, 4};
    r = {3};
    res = {{1, 2}, {2, 4}, {4, 3}};
    ord = 4;
    int k; cin >> k;
    while(--k){
        r.pb(++ord);
        for(int i = (int)r.size() - 2; i >= 0; i -= 2){
            res.pb({ord, r[i]});
        }
        for(int i = (int)r.size() - 3; i >= 0; i -= 2){
            res.pb({ord, l[i]});
        }
        l.pb(++ord);
        for(int i = (int)l.size() - 2; i >= 0; i -= 2){
            res.pb({ord, l[i]});
        }
        for(int i = (int)l.size() - 3; i >= 0; i -= 2){
            res.pb({ord, r[i]});
        }
    }
    cout << ord << ' ' << res.size() << ' ' << 2 << '\n';
    for(int i = 0; i < l.size(); i++){
        color[l[i]] = i & 1;
    }
    for(int i = 0; i < r.size(); i++){
        color[r[i]] = !(i & 1);
    }
    for(int i = 1; i <= ord; i++){
        cout << color[i] + 1 << ' ';
    }
    cout << '\n';
    for(auto [l, r] : res){
        cout << l << ' ' << r << '\n';
    }
}