#include<bits/stdc++.h>

using namespace std;


int main() {
  int K;
  cin >> K;
  vector< int > s(32);
  s[0] = 1;

  vector< pair< int, int > > es;
  for(int i = 1; i < 32; i++) {
    int rest = 0;
    vector< int > connect;
    for(int j = i - 1; j >= 0; j--) {
      if(rest + s[j] <= K) {
        rest += s[j];
        es.emplace_back(j, i);
      }
    }
    s[i] = rest;
  }
  cout << 32 << " " << es.size() << endl;
  for(auto &p : es) cout << p.first + 1 << " " << p.second + 1 << endl;

}