#include <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>
#include <utility>
#include <string>

using namespace std;

pair<int, int> ask(vector<int> &v) {
	printf("%d %d %d %d", v[0], v[1], v[2], v[3]);
	cout << endl;
	int x, y;
	cin >> x >> y;
	return make_pair(x, y);
}

vector<int> make_rests(vector<int> v) {
	vector<int> rests;
	for (int i = 0; i < 10; i++) {
		if (find(v.begin(), v.end(), i) == v.end()) {
			rests.emplace_back(i);
		}
	}

	return rests;
}

vector<int> search_by_type(vector<int> rests, int type) {
	vector<int> nums;

	for (int i = (1 << 6) - 1; i >= 0; i--) {
		if (__builtin_popcount(i) != 4) {
			continue;
		}

		nums.clear();

		for (int j = 0; j < 6; j++) {
			if ((i >> j) & 1) {
				nums.emplace_back(rests[j]);
			}
		}
		auto p = ask(nums);
		int sum = p.first + p.second;

		if (type == 0 && sum == 0) {
			return nums;
		} else if (type == 1 && sum >= 2) {
			return nums;
		}
	}

	return nums;
}

vector<int> search_0() {
	vector<int> nums = {0, 1, 2, 3};
	auto p = ask(nums);
	if (p.first == 4) {
		exit(0);
	}

	int sum = p.first + p.second;

	if (sum == 0) {
		return nums;
	}

	if (sum == 1) {
		auto rests = make_rests(nums);
		nums = search_by_type(rests, 1);
		rests = make_rests(nums);
		nums = search_by_type(rests, 0);
		return nums;
	}

	if (sum >= 2) {
		auto rests = make_rests(nums);
		nums = search_by_type(rests, 0);
		return nums;
	}

	return nums;
}

int main() {
	auto nums = search_0();
	auto rests = make_rests(nums);

	for (int i = 0; i < 4; i++) {
		for (int j = 0; j < 6; j++) {
			if (find(nums.begin(), nums.end(), rests[j]) != nums.end()) {
				continue;
			}
			nums[i] = rests[j];
			auto p = ask(nums);
			if (p.first == i + 1) {
				break;
			}
		}
	}

	return 0;
}