#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define OPFI(x) freopen(#x".in", "r", stdin);\
                freopen(#x".out", "w", stdout)
#define REP(i, a, b) for(int i=(a); i<=(b); ++i)
#define REPd(i, a, b) for(int i=(a); i>=(b); --i)
inline ll rd(){
    ll r=0, k=1; char c; while(!isdigit(c=getchar())) if(c=='-') k=-k;
    while(isdigit(c)) r=r*10+c-'0', c=getchar(); return r*k;
}
const int N=2e5+10;
const ll MOD=1e9+7;
ll k;
int main(){
    k=rd();
    ll n=(k+2)*2, m=(k+1)*(k+2), c=2;
    printf("%lld %lld %lld\n", n, m, c);
    REP(i, 1, k+2) printf("1 2 ");
    puts("");
    REP(i, 2, k+2){
        int y=i*2, x=y-1;
        REP(j, 1, i-1){
            printf("%d %d\n", y, j*2-1);
            printf("%d %d\n", x, j*2);
        }
    }
    return 0;
}