#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define fi first
#define se second
const ll mod=998244353;
const int N=405;
ll n,m;

int v;
vector<pair<int,int> >e;
bool solve(ll n,ll m){
	if(n==0){
		v=3;
		if(m>1000) return false;
		for(int i=1; i<=m ;i++) e.push_back({1,2});
		return true;
	}
	if(n>=m){
		int frog=n/m;
		if(!solve(n%m,m)) return false;
		for(int i=1; i<=frog ;i++) e.push_back({v-1,v});
		return (v<=100 && e.size()<=1000);
	}
	else{
		if(!solve(n,m-n)) return false;
		v++;
		e.push_back({v-2,v});
		return (v<=100 && e.size()<=1000);
	}
}
int main(){
	ios::sync_with_stdio(false);cin.tie(0);
	cin >> n;
	ll l=0.618*n-1000;
	l=max(l,1LL);
	while(true){
		e.clear();v=0;
		if(!solve(n,l)){
			l++;
		}
		else{
			cout << v << ' ' << e.size() << '\n';
			for(auto c:e) cout << c.fi << ' ' << c.se << '\n';
			return 0;
		}
	}
}