#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.tie(NULL);
  map<long long, pair<long long, long long>> m1;
  vector<long long> v2;
  long long i, j;
  v2.push_back(4);
  v2.push_back(8);
  v2.push_back(15);
  v2.push_back(16);
  v2.push_back(23);
  v2.push_back(42);
  for (i = 0; i < v2.size(); i++) {
    for (j = i + 1; j < 6; j++) {
      m1[v2[i] * v2[j]] = {v2[i], v2[j]};
    }
  }
  cout << "? 1 2" << endl;
  long long x;
  cin >> x;
  pair<long long, long long> p1;
  p1 = m1[x];
  cout << "? 2 3" << endl;
  long long x2;
  cin >> x2;
  pair<long long, long long> p2;
  p2 = m1[x2];
  long long first, second, third, four;
  first = p1.first;
  second = p1.second;
  third = p2.first;
  four = p2.second;
  long long arr[6];
  if (first == third) {
    arr[1] = first;
    arr[0] = second;
    arr[2] = four;
  } else if (first == four) {
    arr[1] = first;
    arr[0] = second;
    arr[2] = third;
  } else if (second == third) {
    arr[1] = second;
    arr[0] = first;
    arr[2] = four;
  } else {
    arr[1] = second;
    arr[0] = first;
    arr[2] = third;
  }
  cout << "? 4 5" << endl;
  cin >> x;
  p1 = m1[x];
  cout << "? 5 6" << endl;
  cin >> x;
  p2 = m1[x];
  first = p1.first;
  second = p1.second;
  third = p2.first;
  four = p2.second;
  if (first == third) {
    arr[4] = first;
    arr[3] = second;
    arr[5] = four;
  } else if (first == four) {
    arr[4] = first;
    arr[3] = second;
    arr[5] = third;
  } else if (second == third) {
    arr[4] = second;
    arr[3] = first;
    arr[5] = four;
  } else {
    arr[4] = second;
    arr[3] = first;
    arr[5] = third;
  }
  cout << "! ";
  for (i = 0; i < 6; i++) cout << arr[i] << " ";
  return 0;
}
