n = int(input())
ans = 0
for k in range(10):
    m = 1 << k + 1
    print(1 << k + 1, 1 << k)
    print(*range(1 << k, 1 << k + 1))
    ans += int(input()) << k
print(0, 1)
print(ans)