#include <bits/stdc++.h>
using namespace std;
typedef pair<int, int> pr;
const int n = 252;
vector<pr> e;
int main() {
	for (int i = 1; i <= n; i++) {
		for (int j = 1; j < i; j++) {
			e.push_back(pr(i, j));
			e.push_back(pr(i + n, j));
			e.push_back(pr(i + n + n, j + n + n));
			e.push_back(pr(i + n + n + n, j + n + n + n));
		}
		for (int j = 1; j <= n; j++) {
			e.push_back(pr(i + n + n, j + n));
			e.push_back(pr(i + n + n + n, j + n + n));
			e.push_back(pr(i + n + n + n, j));
		}
	}
	cout << 4 * n << ' ' << e.size() << ' ' << n + 1 << '\n';
	for (int i = 1; i <= n; i++) cout << i << ' ';
	for (int i = 1; i <= n; i++) cout << n + 1 << ' ';
	for (int i = 1; i <= n; i++) cout << i << ' ';
	for (int i = 1; i <= n; i++) cout << i << ' ';
	cout << '\n';
	for (auto [x, y] : e) cout << x << ' ' << y << '\n';
}