// yukicoder: No.690 E869120 and Constructing Array 4
// 2019.7.13 bal4u

#include <stdio.h>

#if 1
#define gc() getchar_unlocked()
#define pc(c) putchar_unlocked(c)
#else
#define gc() getchar()
#define pc(c) putchar(c)
#endif

int in() {   // 非負整数の入力
	int n = 0, c = gc();
	do n = 10 * n + (c & 0xf); while ((c = gc()) >= '0');
	return n;
}

void out(int n) { // 正整数の表示（出力）
	int i;
	char b[20];

	i = 0; while (n) b[i++] = n % 10 + '0', n /= 10;
	while (i--) pc(b[i]);
}

void outs(char *s) { while (*s) pc(*s++); }

char a[35]; int sz, s1;

int main()
{
	int i, j, K;

	K = in();
	if (K == 0) { outs("2 0\n"); return 0; }
	while (K) s1 += (K & 1), a[++sz] = (K & 1), K >>= 1;

	out(sz+2), pc(' '); // N
	out(sz*(sz+1)/2 + s1), pc('\n');  // M
	sz++; for (i = 1; i < sz; i++) for (j = i+1; j <= sz; j++) {
		out(i), pc(' '), out(j), pc('\n');
	}
	sz++; for (i = 1; i < sz; i++) if (a[i]) {
		out(i+1), pc(' '), out(sz), pc('\n');
	}
	return 0;
}