#include <bits/stdc++.h>
using namespace std;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    vector<int> a(4);
    int S = 15;
    a = {0, 1, 2, 3};
    auto ask = [&](vector<int> a){
        int X, Y;
        for(int i = 0; i < 4; i++){
            for(int j = 0; j < i; j++){
                if(a[i] == a[j])return make_pair(5, 5);
            }
        }
        cout << a[0] << ' ' << a[1] << ' ' << a[2] << ' ' << a[3] << endl;
        cin >> X >> Y;
        if(X == 4 && Y == 0)exit(0);
        return make_pair(X, Y);
    };

    for(int i = 0; i < 4; i++){
        vector<pair<pair<int,int>, vector<int>>> b;
        for(int j = 0; j < 10; j++){
            a[i] = j;
            b.emplace_back(ask(a), a);
        }
        sort(b.begin(), b.end());
        a = b[0].second;
    }
    
    for(int i = 0; i < 4; i++){
        for(int j = 0; j < 10; j++){
            a[i] = j;
            auto temp = ask(a);
            if(temp == make_pair(i + 1, 0))break;
        }
    }
}