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

int main(){
  i64 A;
  cin>>A;
  vector<pair<int,int>> ans;
  ans.emplace_back(1,2);
  ans.emplace_back(1,3);
  for(int i=1;i<40;++i){
    ans.emplace_back(2*i,2*i+2);
    ans.emplace_back(2*i,2*i+3);
    ans.emplace_back(2*i+1,2*i+2);
    ans.emplace_back(2*i+1,2*i+3);
  }
  for(int i=82;i<121;++i){
    ans.emplace_back(i,i+1);
  }
  for(int i=0;i<40;++i){
    if((A>>i)&1){
      ans.emplace_back(2*i+3,i+82);
    }
  }
  cout<<121<<" "<<ans.size()<<endl;
  for(auto [a,b]:ans){
    cout<<a<<" "<<b<<endl;
  }
}