#include <cassert>
#include <iostream>
#include <vector>

using namespace std;

int main()
{
	long long A;
	cin >> A;
	assert(0 <= A && A < (1LL << 40));
	long long br = 0;

	vector<int> ab;
	bool fd = 0;
	for (int i = 40; i >= 0; --i)
	{
		if (A & (1LL << i))
		{
			if (!fd)
				fd = 1;
			else
				ab.push_back(1);
		}
		else
		{
			if (fd)
				ab.push_back(0);
		}
	}

	if (A == 0)
	{
		cout << 2 << " " << 0 << endl;
		return 0;
	}
	else if (A == 1)
	{
		cout << 1 << " " << 0 << endl;
		return 0;
	}
	int d = 2, u1 = 3, u2 = 4;
	vector<pair<int, int>> V = {{1, d}, {1, u1}, {1, u2}};
	for (int a : ab)
	{
		V.emplace_back(d, d + 3);
		V.emplace_back(u1, u1 + 3);
		V.emplace_back(u1, u2 + 3);
		V.emplace_back(u2, u1 + 3);
		V.emplace_back(u2, u2 + 3);
		if (a)
			V.emplace_back(d, u1 + 3), V.emplace_back(d, u2 + 3);
		A >>= 1;
		d += 3;
		u1 += 3;
		u2 += 3;
	}
	cout << u2 << " " << V.size() << endl;
	for (auto [a, b] : V)
		cout << a << " " << b << endl;
}