#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)


int main(int argc, char const *argv[])
{
	int k; cin >> k;

	int n = 32;
	int m = 0;
	int start = 1, goal = 32;

	vector<pair<int, int>> v;
	reps(i, 1, 31)reps(j, i + 1, 32) {
		v.push_back(make_pair(i, j));
	}

	for (int i = 0; i < 32; ++i) {
		if (k & (1 << i)) v.push_back(make_pair(i + 2, goal));
	}

	printf("%d %d\n", goal, v.size());
	for(auto u : v) printf("%d %d\n", u.first, u.second);
	return 0;
}