#include<bits/stdc++.h>
namespace rgs = std::ranges;
using std::cin, std::cout;
using ll = long long;
using u64 = unsigned long long;
using db = double;
int main() {
	std::ios::sync_with_stdio(false), cin.tie(0);
	int n = 1024, m = (n / 2) * (n / 2) - (n / 2), c = 2;
	cout << n << ' ' << m << ' ' << c << '\n';
	for(int i = 1;i <= n;++i) {
		cout << i % 2 + 1 << " \n"[i == n];
	}
	for(int i = 1;i <= n;i += 2) {
		for(int j = 2;j <= n;j += 2) if(j != i + 1) {
			cout << i << ' ' << j << '\n';
		}
	}
}