#include <bits/stdc++.h>
//#define int long long
#define ll long long
#define db double
#define fi first
#define se second
#define pii pair<int,int>
#define vi vector<int>

using namespace std;

int K;  
int vis[100]; 
int main() {
	cin>>K;
	if (K==1) {
		cout<<2<<' '<<1<<'\n';
		cout<<1<<' '<<2<<'\n';
		return 0; 
	}
	if (K==2) {
		puts("4 4\n1 2\n1 3\n2 3\n3 4\n");
		return 0; 
	}
	if (K<=20) {
		cout<<K<<' '<<K<<'\n';
		for (int i=1;i<=K;i++) {
			if (i==K) cout<<K<<' '<<1<<'\n';
			else cout<<i<<' '<<i+1<<'\n'; 
		}
		return 0; 
	}
	for (int n=3;n<=20;n++) {
		for (int m=2;m<=20;m++) {
			if (n+m>20) break ; 
			int s=n*(n-1)/2-1; 
			s+=n-1+n-1;
			s+=m-1; 
			vis[s]=1; 
			if (s==K) {
				int M=n*(n-1)/2+m+1;
				cout<<n+m<<' '<<M<<'\n';
				for (int i=1;i<=n;i++) {
					for (int j=i+1;j<=n;j++) {
						cout<<i<<' '<<j<<'\n'; 
					}
				}
				cout<<n+1<<' '<<1<<'\n';
				cout<<n+m<<' '<<2<<'\n';
				for (int i=1;i<m;i++) cout<<n+i<<' '<<n+i+1<<'\n'; 
				return 0; 
			}
		}
	}
	/*
	for (int i=21;i<=60;i++) {
		cout<<vis[i]<<'\n';
		if (vis[i]==0) puts("F"); 
    }
	*/
	return 0;
}