// https://www.youtube.com/watch?v=R0P_f0gXXqs
// I could feel your heartbeat
// I could feel somewhere you’re looking down
// ‘Cause it’s you who I’m loving
// And it’s you that I want in need

#ifndef ONLINE_JUDGE
#include "templates/debug.hpp"
#else
#define debug(...)
#endif

#include <bits/stdc++.h>
using namespace std;
using i64 = int64_t;
using u64 = uint64_t;

#define int i64
constexpr int INF = 1e18;
void solve() {
    int n = 1024, m = 0;
    vector<int> c(n + 1), tc(n + 1);
    vector<vector<int>> adj(n + 1);
    c[1] = c[2] = 1;
    tc[1] = 1, tc[2] = 0;
    for (int i = 3; i <= n; i++) {
        int col = (i + 1) / 2;
        c[i] = col;
        int tci = i & 1;
        tc[i] = tci;
        vector<int> vis(col + 1);
        for (int j = 1; j < i; j++) {
            if (tc[j] != tci && c[j] != c[i]) {
                adj[i].push_back(j);
                vis[c[j]] = 1;
                m++;
            }
        }
    }
    cout << n << " " << m << " " << 2 << "\n";
    for (int i = 1; i <= n; i++) {
        cout << tc[i] + 1 << " ";
    }
    cout << "\n";
    for (int i = 1; i <= n; i++) {
        for (int j: adj[i]) {
            cout << i << " " << j << "\n";
        }
    }
}
#undef int

// Make bold hypotheses and verify carefully
int main() {
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    int t = 1;
    // cin >> t;
    while (t--) {
        solve();
    };
}