#include <bits/stdc++.h>
using namespace std;
const int maxn = 1 << 20;
bool ava[maxn << 1];
vector<int> vt;
vector<int> vt1;
bool check(int x, int y) {
  for (int i = 0; i < vt.size(); i++) {
    if (!ava[vt[i] ^ y]) return false;
    if (!ava[vt1[i] ^ x]) return false;
  }
  return ava[x ^ y];
}
bool ok(int x) {
  for (int i = 0; i < 100; i++) {
    if (!ava[x ^ i]) return false;
  }
  return true;
}
int main() {
  srand(time(0));
  for (int i = 0; i < maxn; i++) {
    ava[i] = true;
  }
  int cur = 100;
  int cur1 = maxn - 1;
  int cnt = 0;
  for (int i = 0; i < 100; i++) {
    while (!ok(cur)) cur++;
    vt.push_back(cur);
    for (int j = 0; j < 100; j++) {
      ava[j ^ cur] = false;
    }
  }
  cout << "? ";
  for (int i = 0; i < 100; i++) cout << i << " ";
  fflush(stdout);
  int a;
  cin >> a;
  cout << "? ";
  for (int i = 0; i < 100; i++) {
    cout << vt[i] << " ";
  }
  fflush(stdout);
  int b;
  cin >> b;
  int ab = a ^ b;
  cerr << a << " " << b << " " << ab << endl;
  for (int i = 0; i < 100; i++) {
    for (int j = 0; j < vt.size(); j++) {
      if ((i ^ vt[j]) == ab) {
        cout << "! " << (a ^ i);
        fflush(stdout);
        return 0;
      }
    }
  }
  return 0;
}
