#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  long long mod = (long long)(1e9 + 7);
  long long a[100], b[100], ax, bx;
  for (long long i = 0; i < 100; i++) a[i] = i + 1;
  cout << "?"
       << " ";
  for (int i = 0; i < 100; i++) cout << a[i] << " ";
  cout << flush;
  cin >> ax;
  cout << "?"
       << " ";
  for (int i = 0; i < 100; i++) {
    b[i] = (a[i] << 7);
    cout << b[i] << " ";
  }
  cout << flush;
  cin >> bx;
  long long ans = 0;
  for (int i = 0; i < 100; i++) {
    if ((bx ^ (b[i] ^ ax)) <= 100 && (bx ^ (b[i] ^ ax)) > 0) {
      ans = bx ^ b[i];
      break;
    }
  }
  cout << "! " << ans;
}
