#include <bits/stdc++.h>

using namespace std;

int main( void ) {
    cout << 65538 << " " << 98305 << endl;
    for( int i = 0; i < 65537; i ++ ) {
        cout << 1 << " " << i + 2 << endl;
    }
    for( int i = 0; i < 32768; i ++ ) {
        cout << 2 << " " << i + 3 << endl;
    }
    return 0;
}