#include<bits/stdc++.h>
#define endl "\n"
using namespace std;
using ll = long long;
void solve(void)
{
    int k;
    cin>>k;
    int tot=0;
    vector<pair<int,int>> edge;
    for(int i=1;i<=2*(k+2);i++)
    {
        for(int j=1;j<(i+1)/2;j++)
        {
            if(i&1)
            {
                edge.emplace_back(j*2,i);
            }
            else
            {
                edge.emplace_back(j*2-1,i);
            }
        }
    }
    cout<<2*(k+2)<<" "<<edge.size()<<" "<<2<<endl;
    for(int i=1;i<=2*(k+2);i++)
    {
        if(i&1)
        {
            cout<<1;
        }
        else
        {
            cout<<2;
        }
        cout<<" \n"[i==2*(k+2)];
    }
    for(int i=0;i<(int)edge.size();i++)
    {
        cout<<edge[i].first<<" "<<edge[i].second<<endl;
    }
}
int main(void)
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int t=1;
    while(t--)
    {
        solve();
    }
    return 0;
}