#include <bits/stdc++.h>
#pragma GCC optimize("O3")
using namespace std;
const int N = 300009, M = 1000000;
const double EPS = 1e-9;
int u, v, ans;
set<int> a, b;
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  ;
  for (int i = 0; i < (1 << 14); i++) {
    int ck = 1;
    for (int j = 0; j < 7; j++) {
      if ((i & (1 << j))) ck = 0;
    }
    if (ck) a.insert(i);
  }
  cout << "? ";
  int c = 0;
  for (auto p : a) {
    if (c < 99)
      cout << p << " ";
    else if (c == 99)
      cout << p << endl;
    else
      break;
    c++;
  }
  fflush(stdout);
  cin >> u;
  for (int i = 1; i < (1 << 14); i++) {
    int ck = 1;
    for (int j = 7; j < 14; j++) {
      if ((i & (1 << j))) ck = 0;
    }
    if (ck) b.insert(i);
  }
  cout << "? ";
  c = 0;
  for (auto p : b) {
    if (c < 99)
      cout << p << " ";
    else if (c == 99)
      cout << p << endl;
    else
      break;
    c++;
  }
  fflush(stdout);
  cin >> v;
  for (int i = 0; i < 7; i++) {
    if (u & (1 << i)) ans |= (1 << i);
  }
  for (int i = 7; i < 14; i++) {
    if (v & (1 << i)) ans |= (1 << i);
  }
  cout << "! " << ans << endl;
  fflush(stdout);
  return 0;
}
