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

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

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