#include <bits/stdc++.h>

using namespace std;

#define _GLIBCXX_DEBUG
#define dump(c) cerr << "> " << #c << " = " << (c) << endl
#define all(c) ((c).begin()), ((c).end())
#define rep(i,n) for(int i=0;i<n;i++)
#define FOR(i,s,e) for(int (i)=(int)(s);(i)<(int)(e);++(i))
#define inf 0x3f3f3f3f
#define infl 0x3f3f3f3f3f3f3f3fLL

typedef long long ll;
typedef unsigned long long ull;

void print_array(int a[], int n){rep(i,n){if(i<n-1){cout<<a[i]<<" ";}else{cout<<a[i]<<endl;}}}
void print_vector(vector<int> v){rep(i,v.size()){if(i<v.size()-1){cout<<v[i]<<" ";}else{cout<<v[i]<<endl;}}}

int main() {
    array<bool, 10> num = {0};
    array<int, 4> ans = {0};
    int x, y;
    int unUsed;
    for (int i = 0; i < 10; ++i) {
        cout << i << " " << i << " " << i << " " << i << endl;
        cin >> x >> y;
        if (x==0 && y==0){
            unUsed = i;
        }else{
            num[i] = false;
        }
    }

    for (int i = 0; i < 10; ++i) {
        cout << i << " " << unUsed << " " << unUsed << " " << unUsed << endl;
        cin >> x >> y;
        if (x == 1){
            ans[0] = i;
            break;
        }
    }
    for (int i = 0; i < 10; ++i) {
        cout << ans[0] << " " << i << " " << unUsed << " " << unUsed << endl;
        cin >> x >> y;
        if (x == 2){
            ans[1] = i;
            break;
        }
    }
    for (int i = 0; i < 10; ++i) {
        cout << ans[0] << " " << ans[1] << " " << i << " " << unUsed << endl;
        cin >> x >> y;
        if (x == 3){
            ans[2] = i;
            break;
        }
    }
    for (int i = 0; i < 10; ++i) {
        cout << ans[0] << " " << ans[1] << " " << ans[2] << " " << i << endl;
        cin >> x >> y;
        if (x == 4){
            ans[3] = i;
            break;
        }
    }
    return 0;
}