N = int(input())

P = [2, 3, 5, 7, 13]
R = [0, 0, 0, 0, 0]

for (j, p) in enumerate(P):
    for i in range(1, p):
        print(p, 1, flush=True)
        print(i, flush=True)

        C = int(input())
        R[j] += C * i
        R[j] %= p

a = 0

for r in range(2 * 3 * 5 * 7 * 13):
    isok = True

    for i in range(5):
        p = P[i]
        q = R[i]

        if r % p != q:
            isok = False

    if isok:
        a = r
        break

if 5 * N < 2 * 3 * 5 * 7 * 13:
    print(0, 1, "\n", a, flush=True)
    exit()

# a, a + 2 * 3 * 5 * 7 * 13 のどっちか
lb = 0

print(1000, 200, '\n', *[i for i in range(200, 400)], flush=True)
c = int(input())
lb += 200 * c

print(1000, 200, '\n', *[i for i in range(400, 600)], flush=True)
c = int(input())
lb += 400 * c

print(1000, 200, '\n', *[i for i in range(600, 800)], flush=True)
c = int(input())
lb += 600 * c

print(1000, 200, '\n', *[i for i in range(800, 1000)], flush=True)
c = int(input())
lb += 800 * c

if lb > a:
    print(0, 1, "\n", a + 2 * 3 * 5 * 7 * 13, flush=True)
else:
    print(0, 1, "\n", a, flush=True)