#include <bits/stdc++.h>
using namespace std;
using namespace std;
int main() {
  cout << "? ";
  for (int i = 1; i < 101; i++) cout << 128 * i << " ";
  cout << endl;
  int ans = 0;
  int in1;
  cin >> in1;
  ans += in1 % 128;
  cout << "? ";
  for (int i = 0; i < 100; i++) cout << i << " ";
  cout << endl;
  int in2;
  cin >> in2;
  ans += 128 * (in2 / 128);
  cout << "! " << ans << endl;
  return 0;
}
