#include<bits/stdc++.h>
int k,id[512][2];
std::vector<std::pair<int,int> >e;
signed main()
{
    std::ios::sync_with_stdio(false);
    std::cin>>k;
    for(int i=1;i!=512;++i)
    {
        id[i][0]=i*2-1;
        id[i][1]=i*2;
        for(int j=1;j<i;++j)
        {
            e.push_back({id[j][0],id[i][1]});
            e.push_back({id[j][1],id[i][0]});
        }
    }
    std::cout<<1024<<' '<<e.size()<<' '<<2<<std::endl;
    for(int i=1;i<=1024;++i)
        std::cout<<(i&1)+1<<" \n"[i==1024];
    for(auto i:e)
        std::cout<<i.first<<' '<<i.second<<std::endl;
    return 0;
}