#include<bits/stdc++.h>
using namespace std;
int n;
vector<int> vec[10001];
int t[10001],t2[100001],exis[10001];
int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    n=510;
    cout<<2*n<<" "<<n*(n-1)<<" "<<2<<endl;
    for(int i=1;i<=n;++i)
    {
        if(i%2) cout<<1<<" "<<2<<" ",t[2*i-1]=1,t[2*i]=2;
        else cout<<2<<" "<<1<<" ",t[2*i-1]=2,t[2*i]=1;
    }
    cout<<endl;
    int tot=0;
    for(int i=1;i<=n;++i)
    {
        int x=2*i,y=2*i-1;
        for(int j=i-1;j>=1;--j)
        {
            if((i-j)%2)
            {
                cout<<2*i-1<<" "<<2*j-1<<endl;
                // vec[2*i-1].push_back(2*j-1);
                cout<<2*i<<" "<<2*j<<endl;
                // vec[2*i].push_back(2*j);
                // tot+=2;
            }
            else
            {
                cout<<2*i-1<<" "<<2*j<<endl;
                // vec[2*i-1].push_back(2*j);
                cout<<2*i<<" "<<2*j-1<<endl;
                // vec[2*i].push_back(2*j-1);
            }
        }
    }

    // for(int i=1;i<=2*n;++i)
    // {
    //     for(auto v:vec[i])
    //     {
    //         exis[t2[v]]=i;
    //     }
    //     int now=1;
    //     while(exis[now]==i) ++now;
    //     t2[i]=now;

    // }
    // cout<<t2[2*n];
    // for(int i=1;i<=2*n;++i)
    // {
    //     for(auto v:vec[i]) if(t[i]==t[v]){
    //         cout<<"-1";
    //         return 0;
    //     }
    // }
}