#include <bits/stdc++.h>

using namespace std;

int a[2][4] = {{0, 1, 2, 3}, {4, 7, 8, 9}};

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	vector<int> data;
	bool flag = false;
	bool memo[4][10] = {};
	for (int i = 0; i < 2; i++) {
		for (int idx = 0; idx < 4; idx++) {
			cout << a[i][idx];
			if (idx == 3) cout << endl;
			else cout << " ";
		}
		int X, Y;
		cin >> X >> Y;
		if (Y == 4) {
			for (int idx = 0; idx < 4; idx++) {
				data.push_back(a[i][idx]);
			}
			flag = true;
			break;
		}
		for (int j = 0; j < 10; j++) {
			if (i == 0 && j <= 3) continue;
			if (i == 1 && j > 4) continue;
			a[i][0] = j;
			for (int idx = 0; idx < 4; idx++) {
				cout << a[i][idx];
				if (idx == 3) cout << endl;
				else cout << " ";
			}
			int x, y;
			cin >> x >> y;
			for (int s = 0; s < 4; s++) {
				if ((s >> i) & 1) {
					if (y == Y) memo[s][j] = true;
				} else {
					if (y > Y) memo[s][j] =true;
				}
			} 
		}
	}

	if (!flag) {
		for (int s = 0; s < 4; s++) {
			if (s & 1 != 0 && !memo[s][0]) continue;
			if (s & 2 != 0 && !memo[s][4]) continue;
			data.clear();
			for (int j = 0; j < 10; j++) {
				if (memo[s][j]) data.push_back(j);
			}
			if (data.size() == 4) break;
		}
	}

	do {
		for (int idx = 0; idx < 4; idx++) {
			cout << data[idx];
			if (idx == 3) cout << endl;
			else cout << " ";
		}
		int X, Y;
		cin >> X >> Y;
		if (X == 4) break;
	} while (next_permutation(data.begin(), data.end()));
	return 0;
}