#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;


int main(){
//	freopen("test.txt", "r", stdin);
//	freopen("C.out", "w", stdout);
	ios::sync_with_stdio(false);
	cin.tie(0);
	int c;
	cin >> c;
	int n = 512, m = 0;
	vector<pair<int, int>> e;
	for(int i = 1; i <= n; i++) {
		for(int j = 1; j < i; j++) {
			e.emplace_back(i * 2 - 1, j * 2);
			e.emplace_back(i * 2, j * 2 - 1);
			m += 2;
		}
	}
	cout << n * 2 << ' ' << m << ' ' << 2 << '\n';
	for(int i = 1; i <= n; i++) {
		cout << 1 << ' ' << 2 << ' ';
	}
	cout << '\n';
	for(auto i : e) {
		cout << i.first << ' ' << i.second << '\n';
	}
	return 0;
}