// Calm down.
// Think TWICE, code ONCE.
#include<bits/stdc++.h>
#define pb push_back
#define debug printf("Passed line %d\n", __LINE__)

using namespace std;
typedef long long ll;
typedef pair<int, int> PII;

template<typename T> inline void read(T &x){
	x = 0; bool F = 0; char c = getchar();
	for (;!isdigit(c);c = getchar()) if (c == '-') F = 1;
	for (;isdigit(c);c = getchar()) x = x*10+(c^48);
	if (F) x = -x;
}

template<typename T1, typename... T2> inline void read(T1 &x, T2 &...y){read(x); read(y...);}

template<typename T> inline void checkmax(T &a, const T &b){if (a<b) a = b;}

template<typename T> inline void checkmin(T &a, const T &b){if (a>b) a = b;}

int k;

int main(){
	read(k), k += 3;
	printf("%d %d 2\n", k, (k-1)*k);
	for (int i = 1;i<=2*k;i++) printf("%d ", (i&1)+1); printf("\n");
	for (int i = 1;i<=k;i++){
		for (int j = 1;j<i;j++){
			printf("%d %d\n", j*2-1, 2*i);
			printf("%d %d\n", j*2, 2*i-1);
		}
	}
	return 0;
}
/*
self check:
1. long long
2. size of array
3. code for testing
4. initializing
 */