#include<bits/stdc++.h>

#define ll long long
#define mk make_pair
#define fi first
#define se second

using namespace std;

inline int read(){
    int x=0,f=1;char c=getchar();
    for(;(c<'0'||c>'9');c=getchar()){if(c=='-')f=-1;}
    for(;(c>='0'&&c<='9');c=getchar())x=x*10+(c&15);
    return x*f;
}

const int mod=998244353;
int ksm(int x,int y,int p=mod){
    int ans=1;
    for(int i=y;i;i>>=1,x=1ll*x*x%p)if(i&1)ans=1ll*ans*x%p;
    return ans%p;
}
int inv(int x,int p=mod){return ksm(x,p-2,p)%p;}
mt19937 rnd(time(0));
int randint(int l,int r){return rnd()%(r-l+1)+l;}
void add(int &x,int v){x+=v;if(x>=mod)x-=mod;}
void Mod(int &x){if(x>=mod)x-=mod;}

void cmax(int &x,int v){x=max(x,v);}
void cmin(int &x,int v){x=min(x,v);}

signed main(void){

#ifndef ONLINE_JUDGE
    freopen("in.in","r",stdin);
#endif

    int K=read(),n=0;
    vector<pair<int,int> >ans;
    auto adde=[&](int u,int v){ans.emplace_back(mk(u+1,v+1));};
    if(K==1){
        puts("2 1");
        puts("1 2");
        return 0;
    }
    else if(K==2){
        puts("4 4");
        puts("1 2");
        puts("2 3");
        puts("3 1");
        puts("1 4");
        return 0;
    }
    else if(3<=K&&K<=20){n=K;}
    else if(K==21){
        n=19;
        adde(0,2);
    }
    else if(22<=K&&K<=30){
        n=20;int cnt=K-n-1;
        for(int i=0;i<cnt;i++)adde(2*i,(2*i+2)%n);
    }
    else if(K==31){
        n=18;
        for(int i=0;i<n;i+=2)adde(i,(i+2)%n); // -> 27
        adde(0,4); // -> 29
        adde(2,6); // -> 30
        adde(4,8); // -> 31
    }
    else if(32<=K&&K<=40){
        n=20;
        for(int i=0;i<n;i+=2)adde(i,(i+2)%n);
        int cnt=K-31;
        for(int i=0;i<cnt;i++)adde(2*i,(2*i+4)%n);
    }
    else if(K==41){
        n=20;
        for(int i=0;i<n;i+=2)adde(i,(i+2)%n); // -> 30
        for(int i=0;i+4<n;i+=2)adde(i,(i+4)%n); // -> 39
        adde(0,6); // -> 41
    }
    else if(42<=K&&K<=50){
        n=20;
        for(int i=0;i<n;i+=2)adde(i,(i+2)%n),adde(i,(i+4)%n); // -> 40
        int cnt=K-41;
        for(int i=0;i<cnt;i++)adde(2*i,(2*i+6)%n);
    }
    else if(K==51){
        n=20;
        for(int i=0;i<n;i+=2)adde(i,(i+2)%n); // -> 30
        for(int i=0;i<n;i+=2)adde(i,(i+4)%n); // -> 40
        for(int i=0;i+4<n;i+=2)adde(i,(i+6)%n); // -> 49
        adde(0,8); // -> 51
    }
    else if(52<=K&&K<=60){
        n=20;
        for(int i=0;i<n;i+=2)adde(i,(i+2)%n),adde(i,(i+4)%n),adde(i,(i+6)%n); // -> 50
        int cnt=K-51;
        for(int i=0;i<cnt;i++)adde(2*i,(2*i+8)%n);
    }
    
    for(int i=0;i<n;i++)adde(i,(i+1)%n);

    cout<<n<<" "<<ans.size()<<endl;
    for(auto t:ans)cout<<t.fi<<" "<<t.se<<endl;

    return 0;
}