#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;
  for(int i = 2; i <= 1000; i++) cout << 1001*i-1 << ' ' << i << endl;
}