#include <bits/stdc++.h>
using namespace std;
int32_t main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  cout << "? ";
  for (long long i = 0; i <= 99; i++) {
    cout << i;
    if (i != 99) cout << " ";
  }
  cout << endl;
  long long x;
  cin >> x;
  cout << "? ";
  for (long long i = 1; i <= 100; i++) {
    long long cur = i << 7;
    cout << cur;
    if (i != 100) cout << " ";
  }
  cout << endl;
  long long y;
  cin >> y;
  long long ans = 0;
  for (long long b = 0; b <= 6; b++) {
    if (y >> b & 1) ans += (1 << b);
  }
  for (long long b = 7; b <= 13; b++) {
    if (x >> b & 1) ans += (1 << b);
  }
  cout << "! ";
  cout << ans;
  return 0;
}
