#include<bits/stdc++.h>
#define int long long
using namespace std;
typedef pair<int,int> PII;
const int N=4e5+10,M=1e5+10;
const int INF=1e18;
const int mod=998244353;
// const int mod=1e9+7;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count()); 
int get(int i,int j){
    return i*2-!j;
}
void solve(){
    int k;
    cin>>k;
    k+=2;
    vector<int> a(2*k+1);
    vector<PII> e;
    a[1]=0,a[2]=1;
    for(int i=2;i<=k;i++){
        a[get(i,0)]=0,a[get(i,1)]=1;
        for(int j=1;j<i;j++){
            e.emplace_back(get(j,0),get(i,1));
            e.emplace_back(get(j,1),get(i,0));
        }
    }
    cout<<2*k<<" "<<e.size()<<" "<<"2\n";
    for(int i=1;i<=2*k;i++)cout<<a[i]+1<<" \n"[i==2*k];
    for(auto [u,v]:e)cout<<u<<" "<<v<<"\n";
}
signed main(){
    cin.tie(0)->sync_with_stdio(0);
    int T=1;
    // cin>>T;
    while(T--)solve();
    return 0;
}