#include<bits/stdc++.h>
using namespace std;
#define maxn 2005
bool flag[maxn];//判断
int tot,d[maxn][2];//dij存储的是cg为i,c为j的最小点
struct edge{
    int x,y;
}b[maxn*maxn];
int col[maxn],n,m,cnt=0;
void solve(int x,int c){
    for(int i=1;i<x;i++){
        if(!d[i][c^1]){
            solve(i,c^1);
        }
    }
    d[x][c]=++tot;
    if(c&1)col[tot]=1;
    else col[tot]=2;
    for(int i=1;i<x;i++){
        ++m;
        b[m].x=tot;
        b[m].y=d[i][c^1];
    }
    return ;
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int k;
    cin>>k;
    d[1][1]=1;
    col[++tot]=1;
    for(int i=2;i<=k+2;i++){
        solve(i,i&1);
    }
    cout<<tot<<" "<<m<<" "<<2<<endl;
    for(int i=1;i<=tot;i++){
        cout<<col[i]<<" ";
    }
    cout<<endl;
    for(int i=1;i<=m;i++){
        cout<<b[i].x<<" "<<b[i].y<<endl;
    }
    return 0;
}