import itertools

def ask(q):
    print(*q, flush=True)
    x, y = map(int, input().split())
    if x == 4:
        exit()
    return x, y

ans = [0] * 10
for i in range(3, 10):
    x, y = ask((0, 1, 2, i))
    ans[i] = x + y
mi = min(ans[3:10])
lst = []
for i in range(3, 10):
    if len(lst) < 3 and ans[i] == mi:
        lst.append(i)
        
in_ = []
for i in range(10):
    if i in lst:
        continue
    x, y = ask(lst + [i])
    if x + y > 0:
        in_.append(i)
        
for lst in itertools.permutations(in_):
    ask(lst)