#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  long long t = 1;
  while (t--) {
    long long n, m, l = 0, r = 0, z, sum1 = 0, a, b, c, d, x = 0, y = 0, p,
                    first, h;
    string second, t;
    long long ar[105], br[105];
    for (long long i = 0; i < 100; i++) ar[i] = i;
    for (long long i = 1; i < 101; i++) br[i - 1] = (i << 7);
    cout << "? ";
    for (long long i = 0; i < 100; i++) cout << ar[i] << " ";
    cout << "\n";
    cout.flush();
    cin >> n;
    cout << "? ";
    for (long long i = 0; i < 100; i++) cout << br[i] << " ";
    cout << "\n";
    ;
    cout.flush();
    cin >> m;
    c = n ^ m;
    c >>= 7;
    c <<= 7;
    c ^= m;
    cout << "! " << c << "\n";
    cout.flush();
  }
}
