#include<bits/stdc++.h>
#define endl '\n'

using namespace std;

using LL = long long;
using LD = long double;
using PII = pair<int,int>;
using PLL = pair<LL,LL>;

const LL M = 1e9 + 7;

mt19937 rd(chrono::steady_clock::now().time_since_epoch().count());

int main(){
    ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
    int T = 1;
    // cin>>T;
    while(T--){
        int n = 1000;
        vector<int> a(n+1);
        a[0] = 1;
        a[1] = 100000;
        a[2] = 100002;
        for(int i=3;i<=n;i++){
            a[i] = a[i-1] + a[1] + 1;
        }
        cout<<n+1<<" "<<n<<endl;
        cout<<1<<" "<<1<<endl;
        for(int i=1;i<=n;i++){
            cout<<a[i]<<" "<<i<<endl;
        }
        vector<int> dp(n+1);
        if(0) yes: cout<<"YES"<<endl;
        if(0) no:  cout<<"NO"<<endl;
    }
}
/*

3 5
4 19
2 8
3 12

1 10
1 1
2 12
3 23
4 34
5 45
6 56

*/