#include <iostream>
#include <sstream>
#include <cstdio>

using namespace std;

void send(int *n, int &x, int &y) {
	printf("%d %d %d %d\n", n[0], n[1], n[2], n[3]);
	fflush(stdout);
	char buff[1024];
	fgets(buff, 1024, stdin);
	sscanf(buff, "%d %d", &x, &y);
}

int main(int argc, char *argv[])
{
	int n[4] = { 1, 2, 3, 4 }, x, y, f[4] = {}, cnt = 0;
	send(n, x, y);
	while (x < 4 && cnt < 4) {
		int i;
		do {
			i = (rand() * 4) / (RAND_MAX + 1);
		} while (f[i] != 0);
		int prev = n[i];
		while (n[i] == prev) {
			n[i] = (rand() * 10) / (RAND_MAX + 1);
			for (int j = 0; j < 4; ++j) {
				if (i != j && n[i] == n[j]) {
					n[i] = prev;
					break;
				}
			}
		}
		int a = x, b = y;
		send(n, x, y);
		if (a != x) {
			if (x < a) {
				n[i] = prev;
				++x;
			}
			f[i] = 1;
			++cnt;
		}
	}
	return 0;
}