#include <bits/stdc++.h>

using i64 = long long;

constexpr int N = 502, V = 1024;

int k, n, c, l, r, idL[V], idR[V], pL[V], pR[V];
std::vector<std::array<int, 2>> E;

int main() {
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr);

	std::cin >> k; idL[1] = 1; n = 1005; c = 2;
	for (int i = 2; i <= N; i += 2) {
		idL[i] = i + 1; idL[i + 1] = i;
		idR[i - 1] = i; idR[i] = i - 1;
	}
	for (int i = 1; i <= n; i++) {
		if (i % 4 == 1 || i % 4 == 0) {
			pL[++l] = i;
			for (int j = 1; j < idL[l]; j++) E.push_back({pR[idR[j]], i});
		}
		if (i % 4 == 2 || i % 4 == 3) {
			pR[++r] = i;
			for (int j = 1; j < idR[r]; j++) E.push_back({pL[idL[j]], i});
		}
	}
	std::cout << n << " " << E.size() << " " << c << "\n";
	for (int i = 1; i <= n; i++) {
		if (i % 4 == 1 || i % 4 == 0) std::cout << "1" << " ";
		if (i % 4 == 2 || i % 4 == 3) std::cout << "2" << " ";
	}
	std::cout << "\n";
	for (auto e : E) std::cout << e[0] << " " << e[1] << "\n";

	return 0;
}