#include<bits/stdc++.h>
using namespace std;
const int N=2000;
int n,m,k,c,a[N];
vector<int>t[2];
int main() {
    scanf("%d",&k);
    n=2*(k+1),m=k*k+k+1,c=2;
    printf("%d %d %d\n",n,m,c);
    t[0].push_back(0),t[1].push_back(1),printf("1 2\n"),a[0]=1,a[1]=2;
    for(int i=1;i<=k;i++) {
        int d=i&1,cur=2*i;
        for(auto j:t[d^1])if(a[j]<i)printf("%d %d\n",j+1,cur+1);
        t[d].push_back(cur),a[cur]=i;
        for(auto j:t[d])if(a[j]<i+2)printf("%d %d\n",j+1,cur+2);
        t[d^1].push_back(cur+1),a[cur+1]=i+2;
    }
}