#include<bits/stdc++.h>
#define ALL(v) std::begin(v),std::end(v)
using lint=long long;
using lubl=long double;
lint perf,good;
std::vector<lint>now;
lint query(){
    for(lint i=0;i<4;i++){
        std::cout<<(i?" ":"")<<now.at(i);
    }
    std::cout<<std::endl;
    std::cin>>perf>>good;
    if(perf==4&&good==0)exit(0);
    return perf;
}
#define ENABLE_DEBUG 1
#ifdef NGTKANA
#include<debug.hpp>
#else
#define DEBUG(...)(void)0
#endif
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    std::vector<lint>ans(4,-1);
    now.resize(4);
    for(lint i=0;i<2;i++){
        std::iota(ALL(now),i*5);
        lint basic=query();
        for(lint j=0;j<4;j++){
            for(lint k=!i*5;k<(!i+1)*5;k++){
                now.at(j)=k;
                if(basic<query()){
                    ans.at(j)=k;
                    break;
                }
            }
            now.at(j)=i*5+j;
        }
    }
    now=ans;
    query();
}