#include "bits/stdc++.h"
#define REP(i,n,N) for(int i=(n); i<(N); i++)
#define RREP(i,n,N) for(int i=(N-1); i>=n; i--)
#define CK(n,a,b) ((a)<=(n)&&(n)<(b))
#define ALL(v) (v).begin(),(v).end()
#define p(s) cout<<(s)<<endl
#define p2(a,b) cout<<(a)<<" "<<(b)<<endl
#define v2(T) vector<vector<T>>
typedef long long ll;
using namespace std;
const int inf=1e9+7;

int a,b;
int ans[4]={0,1,2,3};
int main() {
    int prev=0,now;
    REP(i,0,10-3){
        cout<<i<<" "<<7<<" "<<8<<" "<<9<<endl;
        cin>>a>>b;
        if(a==4){
            return 0;
        }
        now=a+b;
        if(prev<now){
            ans[0]=i;
        }
        prev=now;
    }
    prev = 0;
    REP(i,1,10-2){
        cout<<0<<" "<<i<<" "<<8<<" "<<9<<endl;
        cin>>a>>b;
        if(a==4){
            return 0;
        }
        now=a+b;
        if(prev<now){
            ans[1]=i;
        }
        prev=now;
    }
    prev = 0;
    REP(i,2,10-1){
        cout<<0<<" "<<1<<" "<<i<<" "<<9<<endl;
        cin>>a>>b;
        if(a==4){
            return 0;
        }
        now=a+b;
        if(prev<now){
            ans[2]=i;
        }
        prev=now;
    }
    prev = 0;
    REP(i,3,10){
        cout<<0<<" "<<1<<" "<<2<<" "<<i<<endl;
        cin>>a>>b;
        if(a==4){
            return 0;
        }
        now=a+b;
        if(prev<now){
            ans[3]=i;
        }
        prev=now;
    }

    do{
        cout<<ans[0]<<" "<<ans[1]<<" "<<ans[2]<<" "<<ans[3]<<endl;
        cin>>a>>b;
        if(a==4){
            return 0;
        }
    }while(next_permutation(ans,ans+4));


    return 0;
}