#include <iostream>
#include <vector>
using namespace std;

int K; vector<pair<int, int>>V;

int main() {
	cin >> K;
	for (int i = 1; i <= 31; i++) {
		for (int j = i + 1; j <= 31; j++) V.push_back(make_pair(i, j));
	}
	for (int i = 0; i < 30; i++) {
		if ((K / (1 << i)) % 2 == 1) V.push_back(make_pair(i + 2, 32));
	}
	cout << 32 << " " << V.size() << endl;
	for (int i = 0; i < V.size(); i++) cout << V[i].first << " " << V[i].second << endl;
	return 0;
}