#include<bits/stdc++.h>
using namespace std;

int main(){
    int k;
    cin>>k;
    vector<pair<int,int>> edges(32);
    for(int i=2;i<32;i++) edges.push_back({i,i+1});
    int v=32;
    while(k){
        if(k&1){
            edges.push_back({1,v});
        }
        v--;
        k/=2;    
    }
    cout<<32<<" "<<edges.size()<<endl;
    for(int i=0;i<edges.size();i++){
        cout<<edges[i].first<<" "<<edges[i].second<<endl;
    }
    return 0;
}