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

using ll = long long;

int main() {
  int W = 1000;
  const ll v_init = 3e5;
  vector<pair<ll, ll>> a;
  a.push_back(make_pair(1, 1));
  a.push_back(make_pair(v_init, 1));
  a.push_back(make_pair(v_init+2, 2));
  for(int i = 3; i <= W; i++) {
    int v = a.back().first+v_init+1;
    a.push_back(make_pair(v, i));
  }
  int N = a.size();
  // sort(a.begin(), a.end(), [&](auto l, auto r) {
  //   return l.first*r.second < l.second*r.first;
  // });
  cout << N << " " << W << endl;
  for(auto [v, w] : a) {
    cout << v << " " << w << endl;
  }
}