#include <bits/stdc++.h>
using namespace std;
const long long INF_LL = 1e18 + 7;
const int INF_int = 1e9 + 7;
const int maxn = 123;
const int N = 3e5 + 1;
int32_t main() {
  cout << fixed << setprecision(15);
  ios_base::sync_with_stdio(false);
  cin.tie(0), cout.tie(0);
  vector<long long> a(100);
  long long x = 0;
  for (int i = 16256; i < 16356; ++i) a[i - 16256] = i;
  cout << "? ";
  for (int i = 0; i < 100; ++i) cout << a[i] << ' ';
  cout << '\n' << flush;
  int temp, temp2 = 16256;
  cin >> temp;
  temp = ~temp;
  temp &= temp2;
  x |= temp;
  x << 7;
  for (int i = 0; i < 100; ++i) a[i] = 127 + 128 * i;
  cout << "? ";
  for (int i = 0; i < 100; ++i) cout << a[i] << ' ';
  cout << '\n' << flush;
  cin >> temp;
  temp = ~temp;
  temp2 = 127;
  temp = temp2 & temp;
  x |= temp;
  cout << "! " << x << '\n' << flush;
}
