#include <bits/stdc++.h>
using namespace std;
inline long long read() {
  char ch = getchar();
  long long x = 0, f = 1;
  while (ch < '0' || ch > '9') f = ch == '-' ? -1 : 1, ch = getchar();
  while (ch >= '0' && ch <= '9') x = x * 10 + ch - '0', ch = getchar();
  return x * f;
}
int main(int argc, char *argv[]) {
  ios::sync_with_stdio(false);
  cin.tie(0);
  long long base = (1LL << 7) - 1;
  long long res = 0, cur;
  printf("?");
  for (long long i = (1); i <= (100); i += (1)) printf(" %lld", i);
  putchar('\n');
  fflush(stdout);
  cur = read();
  res += (cur >> 7) << 7;
  printf("?");
  for (long long i = (1); i <= (100); i += (1)) printf(" %lld", i << 7);
  putchar('\n');
  fflush(stdout);
  cur = read();
  res += cur & base;
  printf("! %lld\n", res);
  fflush(stdout);
  return 0;
}
