#include <bits/stdc++.h>
using namespace std;
#define int long long
int id ;
struct node{
    int u,v ;
};
vector<node>edge ;
vector<int>g[2] ;
void create(int k){
    int nx1 , nx2 ;
    nx1 = ++id ; nx2 = ++id ;
    for(auto x:g[1])
        edge.push_back((node){nx1,x}) ;
    for(auto x:g[0])
        edge.push_back((node){nx2,x}) ;
    g[0].push_back(nx1) ;
    g[1].push_back(nx2) ;
}
int a[10000] ;
signed main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    g[0].push_back(++id) ;
    g[1].push_back(++id) ;
    int k ; cin >> k ;
    for(int i = 2 ; i <= k+2 ; i++)
        create(i) ;
    cout<<id<<" "<<edge.size()<<" "<<2<<"\n" ;
    for(auto x:g[1])
        a[x] = 1 ;
    for(int i = 1 ; i <= id ; i++)
        cout<<a[i]+1<<" " ;
    cout<<"\n" ;
    for(auto [x,y] : edge)
        cout<<x<<" "<<y<<"\n" ;
        
    return 0;
}