#include<bits/stdc++.h>

using namespace std;

using ll=long long;
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    int n=1024,c=2;
    vector<pair<int,int>> e;
    for(int i=3;i<=n;i+=2)
    {
        for(int j=1;j<i;j+=2)
        {
            e.push_back({i,j+1});
            e.push_back({i+1,j});
        }
    }
    cout<<n<<" "<<e.size()<<" "<<c<<"\n";
    for(int i=1;i<=n;i++)
        cout<<(i%2)+1<<" ";
    cout<<"\n";
    for(auto [u,v]:e)
        cout<<u<<" "<<v<<"\n";
    return 0;
}