#include <stdio.h>

#define SCAN scanf("%d%d", &x, &y); if(x==4) { return 0; }

int main() {
	int x, y;
	int i;
	int d[10];
	
	for(i = 3; i <= 9; i++) {
		printf("0 1 2 %d\n", i); fflush(stdout);
		SCAN
		d[i] = x + y;
	}
	
	for(i = 0; i < 3; i++) {
		printf("%d 7 8 9\n", i); fflush(stdout);
		SCAN
		d[i] = x + y;
	}
	
	int max = -1;
	for(i = 3; i <= 9; i++) {
		max = max < d[i] ? d[i] : max;
	}
	int c = 0;
	for(i = 3; i <= 9; i++) {
		d[i] = (d[i] == max);
		if(i >= 7 && d[i]) { c++; }
	}
	
	for(i = 0; i < 3; i++) {
		d[i] = (d[i] == c + 1);
	}
	
	int n[4], p = 0;
	for(i = 0; i < 10; i++) {
		if(d[i]) { n[p] = i; p++; }
	} 
	
	// ひどい
	printf("%d %d %d %d\n", n[0], n[1], n[2], n[3]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[0], n[1], n[3], n[2]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[0], n[2], n[1], n[3]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[0], n[2], n[3], n[1]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[0], n[3], n[1], n[2]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[0], n[3], n[2], n[1]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[1], n[0], n[2], n[3]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[1], n[0], n[3], n[2]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[1], n[2], n[0], n[3]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[1], n[2], n[3], n[0]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[1], n[3], n[0], n[2]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[1], n[3], n[2], n[0]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[2], n[0], n[1], n[3]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[2], n[0], n[3], n[1]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[2], n[1], n[0], n[3]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[2], n[1], n[3], n[0]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[2], n[3], n[0], n[1]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[2], n[3], n[1], n[0]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[3], n[0], n[1], n[2]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[3], n[0], n[2], n[1]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[3], n[1], n[0], n[2]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[3], n[1], n[2], n[0]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[3], n[2], n[0], n[1]); fflush(stdout); SCAN
	printf("%d %d %d %d\n", n[3], n[2], n[1], n[0]); fflush(stdout); SCAN
	
	return 0;
}