#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;


int main()
{
	int k;
	scanf("%d", &k);
	vector<int> v[32];
	for(int i=0; i<31; i++){
		for(int j=i+1; j<31; j++){
			v[i].push_back(j);
		}
	}
	for(int i=30; i>=1; i--){
		if(k>=(1<<(i-1))){
			v[i].push_back(31);
			k-=(1<<(i-1));
		}
	}
	int m=0;
	for(int i=0; i<31; i++){
		m+=v[i].size();
	}
	printf("%d %d\n", 32, m);
	for(int i=0; i<31; i++){
		for(int j=0; j<v[i].size(); j++){
			printf("%d %d\n", i+1, v[i][j]+1);
		}
	}
	return 0;
}