#include <bits/stdc++.h>

using namespace std;

#define tsolve int t;cin >> t;while(t--)solve

using ll = long long;
using vl = vector<ll>;
using vi = vector<int>;
using pl = pair<ll, ll>;

void solve() {
    int k;
    cin >> k;


    cout << 1024 << ' ' << 512 * (512 - 1) << ' ' << 2 << endl;


    for (int i = 0; i < 1024; i++)
        cout << i % 2 + 1 << ' ';
    cout << endl;


    for (int i = 0; i < 1024; i++)
        for (int j = i + 2 -i%2; j < 1024; j++)
            if (i % 2 != j % 2)
                cout << i+1 << ' ' << j+1 << '\n';


}

int main() {
    cin.tie(0)->sync_with_stdio(0);
    solve();
}