n = 128
A = int(input())
if A == 0:
    print(n, 0)
    exit()

A -= 1

edges = []
edges.append((1, 2))
edges.append((1, 3))
p = 2
for i in range(A.bit_length()):
    np = 3 * (i + 1) + 1
    edges.append((p, np))
    p = np
    if A >> i & 1:
        edges.append((p - 1, p))
    edges.append((p - 2, p + 1))
    edges.append((p - 2, p + 2))
    edges.append((p - 1, p + 1))
    edges.append((p - 1, p + 2))
edges.append((p, 128))
print(n, len(edges))
for row in edges:
    print(*row)