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

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    int N = 1000,W = 1000;
    cout << N << " " << W << endl;
    int v = 10000;
    cout << v << " 1" << endl;
    for(int i=N; i>=2; i--) cout << v*i-1 << " " << i << endl;
}