package main

import (
	"fmt"
	"os"
)

func ask(v []int) (X int, Y int) {
	fmt.Printf("%d %d %d %d\n", v[0], v[1], v[2], v[3])
	os.Stdout.Sync()
	fmt.Scan(&X, &Y)
	if X == 4 && Y == 0 {
		os.Exit(0)
	}
	return
}

func preCheck() ([]bool, []int) {
	v := make([]int, 4)
	v[0] = 0
	v[1] = 1
	v[2] = 2
	v[3] = 3
	ans := make([]int, 4)
	for p := 0; p < 3; p++ {
		ans[p] = -1
	}
	nums := make([]bool, 10)
	xFirst, yFirst := ask(v)
	for k := 3; k >= 0; k-- {
		for i := 4; i <= 9; i++ {
			for {
				if nums[i] {
					i++
					continue
				}
				break
			}
			v[k] = i
			x, y := ask(v)
			if x+y == 4 {
				for i := 0; i < 4; i++ {
					nums[v[i]] = true
				}
				return nums, ans
			}
			if xFirst < x {
				ans[k] = i
				xFirst = x
				nums[v[k]] = true
				v[k] = i
				break
			} else if xFirst > x {
				ans[k] = k
				nums[v[k]] = true
				v[k] = i - 1
				break
			} else if yFirst > y {
				nums[v[k]] = true
				yFirst = y
				v[k] = i
				break
			} else if yFirst < y {
				nums[k] = true
				v[k] = i - 1
				break
			}

		}
	}
	return nums, ans
}

func main() {
	nums, ans := preCheck()
	v := make([]int, 4)
	notAns := make([]int, 0)
	numList := make([]int, 0)

	for v := 0; v < 10; v++ {
		flag := false
		for j := 0; j < 4; j++ {
			flag = flag || nums[v]
		}
		if flag {
			numList = append(numList, v)
		} else {
			notAns = append(notAns, v)
		}
	}
	p := 0

	for i := 0; i < 4; i++ {
		if ans[i] >= 0 {
			v[i] = ans[i]
		} else {
			// あえて不正解の値を入れる
			v[i] = notAns[p]
			p++
		}
	}

	xFirst, _ := ask(v)
	for i := 0; i < 4; i++ {
		if ans[i] < 0 {
			for p := 0; p < len(numList); p++ {
				v[i] = numList[p]
				x, _ := ask(v)
				p++
				if xFirst < x {
					ans[i] = numList[p]
					break
				}
			}
		}
	}
}