#include<iostream>
#include<cstring>
#include<vector>
using namespace std;
using LL = long long;

int main(){

#ifdef LOCAL
    freopen("data.in", "r", stdin);
    freopen("data.out", "w", stdout);
#endif

    cin.tie(0);
    cout.tie(0);
    ios::sync_with_stdio(0);

    int n = 1024, m = 261632, c = 2;
    cout << n << ' ' << m << ' ' << c << '\n';
    for(int i = 1; i <= n; i++){
        cout << i % 2 + 1 << ' ';
    }
    cout << '\n';
    vector<pair<int, int> > edge;
    for(int i = 1; i <= n; i += 2){
        for(int j = 2; j <= n; j += 2){
            if (i + 1 != j){
                cout << i << ' ' << j << '\n';
            }
        }
    }

}