#include <bits/stdc++.h>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;


int main(){
  int K;
  cin >> K;
  vector<int> v;
  while(K>0){
    v.push_back(K&1);
    K >>= 1;
  }

  vector<pair<int,int>> ret;
  REP(i,1,31){
    rep(j,i){
      ret.emplace_back(j+1,i+1);
    }
  }
    
  rep(i,v.size()){
    if(v[i] == 1){
      ret.emplace_back(i+2,32);
    }
  }

  cout << 32 << " " << ret.size() << endl;
  rep(i,ret.size()){
    cout << ret[i].first << " " << ret[i].second << endl;
  }
  
  return 0;
}