#include<bits/stdc++.h>

using namespace std;

#define Endl '\n'
#define ll long long
#define ls first
#define rs second
#define pii pair<int,int>
#define pb push_back
const int N=1e3+3;

ll n,k;
ll v[N][3];
pii a[N];
vector<pii> edge;
void solve()
{
    cin>>k;
    n=2*k+2;
    v[1][1]=1;
    a[1]={1,1};
    for(int i=2;i<=n;i+=2)
    {
        v[i/2+1][1+(i%4!=0)]=i;
        a[i]={i/2+1,1+(i%4!=0)};
    }
    for(int i=3;i<=n;i+=2)
    {
        v[(i-1)/2][1+((i-1)%4!=0)]=i;
        a[i]={(i-1)/2,1+((i-1)%4!=0)};
    }
    // for(int i=1;i<=k+2;i++)
    // {
    //     for(int j=1;j<=2;j++)
    //     {
    //         cout<<i<<" "<<j<<" "<<v[i][j]<<Endl;
    //     }
    // }
    for(int i=2;i<=n;i++)
    {

        for(int j=1;j<=a[i].ls-1;j++)
        {
            edge.pb({v[j][3-a[i].rs],i});
        }
    }
    cout<<n<<" "<<edge.size()<<" 2"<<Endl;
    for(int i=1;i<=n;i++)
    {
        cout<<a[i].rs<<" ";
    }
    cout<<Endl;
    for(auto [u,v]:edge)
    {
        cout<<u<<" "<<v<<Endl;
    }
}
int main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    int _=1;
    // cin>>_;

    while(_--)
    {
        solve();
    }
    return 0;
}