#include <bits/stdc++.h>
using namespace std;
int main()
{
    vector<int> a{0},b{0};
    vector<pair<int,int>> edges;
    int n=1024;
    int now=0;
    for(int i=1;i<=n/2;i++){
        a.push_back(++now);
        b.push_back(++now);
        for(int j=1;j<i;j++){
            edges.emplace_back(a[j],b[i]);
            edges.emplace_back(b[j],a[i]);
        }
    }
    vector<int> id(n+1);
    for(auto it:a)id[it]=1;
    for(auto it:b)id[it]=2;
    cout<<n<<" "<<edges.size()<<" 2\n";
    for(int i=1;i<=n;i++)cout<<id[i]<<" \n"[i==n];
    for(auto [x,y]:edges)cout<<x<<" "<<y<<"\n";
}