#ifdef NACHIA
#define _GLIBCXX_DEBUG
#else
#define NDEBUG
#endif
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <utility>
#include <queue>
#include <array>
#include <cmath>
#include <atcoder/modint>
using i64 = long long;
using u64 = unsigned long long;
#define rep(i,n) for(int i=0; i<int(n); i++)
#define repr(i,n) for(int i=int(n)-1; i>=0; i--)
const i64 INF = 1001001001001001001;
const char* yn(bool x){ return x ? "Yes" : "No"; }
template<typename A> void chmin(A& l, const A& r){ if(r < l) l = r; }
template<typename A> void chmax(A& l, const A& r){ if(l < r) l = r; }
template<typename A> using nega_queue = std::priority_queue<A,std::vector<A>,std::greater<A>>;
using Modint = atcoder::static_modint<998244353>;
//#include "nachia/vec.hpp"
using namespace std;

void testcase(){
    int N = 1002;
    int X = 1000;
    vector<int> W, V;
    W.push_back(1); V.push_back(100000);
    W.push_back(1); V.push_back(100000);
    for(int w=1; w<=1000; w++){
        W.push_back(w);
        V.push_back(w * 99999 + 40000);
    }
    //vector<i64> D(X+1);
    //rep(i,N) for(i64 w=W[i]; w<=X; w++) chmax(D[w], D[w-W[i]] + V[i]);
    //vector<pair<i64,i64>> que(N);
    //rep(i,N) que[i] = {W[i], V[i]};
    //sort(que.begin(), que.end(), [&](auto a, auto b){
    //    return make_pair(a.first*b.second, a.first) < make_pair(b.first*a.second, b.first); });
    //vector<i64> E(X+1);
    //for(i64 w=1; w<=X; w++){
    //    i64 t = 0, ww = w;
    //    for(auto [u,v] : que) if(ww >= u){ ww -= u; t += v; }
    //    E[w] = t;
    //}
    //rep(i,X+1) cout << D[i] << " ";
    //cout << endl;
    //rep(i,X+1) cout << E[i] << " ";
    //cout << endl;
    //i64 scnt = 0;
    //rep(i,X+1) if(i && D[i] == E[i]) scnt++;
    //cout << scnt << endl;
    cout << N << " " << X << "\n";
    rep(i,N) cout << V[i] << " " << W[i] << "\n";
}

int main(){
    ios::sync_with_stdio(false); cin.tie(nullptr);
    #ifdef NACHIA
    int T; cin >> T; for(int t=0; t<T; T!=++t?(cout<<'\n'),0:0)
    #endif
    testcase();
    return 0;
}