import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################

ni()
N = 10
ans = []
for i in range(N):
    m = 1 << (i+1)
    a = []
    for j in range(1 << i):
        a.append((1 << i) + j)
    print(m, len(a), flush = True)
    print(*a, flush = True)
    ans.append(ni())
s = 0
for i in range(N):
    s += ans[i] * (1 << i)

print(0, 1, flush = True)
print(s, flush = True)