#include <stdio.h>
#include<stdlib.h>
int w[4]={10,10,10,10};
int q(int x[4],int a,int b){
    int y,z;
   printf("%d %d %d %d",x[(a+1)%4],x[(a+2)%4],x[(a+3)%4],x[a]) ;
   scanf("%d%d",&y,&z);
   if(y==4)
   exit(0);
   
   if(y>b)
    w[a]=x[3];
       
   return y;
   
}

int main(void){
    
 
  for(int i=3;i>=0;i--){
      int a[4]={0,1,2,3};
      int z=q(a,i,4);
      a[3]=4;
      if(z>q(a,i,4))
      w[i]=3;
      a[3]=3;
      for(int j=4;j<=9;j++){
          a[3]=j;
         z= q(a,i,z);
      }
      
      if(w[i]>9){
          int b[4]={9,1,2,4};
          a[0]=9,a[3]=0;
          q(a,i,q(b,i,4));
          
          b[0]=0,b[1]=9,a[0]=0,a[1]=9,a[3]=1;
          q(a,i,q(b,i,4));
          
          b[1]=1,b[2]=9,a[1]=1,a[2]=9,a[3]=2;
          q(a,i,q(b,i,4));
      }
      
  
  } printf("%d %d %d %d",w[0],w[1],w[2],w[3]);
}