#include<bits/stdc++.h>
typedef uint64_t u64;
typedef int64_t i64;
using namespace std;

int main(){
  vector<i64> F(61);
  F[1]=1;
  for(int i=2;i<=60;++i){
    F[i]=F[i-2]+F[i-1];
  }
  vector<int> a,b;
  for(int i=1;i<=59;++i){
    for(int j=i+1;j<=i+2;++j){
      a.emplace_back(i);
      b.emplace_back(j);
    }
  }
  for(int i=62;i<=119;++i){
    a.emplace_back(i);
    b.emplace_back(i+1);
  }
  i64 A;
  cin>>A;
  for(int i=60;i>=2;--i){
    if(A>=F[i]){
      a.emplace_back(i);
      b.emplace_back(i+60);
      A-=F[i];
      i--;
    }
  }
  assert(A==0);
  cout<<120<<" "<<a.size()<<endl;
  for(size_t i=0;i<a.size();++i){
    cout<<a[i]<<" "<<b[i]<<endl;
  }
}