#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 7;
int dp[1025][1025];
int main() {
  cout << '?';
  for (int i = 1; i <= 100; i++) cout << ' ' << i;
  cout << endl;
  fflush(stdout);
  int a1, a2;
  cin >> a1;
  cout << '?';
  for (int i = 1; i <= 100; i++) cout << ' ' << i * pow(2, 7);
  cout << endl;
  fflush(stdout);
  cin >> a2;
  int ans = 0;
  for (int i = 0; i < 14; i++)
    if (i < 7)
      ans += ((a2 >> i) & 1) << i;
    else
      ans += ((a1 >> i) & 1) << i;
  cout << '!' << ' ' << ans << endl;
}
