#include <bits/stdc++.h>
using namespace std;
void Salman() {}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  int ara[4];
  for (int i = 1; i <= 4; i++) {
    cout << "? " << i << ' ' << i + 1 << endl;
    cin >> ara[i - 1];
  }
  vector<int> ans = {4, 8, 15, 16, 23, 42};
  int check[5];
  do {
    for (int i = 0; i < 5; i++) check[i] = ans[i] * ans[i + 1];
    bool flag = true;
    for (int i = 0; i < 4; i++) {
      if (check[i] != ara[i]) flag = false;
    }
    if (flag == true) break;
  } while (next_permutation(ans.begin(), ans.end()));
  cout << "! ";
  for (int i = 0; i < 6; i++) cout << ans[i] << ' ';
  cout << endl;
}
