#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define endl '\n'
#define fastio ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0)
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;

int col[200010];
void solve() {
    int k;
    cin >> k;
    int n = 4 + 2 * k;
    int m = 0;
    int c = 2;
    vector<pair<int,int>> ans;
    for(int i = 1 ;i <= n;i++){
        col[i] = (i & 1) + 1;
        for(int j = 1 ; j < i ;j++){
            if((i ^ j) & 1) ans.push_back({i , j});
        }
        i++;
        col[i] = (i & 1) + 1;
        for(int j = 1 ; j + 1 < i ;j++){
            if((i ^ j) & 1) ans.push_back({i , j});
        }
    }
    m = ans.size();
    cout << n <<' '<<m <<' '<<c<<endl;
    for(int i = 1; i <= n;i++){
        cout << col[i] <<' ';
    }
    cout << endl;
    for(auto [x , y] : ans) {
        cout << x << ' '<< y <<endl;
    }
    cout << endl;
}

int main(){
    fastio;
    solve();
    return 0;
}