#include <bits/stdc++.h>
using namespace std;
const int L = 40;
int main(){
  long long A;
  cin >> A;
  int N = L * 3 + 1;
  vector<int> a, b;
  int M = 0;
  a.push_back(0);
  b.push_back(1);
  M++;
  a.push_back(0);
  b.push_back(2);
  M++;
  for (int i = 0; i < L - 1; i++){
    for (int j = 0; j < 2; j++){
      for (int k = 0; k < 2; k++){
        int x = i * 3 + 1 + j;
        int y = i * 3 + 4 + k;
        a.push_back(x);
        b.push_back(y);
        M++;
      }
    }
    a.push_back(i * 3 + 3);
    b.push_back(i * 3 + 6);
    M++;
  }
  for (int i = 0; i < L; i++){
    if ((A >> i & 1) == 1){
      a.push_back(i * 3 + 2);
      b.push_back(i * 3 + 3);
      M++;
    }
  }
  cout << N << ' ' << M << endl;
  for (int i = 0; i < M; i++){
    cout << a[i] + 1 << ' ' << b[i] + 1 << endl;
  }
}