n = 128
A = int(input())
edges = []
for i in range(2, 50):
    for j in range(1, i):
        edges.append((j, i))
    if A >> (i - 2) & 1:
        edges.append((i, n))
print(n, len(edges))
for row in edges:
    print(*row)