#include<bits/stdc++.h>
using namespace std;
using Int = long long;
//INSERT ABOVE HERE
signed main(){
  Int w;
  cin>>w;
  const Int n=32;
  using P = pair<Int, Int>;
  vector<vector<P> > G(n);
  Int s=0,t=n-1,m=0;
  for(Int i=1;i<t;i++)
    for(Int j=i+1;j<t;j++)
      G[i].emplace_back(j,j-i),m++;

  for(Int i=1;i<t;i++)
    G[s].emplace_back(i,i),m++;
  
  for(Int i=1;i<t;i++){
    if(w&1) G[i].emplace_back(t,1000-i),m++;
    w>>=1;
  }
  
  cout<<n<<" "<<m<<endl;
  for(Int i=0;i<n;i++){
    for(auto p:G[i]){
      Int u=i,v=p.first;
      if(u>v) swap(u,v);
      cout<<u+1<<" "<<v+1<<endl;
    }
  }
  
  return 0;
}