#include <bits/stdc++.h>
using namespace std;
int main() {
  cin.tie(NULL);
  ios_base::sync_with_stdio(false);
  vector<int> a(4), b = {4, 8, 15, 16, 23, 42};
  for (int i = 0; i < 4; i++) {
    cout << "? " << i + 1 << " " << i + 2 << endl;
    cin >> a[i];
  }
  vector<int> x(4);
  do {
    for (int i = 0; i < 4; i++) x[i] = b[i] * b[i + 1];
    if (x == a) break;
  } while (next_permutation(b.begin(), b.end()));
  cout << "!";
  for (int i = 0; i < 6; i++) cout << " " << b[i];
  cout << endl;
  return 0;
}
