#include <bits/stdc++.h>

using namespace std;

using ll = long long;

int main() {
    int k;
    cin >> k;

    int n = 1024, m = 0;
    for (int _ = 0; _ < 2; ++_) {
        for (int i = 2; i < n; ++i) {
            for (int j = (i & 1) ^ 1, k = 0; k < i / 2; j += 2, ++k) {
                if (_ == 0) ++m;
                else cout << j + 1 << ' ' << i + 1 << '\n';
            }
        }
        if (_ == 0) cout << n << ' ' << m << '\n';
    }
    for (int i = 0; i < n; ++i) {
        cout << (i & 1) + 1 << ' ';
    }
    cout << '\n';
}