#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

mt19937 mrand(chrono::steady_clock().now().time_since_epoch().count());

vector<pair<ll,ll>>ans;
ll tot=2;
void add(ll x,ll y){
    ans.push_back({x,y});
}
void op(){
    cout<<tot<<' '<<ans.size()<<'\n';
    for(int i=0;i<ans.size();i++){
        cout<<ans[i].first<<' '<<ans[i].second<<'\n';
    }
}
void calc(ll a,ll b,ll x,ll y){
    //  cout<<"CALC"<<a<<' '<<b<<'\n';
    if(a==0){
        tot++;
        for(int i=0;i<b;i++)
        add(y,tot);
        return;
    }
    if(a>=b){
        add(x,y);
        calc(a-b,b,x,y);
        return;
    }
    else{
        tot++;
        add(y,tot);
        calc(a,b-a,x,tot);
        return;
    }
    
}
ll check(ll a,ll b){
    ans.clear();
    tot=2;
    calc(a,b,1,2);
    if(tot<=100&&ans.size()<=1000){
        return 1;
    }
    return 0;
}
void solve() {
    ll a =10;
    cin>>a;
    double phi=(sqrtl(5)-1)/2;
    ll b=a*phi;
    if(b==0)b++;
    // cout<<b;
    int flag=0;
    for(int i=max(1ll,b-1000);i<=min(b+1000,a);i++){
        if(check(a,i)){
            op();
            return;
        }
    }
    assert(0);
}

int32_t main() {
    // ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    // int tt=1;
    // cin >> tt;
    //  for(int t=0;t<tt;t++)
    // check();
    solve();
}