#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
    int k;
    cin >> k;
    LL n = 1006, m = 502 * 503 + 503, c = 2;
    cout << n << ' ' << m << ' ' << c << '\n';
    int cnt = 0;
    for(int i = 1; i <= n / 2; i++){
        int x = i * 2 - 1, y = i * 2;
        cout << x << ' ' << y << '\n';
        for(int j = 1; j < i; j++){
            int u = j * 2 - 1, v = j * 2;
            cout << x << ' ' << v << '\n';
            cout << y << ' ' << u << '\n';
        }
    }
}