#include <bits/stdc++.h>
using namespace std;
const long long maxn = 2e5 + 5;
const long long mod = 1e9 + 7;
signed main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  srand(time(0));
  vector<long long> q1;
  for (long long i = 1; i < 101; i++) {
    q1.push_back(i * 128);
  }
  cout << '?' << ' ';
  for (auto ii : q1) cout << ii << ' ';
  cout << endl;
  long long k;
  cin >> k;
  long long ans = 0;
  for (long long i = 0; i < 7; i++) {
    if ((1 << i) & k) ans += (1 << i);
  }
  vector<long long> q2;
  for (long long i = 0; i < 100; i++) {
    q2.push_back(i);
  }
  cout << '?' << ' ';
  for (auto ii : q2) cout << ii << ' ';
  cout << endl;
  cin >> k;
  for (long long i = 7; i < 14; i++) {
    if ((1 << i) & k) ans += (1 << i);
  }
  cout << '!' << ' ' << ans << endl;
  return 0;
}
