#include<bits/stdc++.h>
using namespace std;
vector <int> ver[1030];
int main(){
    ios::sync_with_stdio(0); cin.tie(0);
    int k; cin>>k;
    int n=1024,m=0,c=2;
    for(int i=1;i<=1024;i+=2){
        for(int j=i-1;j>=2;j-=2){
            ver[i].push_back(j); m++;
        }
        for(int j=i-2;j>=1;j-=2){
            ver[i+1].push_back(j); m++;
        }
    }
    cout<<n<<" "<<m<<" "<<c<<"\n";
    for(int i=1;i<=n;i++){
        cout<<1+(i&1)<<" \n"[i==n];
    }
    for(int i=1;i<=n;i++){
        for(auto u:ver[i]){
            cout<<i<<" "<<u<<endl;
        }
    }
    return 0;
}