a[10],H,B,s,t,i,j;
main(){
    for(i=3;i<10;i++){
        fflush(!printf("0 1 2 %d\n",i));
        scanf("%d%d",&H,&B);
        a[i]=H+B;
    }
    for(i=4;i<10;i++)s|=(a[i]>a[3])<<i;
    if(s==0)for(s=8,i=4;i<10;i++)s|=(a[i]==a[3])<<i;
    for(i=s,t=1;i&=i-1;t++);
    if(t!=4){
        for(i=4;i<10&&s&(1<<i);i++);
        for(j=i+1;j<10&&s&(1<<j);j++);
        fflush(!printf("0 1 %d %d\n",i,j));scanf("%d%d",&H,&B);s|=(H+B<a[i])<<2;
        fflush(!printf("0 %d 2 %d\n",i,j));scanf("%d%d",&H,&B);s|=(H+B<a[i])<<1;
        fflush(!printf("%d 1 2 %d\n",i,j));scanf("%d%d",&H,&B);s|=(H+B<a[i]);
    }
    for(t=i=0;i<10;i++)if(s&(1<<i))a[t++]=i;
    fflush(!printf("%d %d %d %d\n",a[0],a[1],a[2],a[3]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[0],a[1],a[3],a[2]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[0],a[2],a[1],a[3]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[0],a[2],a[3],a[1]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[0],a[3],a[1],a[2]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[0],a[3],a[2],a[1]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[1],a[0],a[2],a[3]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[1],a[0],a[3],a[2]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[1],a[2],a[0],a[3]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[1],a[2],a[3],a[0]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[1],a[3],a[0],a[2]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[1],a[3],a[2],a[0]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[2],a[0],a[1],a[3]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[2],a[0],a[3],a[1]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[2],a[1],a[0],a[3]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[2],a[1],a[3],a[0]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[2],a[3],a[0],a[1]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[2],a[3],a[1],a[0]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[3],a[0],a[1],a[2]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[3],a[0],a[2],a[1]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[3],a[1],a[0],a[2]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[3],a[1],a[2],a[0]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[3],a[2],a[0],a[1]));scanf("%d%*d",&H);if(H==4)exit(0);
    fflush(!printf("%d %d %d %d\n",a[3],a[2],a[1],a[0]));scanf("%d%*d",&H);if(H==4)exit(0);
}