k = int(input())
ans = []

for i in range(2, 32):
    for j in range(1, i):
        ans.append((j, i))

for i in range(30):
    if k >> i & 1:
        ans.append((i + 2, 32))
print(32, len(ans))
for row in ans:
    print(*row)
    

dp = [0] * 32
dp[0] = 1
ans.sort(key = lambda x:x[1])
for i, j in ans:
    assert j > i
    dp[j - 1] += dp[i - 1]
assert dp[31] == k