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

int main(){
    int k;
    cin>>k;
    vector<pair<int,int>> edges;
    for(int i=2;i<32;i++){
        for(int j=i+1;j<=32;j++){
            edges.push_back({i,j});
        }
    }
    int v=31;
    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;
}