// yukicoder: No.355 数当てゲーム(2)
// 2019.6.23 bal4u

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define gc() getchar()
#define pc(c) putchar(c)
char a[15], f[10];
char ans[15];
int  k;

int ask(char *x) {
	int i;
	pc(x[0]); for (i = 1; i < 4; i++) pc(' '), pc(x[i]);
	pc('\n'), fflush(stdout);
	if ((i = gc() & 0xf) == 4) exit(0);
	gc(), i += gc() & 0xf, gc();
	return i;
}

void rec(int id) {
	int i;
	if (id == 4) ask(ans);
	else {
		for (i = 0; i < 4; i++) if (!f[i]) {
			f[i] = 1, ans[id] = a[i];
			rec(id + 1);
			f[i] = 0;
		}
	}
}

void check(char *x) {
	int i, j, c, t0, t, f;
	char eq[5];
	
	t0 = ask(x);
	if (t0 == 4) {
		for (i = 0; i < 4; i++) ans[x[i] & 0xf] = 1;
		k = 4;
		return;
	}
	f = 0, j = 0;
	for (i = 0; i < 4; i++) {
		c = x[i], x[i] = x[4];
		t = ask(x);
		if (t < t0) k++, ans[c & 0xf] = 1;
		else if (t > t0) ans[x[4] & 0xf] = 1, f = 1;
		else {
			if (f) ans[c & 0xf] = 1;
			else eq[j++] = c;
		}
		x[i] = c;
	}
	if (f) for (i = 0; i < j; i++) ans[eq[i] & 0xf] = 1, k++;
}

int main()
{
	int i, j;
	
	strcpy(a, "01234"), check(a);
	if (k < 4) strcpy(a, "56789"), check(a);
	j = 0; for (i = 0; i < 10; i++) if (ans[i]) a[j++] = i + '0';
	rec(0);
	return 0;
}