#include<bits/stdc++.h>
using namespace std;
#include <atcoder/all> 
using mint = atcoder::modint998244353;
#define int long long
signed main() {
  cout << 1000 << ' ' << 1000 << endl;
  cout << 1000 << ' ' << 1 << endl;
  cout << 1001 << ' ' << 2 << endl;
  for(int i = 2; i < 1000; i++) cout << 1001*i << ' ' << i+1 << endl;
}