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

inline int getid(int c, int id) {
	return c * 2 + id + 1;
}

vector < pair <int, int> > e;
int ans[1025];
int k;

int main() {
	ios::sync_with_stdio(false); cin.tie(0);
	cin >> k;
	k = 511;
	for (int i = 0; i <= 1; i++) {
		for (int c = 0; c <= k; c++) {
			for (int j = c - 1; j >= 0; j--) {
				e.emplace_back(getid(c, i), getid(j, i ^ ((c - j - 1) % 2)));
			}
			ans[getid(c, i)] = (i ^ (c % 2)) + 1;
		}
	}
	cout << 2 * (k + 1) << ' ' << (int)e.size() << ' ' << 2 << '\n';
	for (int i = 1; i <= 2 * (k + 1); i++) cout << ans[i] << ' ';
	cout << '\n';
	for (auto i : e) cout << i.second << ' ' << i.first << '\n';
	return 0;
}