#include <bits/stdc++.h>
using namespace std;
int tmp1, tmp2;
int main() {
  printf("?");
  for (int i = 1; i <= 100; i++) printf(" %d", i);
  printf("\n");
  fflush(stdout);
  scanf("%d", &tmp1);
  printf("?");
  for (int i = 1; i <= 100; i++) printf(" %d", i << 7);
  printf("\n");
  fflush(stdout);
  scanf("%d", &tmp2);
  int tmp3 = (tmp1 ^ tmp2) >> 7;
  printf("! %d\n", (tmp3 << 7) ^ tmp2);
}
