#include <bits/stdc++.h>

using namespace std;
void fast_io() {
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
}

int main() {
    fast_io();
    cout << 1000 << " " << 1000 << "\n";
    cout << 1000 << " " << 1 << "\n";
    for (int i = 2; i <= 1000; i++) {
        cout << 1001 * (i - 1) << " " << i << "\n";
    }
}