#include <bits/stdc++.h>

using namespace std;

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	vector<int> data = {9, 8, 7, 6};

	for (int i = 0; i < 4; i++) {
		int xy = -1;
		int know = data.back();
		for (int num = 0; num <= data.back(); num++) {
			for (int idx = 0; idx < 4; idx++) {
				cout << data[idx];
				if (idx == 3) cout << endl;
				else cout << " ";
			}
			int X, XY;
			cin >> X >> XY;
			XY += X;
			if (xy < XY) {
				xy = XY;
				know = num;
			}
		}

		rotate(data.rbegin(), data.rbegin() + 1, data.rend());
		data.front() = know;
	}
	
	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;
}