#include <stdio.h>

int main () {
  int n = 0;
  int x = 0;
  
  int res = 0;
  
  int a[1000] = {};
  int b[1000] = {};
  
  int flag[1001] = {};
  int max_p = 0;
  int max_p_idx = 0;
  int one_idx[2] = {};
  
  int a_idx = 1;
  
  res = scanf("%d", &n);
  
  if (n <= 1) {
    printf("! 1 1\n");
    return 0;
  }
  
  for (int i = 2; 2*i <= n; i++) {
    if (flag[i] <= 0) {
      for (int j = 2; j*i <= n; j++) {
        flag[i*j] = 1;
      }
    }
  }
  
  max_p = n;
  while (flag[max_p] > 0) {
    max_p--;
  }
  
  printf("? 1 1\n");
  fflush(stdout);
  res = scanf("%d", &x);
  
  if (x%max_p == 0) {
    a_idx = 2;
    printf("? 2 1\n");
    fflush(stdout);
    res = scanf("%d", &x);
    if (x%max_p == 0) {
      max_p_idx = 1;
      b[0] = max_p;
    }
  }
  
  for (int i = 1; i < n; i++) {
    printf("? %d %d\n", a_idx, i+1);
    fflush(stdout);
    res = scanf("%d", &x);
    if (x%max_p == 0 && max_p_idx <= 0) {
      max_p_idx = i+1;
      b[i] = max_p;
    }
  }
  
  for (int i = 0; i < n; i++) {
    printf("? %d %d\n", i+1, max_p_idx);
    fflush(stdout);
    res = scanf("%d", &x);
    a[i] = x/max_p;
    if (x == max_p && one_idx[0] > 0) {
      one_idx[1] = i+1;
    } else if (x == max_p) {
      one_idx[0] = i+1;
    }
  }
  
  for (int i = 0; i < n; i++) {
    if (b[i] <= 0) {
      printf("? %d %d\n", one_idx[0], i+1);
      fflush(stdout);
      res = scanf("%d", &x);
      if (x%max_p == 0) {
        a[one_idx[0]-1] = max_p;
        b[i] = x/max_p;
      } else {
        a[one_idx[1]-1] = max_p;
        b[i] = x;
      }
    }
  }
  
  printf("!");
  for (int i = 0; i < n; i++) {
    printf(" %d", a[i]);
  }
  for (int i = 0; i < n; i++) {
    printf(" %d", b[i]);
  }
  printf("\n");
  
  return 0;
}