#include <bits/stdc++.h>
using namespace std;
map<int, int> cnt;
int main() {
  int n, k;
  scanf("%d%d", &n, &k);
  for (int i = 1; i <= k + 1; i++) {
    printf("? ");
    for (int j = 1; j <= k + 1; j++)
      if (j != i) printf("%d ", j);
    printf("\n");
    fflush(stdout);
    int ind, val;
    scanf("%d%d", &ind, &val);
    cnt[val]++;
  }
  int y = (*(--cnt.end())).second;
  printf("! %d", y);
  return 0;
}
