#include <bits/stdc++.h>
using namespace std;
int a[1 << 13];
vector<int> v[13];
long long query(vector<int> v) {
  if (v.size() == 0) return 0;
  printf("? %d", (int)v.size());
  for (int i = 0; i < v.size(); i++) printf(" %d", v[i]);
  printf("\n");
  fflush(stdout);
  long long ans;
  scanf("%lld", &ans);
  return ans;
}
int main() {
  int cnt = 0;
  for (int i = 0; i < (1 << 13); i++) {
    int tot = 0;
    for (int j = 0; j < 13; j++)
      if (i & (1 << j)) tot++;
    if (tot != 6) continue;
    a[cnt++] = i;
  }
  int n;
  scanf("%d", &n);
  long long ans[25];
  vector<int> v[15];
  for (int i = 1; i <= n; i++) {
    for (int j = 0; j < 13; j++)
      if (a[i] & (1 << j)) v[j].push_back(i);
  }
  for (int i = 0; i < 13; i++) ans[i] = query(v[i]);
  printf("!");
  for (int i = 1; i <= n; i++) {
    long long ret = 0;
    for (int j = 0; j < 13; j++)
      if (a[i] & (1 << j))
        continue;
      else
        ret |= ans[j];
    printf(" %lld", ret);
  }
  printf("\n");
  fflush(stdout);
  return 0;
}
