#include<bits/stdc++.h>

using namespace std;

typedef long long ll;

int main() {
	// std::cin.tie(nullptr)->sync_with_stdio(false);

	ll k;
	cin >> k;
	vector<ll> lst;
	ll nxt = 2;
	vector<pair<ll, ll>> all;
	lst.push_back(1);
	for (ll i = 0; i <= k; i++) {
		for (ll j = 0; j + 1 < lst.size(); j++) {
			all.emplace_back(lst[j], nxt);
		}
		all.emplace_back(nxt, nxt + 1);
		nxt++;
		lst.push_back(nxt);
		nxt++;
	}
	cout << nxt - 1 << ' ' << all.size() << ' ' << 2 << '\n';
	for (ll i = 1; i < nxt; i++) {
		cout << i % 2 + 1 << ' ';
	}
	cout << '\n';
	for (auto[a, b] : all) {
		cout << a << ' ' << b << '\n';
	}
}