#include <bits/stdc++.h>
using namespace std;
const long long inf = 1e16;
void print() {
  cout << "? ";
  for (long long i = 1; i <= 100; i++) {
    cout << (i << 7) << " ";
  }
  cout << endl;
}
int32_t main() {
  long long res = 0;
  cout << "? ";
  for (long long i = 1; i <= 100; i++) {
    cout << i << " ";
  }
  cout << endl;
  long long r;
  cin >> r;
  for (long long i = 7; i <= 14; i++) {
    if ((1LL << i) & r) res += (1LL << i);
  }
  print();
  cin >> r;
  for (long long i = 0; i < 7; i++) {
    if ((1LL << i) & r) res += (1LL << i);
  }
  cout << "! " << res << endl;
}
