#include <bits/stdc++.h>

#define x first
#define y second
#define el '\n'
#define debug(x) cerr << #x << ": " << x << endl
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
const int N = 3e5 + 10, INF = 0x3f3f3f3f, mod = 998244353;

int main() {
    ios::sync_with_stdio(0); cin.tie(0);
    int n = 512;
    cout << n * 2 << ' ' << (1 + n - 1) * (n - 1) << ' ' << 2 << el;
    for (int i = 0; i < n; ++i) cout << 1 << ' ' << 2 << " \n"[i + 1 == n];
    for (int i = 1; i < n; ++i) {
        for (int j = 0; j < i; ++j) {
            cout << i * 2 + 1 << ' ' << j * 2 + 2 << el;
            cout << i * 2 + 2 << ' ' << j * 2 + 1 << el;
        }
    }
}