#include <bits/stdc++.h>
int main() {
  int n, k, x, v = 0, m = 0;
  scanf("%d%d", &n, &k);
  for (int i = 1; i <= k + 1; ++i) {
    putchar('?');
    for (int j = 1; j <= k + 1; ++j) {
      if (i == j) continue;
      printf(" %d", j);
    }
    putchar('\n');
    fflush(stdout);
    scanf("%*d%d", &x);
    if (x > v) {
      v = x;
      m = 0;
    }
    m += x == v;
  }
  printf("! %d\n", m);
  fflush(stdout);
  return 0;
}
