#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=(int)a;i<(int)b;i++)
#define all(p) p.begin(),p.end()
using ll = long long;


void solve(){
    int N = 1024;
    vector<pair<int, int>> ans;
    rep(i, 0, N / 2){
        rep(j, 0, i){
            ans.push_back({j * 2 + 2, i * 2 + 1});
            ans.push_back({j * 2 + 1, i * 2 + 2});
        }
    }
    cout << N << " " << ans.size() << " " << 2 << "\n";
    rep(i, 0, N){
        if (i) cout << " ";
        cout << i % 2 + 1;
    }
    cout << "\n";
    for (auto x : ans) cout << x.first << " " << x.second << "\n";
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    solve();
}