#include <bits/stdc++.h>
using namespace std;
const double EPS = 1e-9;
signed main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  vector<long long> a(4);
  for (long long i = (0); i < ((4)); i++) {
    cout << "?"
         << " " << i + 1 << " " << i + 2 << endl;
    cout.flush();
    cin >> a[i];
  }
  vector<long long> ans{4, 8, 15, 16, 23, 42};
  do {
    for (long long i = (0); i < ((4)); i++)
      if (ans[i] * ans[i + 1] != a[i]) goto out;
    break;
  out:;
  } while (next_permutation(ans.begin(), ans.end()));
  cout << "! ";
  for (long long j = (0); j < ((6)); j++) cout << ans[j] << " ";
  cout << endl;
  cout.flush();
  return 0;
}
