#include<bits/stdc++.h>

using namespace std;

#define ll int

#define il inline

#define rg register

#define mp make_pair

#define rp(i,x,y) for(rg ll i=x;i<=y;++i)

ll n,cntv,cnte;

vector< pair<ll,ll> >as;

il ll read()

{

    rg char ch=getchar();rg ll x=;rg bool y=;

    while(ch!='-' && (ch>'' || ch<''))ch=getchar();

    if(ch=='-')ch=getchar(),y=;

    while(ch<='' && ch>='')x=(x<<)+(x<<)+(ch^''),ch=getchar();

    return y?x:-x;

}

il ll gt(ll x){ll tmp=sqrt(x)+;while(tmp*(tmp-)>(x<<))--tmp;return tmp;}

int main()

{

    n=read();

    while(n)

    {

        ll tmp=(+sqrt(*N+))/+ 1e-;if(cntv)as.push_back(mp(,cntv+)),++cnte;

        rp(i,cntv+,cntv+tmp-)as.push_back(mp(i,i+)),++cnte;as.push_back(mp(cntv+tmp,cntv+)),++cnte;

        cntv+=tmp;n-=tmp*(tmp-)/;

    }

    printf("%d %d\n",cntv,cnte);

    rp(i,,cnte-)printf("%d %d\n",as[i].first,as[i].second);

    return ;

}