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

const int N = 2e5+5;

int col[N];

vector<pair<int, int>> v;

int main() {
	int k;
	cin >> k;
	
	int n = 1024;
	int m = 0;
	int c = 2;
	
	for(int i = 1; i <= n; i ++) {
		col[i] = (i % 2 == 1 ? 1 : 2);
		if(i & 1) {
			for(int j = i - 1; j >= 1; j -= 2) {
				v.push_back({j, i});
			}
		}
		else {
			for(int j = i - 3; j >= 1; j -= 2) {
				v.push_back({j, i});
			}
		}
	}
	
	cout << n << " " << v.size() << " " << c << endl;
	
	for(int i = 1; i <= n; i ++) {
		cout << col[i] << " \n"[i == n];
	}
	
	for(int i = 0; i < v.size(); i ++) {
		cout << v[i].first << " " << v[i].second << "\n";
	}
	
	return 0;
}