#include <bits/stdc++.h>
using namespace std;
int main() {
  cout << "? ";
  for (int i = 0; i < 100; i++) cout << i << " ";
  cout << endl;
  int first;
  cin >> first;
  cout << "? ";
  int cnt = 128;
  for (int i = 0; i < 100; i++) {
    cout << cnt << " ";
    cnt += 128;
  }
  cout << endl;
  int second;
  cin >> second;
  int ans = (first ^ second) % 128;
  ans = ans ^ first;
  cout << "! ";
  cout << ans;
}
