#include <iostream>
#include <vector>
using namespace std;
#define int long long

int n = 32;
vector<int> et[32];

signed main() {
	int i, j;
	int k;
	
	cin >> k;
	
	for (i = 1; i < n; i++)
		for (j = i + 1; j < n; j++)
			et[i].push_back(j);
	
	for (i = 1; i < n - 1; i++) {
		int id = n - 2 - i;
		if ((k >> id) & 1) {
			et[0].push_back(i);
		}
	}
	
	int m = 0;
	for (i = 0; i < n; i++) { m += et[i].size(); }
	
	cout << n << " " << m << endl;
	for (i = 0; i < n; i++) {
		for (j = 0; j < et[i].size(); j++) {
			cout << i + 1 << " " << et[i][j] + 1 << endl;
		}
	}
	return 0;
}