#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ALL_CNT		10										// 全数字数
#define D_NUM_CNT		4										// 数字数

// 内部変数
static FILE *szpFpI;											// 入力
static int si1Sts[D_ALL_CNT];									// 状態[数字] [0]:未定 [1]:あり [-1]:なし

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// 質問
int
fQuiz(
	int *pipNum					// <I> 数字
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// 質問 - 作成
	sprintf(lc1Out, "%d", pipNum[0]);
	for (i = 1; i < D_NUM_CNT; i++) {
		sprintf(lc1Buf, " %d", pipNum[i]);
		strcat(lc1Out, lc1Buf);
	}
	strcat(lc1Out, "\n");

	// 質問 - 実行
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
	fflush(stdout);
#endif

	// 回答
	int liHCnt, liBCnt;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d", &liHCnt, &liBCnt);
	if (liHCnt == D_NUM_CNT) {						// 終了
		return -1;
	}

	return liHCnt + liBCnt;
}

// 実行
int
fExec(
)
{
	int i, j, k, l;

	// ４つの数字 - 初期値
	int li1Num[D_NUM_CNT];
	for (i = 0; i < D_NUM_CNT; i++) {
		li1Num[i] = i;
	}

	// ４つの数字 - 現在値
	int liNow = fQuiz(li1Num);
	if (liNow < 0) {
		return 0;
	}

	// ４つの数字 - 特定
	for (i = 0; i < D_NUM_CNT; i++) {

		// 未定の数字でループ
		for (j = D_NUM_CNT; j < D_ALL_CNT; j++) {
			if (si1Sts[j] != 0) {					// 未定以外
				continue;
			}

			// 未定の数字で質問
			li1Num[i] = j;
			int liNew = fQuiz(li1Num);
			if (liNew < 0) {
				return 0;
			}

			if (liNow == liNew) {					// 変わらず
				continue;
			}

			// 一致数変化
			if (liNow < liNew) {					// 増えた
				si1Sts[i] = -1;
				si1Sts[j] = 1;
			}
			else {									// 減った
				si1Sts[i] = 1;
				si1Sts[j] = -1;
			}

			// 次の数字へ
			liNow = liNew;
			break;
		}
	}

	// 特定した４つの数字 - セット
	int li1Hit[D_NUM_CNT];
	int liCnt = 0;
	for (i = 0; i < D_ALL_CNT; i++) {
		if (si1Sts[i] == 1) {
			li1Hit[liCnt] = i;
			liCnt++;
		}
	}

	// 総当たり
	for (i = 0; i < D_NUM_CNT; i++) {
		li1Num[0] = li1Hit[i];
		for (j = 0; j < D_NUM_CNT; j++) {
			if (j == i) {
				continue;
			}
			li1Num[1] = li1Hit[j];
			for (k = 0; k < D_NUM_CNT; k++) {
				if (k == i || k == j) {
					continue;
				}
				li1Num[2] = li1Hit[k];
				for (l = 0; l < D_NUM_CNT; l++) {
					if (l == i || l == j || l == k) {
						continue;
					}
					li1Num[3] = li1Hit[l];
					liNow = fQuiz(li1Num);
					if (liNow < 0) {
						return 0;
					}
				}
			}
		}
	}

	return 0;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	char lc1Buf[1024];

	// データ - 初期化
	memset(si1Sts, 0, sizeof(si1Sts));							// 状態

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行
	fExec();

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}