import itertools

zs = []

def next_query():
    global zs
    n1, n2, n3 = 3, 4, 5
    for n4 in range(0, 3):
        yield n1, n2, n3, n4
    n1, n2, n3 = 0, 1, 2
    for n4 in range(3, 10):
        yield n1, n2, n3, n4
    z345 = min(zs[0:3])
    z012 = min(zs[3:10])
    z = [0] * 10
    for i in range(0, 3):
        z[i] = zs[i] - z345
    for i in range(3, 10):
        z[i] = zs[i] - z012
    nums = [i for i in range(10) if z[i]]
    for n1, n2, n3, n4 in itertools.permutations(nums):
        yield n1, n2, n3, n4


if __name__ == "__main__":
    for n1, n2, n3, n4 in next_query():
        print(n1, n2, n3, n4)
        x, y = map(int, input().split())
        if x == 4:
            break
        zs.append(x + y)