#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(0);
  long long n, b, i, j, c = 0, t, x, y, temp, x1, x2;
  int a[205];
  for (i = 1; i <= 100; i++) {
    a[i] = i;
  }
  for (i = 101; i <= 200; i++) {
    a[i] = (i - 100) << 7;
  }
  cout << "? ";
  for (i = 1; i <= 100; i++) {
    cout << a[i] << " ";
  }
  cout << "\n";
  fflush(stdout);
  cin >> x1;
  cout << "? ";
  for (i = 101; i <= 200; i++) {
    cout << a[i] << " ";
  }
  cout << "\n";
  fflush(stdout);
  cin >> x2;
  int res = 0;
  for (i = 0; i < 7; i++) {
    if (x2 & (1 << i)) {
      res |= (1 << i);
    }
  }
  for (i = 7; i < 14; i++) {
    if (x1 & (1 << i)) {
      res |= (1 << i);
    }
  }
  cout << "! " << res;
  return 0;
}
