#include <bits/stdc++.h>
using namespace std;

#undef _P
#define _P(...) (void)printf(__VA_ARGS__)
#define FORR(x,arr) for(auto&& x:arr)
#define FOR(i,a,b) for (int i = (a); i < (b); i++)
#define RFOR(i,a,b) for (int i = (b)-1; i >= (a); i--)
#define REP(i,n) for (int i = 0; i < (n); i++)
#define RREP(i,n) for (int i = (n)-1; i >= 0; i--)
#define ALL(x) (x).begin(), (x).end()
#define ITR(x,c) for(__typeof(c.begin()) x=c.begin();x!=c.end();x++)
#define RITR(x,c) for(__typeof(c.rbegin()) x=c.rbegin();x!=c.rend();x++)
#define BIT(n) (1LL<<(n))
#define SZ(x) ((int)(x).size())
typedef long long ll;
// -------------------------------------

void Main() {
  vector<int> vi;
  int x, y;
  REP(i, 10) REP(j, i) REP(k, j) REP(l, k) {
    _P("%d %d %d %d", i, j, k, l);
    cout << endl;
    cin >> x >> y;
    if (x == 4) return;
    else if (x+y == 4) {
      vi.push_back(i);
      vi.push_back(j);
      vi.push_back(k);
      vi.push_back(l);
      i=j=k=l=10;
    }
  }

  sort(ALL(vi));
  do {
    _P("%d %d %d %d", vi[0], vi[1], vi[2], vi[3]);
    cout << endl;
    cin >> x >> y;
    if (x == 4) return;
  } while(next_permutation(ALL(vi)));
}
int main() { cin.tie(0); ios::sync_with_stdio(false); Main(); return 0; }