#include <iostream>
#include <vector>

using namespace std;
typedef long long ll;
vector<pair<int,int>> v;
int main(){
    int i;
    v.push_back({1,2}); v.push_back({1,3});
    for(i=2;i<=76;i+=2){
        v.push_back({i,i + 2});
        v.push_back({i,i + 3});
        v.push_back({i + 1,i + 2});
        v.push_back({i + 1,i + 3});
    }
    for(i=80;i<120;i++) v.push_back({i,i + 1});
    ll a; cin >> a;
    for(i=39;i>=1;i--){
        if(a>>i&1){
            v.push_back({2*i,80 + i});
            v.push_back({2*i + 1,80 + i});
        }
    }
    if(a&1) v.push_back({1,80});
    cout << 120 << " " << v.size() << "\n";
    for(auto p:v) cout << p.first << " " << p.second << "\n";
}