#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
inline int read(){
    char ch=getchar();
    while(!isdigit(ch) && ch!='-') ch=getchar();
    int x=0,ff=1; if(ch=='-') ff=-1,ch=getchar();
    while(isdigit(ch)) x=(x<<3) + (x<<1) + (ch^48),ch=getchar();
    return x*ff;
}
int calc(int a,int b,int c){
    printf("%d %d %d\n",a,b,c); fflush(stdout);
    int x=read(); return x;
}
int main(){
    int S=calc(1,1,1),A=calc(1,0,0),B=calc(0,1,0),C=calc(0,0,1);
    if(A+B+C==S){
        S=calc(1,1,1);
        printf("%d %d %d\n",A,B,C); fflush(stdout);
    } else {
        int A2=S-B-C,B2=S-A-C,C2=S-A-B;
        for(int i=0;i<=10;i++)
            for(int j=0;j<=10;j++)
                for(int k=0;k<=10;k++){
                    int w1=A*i+B*j+C*k,
                        w2=A2*i+B*j+C*k,
                        w3=A*i+B2*j+C*k,
                        w4=A*i+B*j+C2*k;
                    if(w1!=w2 && w1!=w3 && w1!=w4 && w2!=w3 && w2!=w4 && w3!=w4){
                        int ww=calc(i,j,k);
                        if(ww==w2) A=A2;
                        else if(ww==w3) B=B2;
                        else if(ww==w4) C=C2;
                        printf("%d %d %d\n",A,B,C); fflush(stdout);
                        return 0;
                    }
                }
    }
    return 0;
}