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

const int N = 10;

int ans[2 * N];

int main() {
    ios::sync_with_stdio(false);
    cin.tie(0);

	int n = 1000, w = 1000, x = (1000000000 - 999) / 1998;
	cout << n << " " << w << "\n" << 2 * x << " 1\n";
	for(int i = 1; i < n; i ++) {
		cout << 2 * i * x + i << " " << i + 1 << "\n";
	}
}