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

#define int long long  

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

	int k;
	cin >> k;

	k += 2;
	
	vector<pair<int, int>> e;

	for (int i = 1; i <= k; i++) {
		for (int j = 1; j < i; j++) {
			e.push_back({2 * j - 1, 2 * i});
			e.push_back({2 * i - 1, 2 * j});
		}
	}	

	cout << 2 * k << " " << e.size() << " " << k << "\n";
	for (int i = 1; i <= k; i++) {
		cout << i << " " << i << " \n"[i == k];
	}
	for (auto [x, y] : e) {
		cout << x << " " << y << "\n";
	}

    return 0;
}