#include <bits/stdc++.h>
using namespace std;
int32_t main() {
  cout << "? 1 2" << endl;
  long long AB;
  cin >> AB;
  cout << "? 2 3" << endl;
  long long BC;
  cin >> BC;
  cout << "? 3 4" << endl;
  long long CD;
  cin >> CD;
  cout << "? 4 5" << endl;
  long long DE;
  cin >> DE;
  vector<long long> f(6);
  f[0] = 4;
  f[1] = 8;
  f[2] = 16;
  f[3] = 15;
  f[4] = 23;
  f[5] = 42;
  for (long long q = 0; q < 6; q++) {
    long long A = f[q];
    for (long long w = 0; w < 6; w++) {
      if (w == q) continue;
      long long B = f[w];
      for (long long r = 0; r < 6; r++) {
        if (r == q || r == w) continue;
        long long C = f[r];
        for (long long t = 0; t < 6; t++) {
          if (t == q || t == w || t == r) continue;
          long long D = f[t];
          for (long long y = 0; y < 6; y++) {
            if (y == q || y == w || y == r || y == t) continue;
            long long E = f[y];
            for (long long u = 0; u < 6; u++) {
              if (u == q || u == w || u == r || u == t || u == y) continue;
              long long F = f[u];
              long long ab, bc, cd, de;
              ab = A * B;
              bc = B * C;
              cd = C * D;
              de = D * E;
              long long a, b, c, d, e, f;
              if (AB == ab && BC == bc && CD == cd & DE == de) {
                cout << "! " << A << " " << B << " " << C << " " << D << " "
                     << E << " " << F << endl;
                return 0;
              }
            }
          }
        }
      }
    }
  }
  return 0;
}
