#include <bits/stdc++.h>
using namespace std;
inline int read() {
  int x = 0, f = 1;
  char c = getchar();
  while (c != '-' && (c < '0' || c > '9')) c = getchar();
  if (c == '-') f = -1, c = getchar();
  while (c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
  return f * x;
}
const int maxn = 3e5 + 7;
const int inf = 0x3f3f3f3f;
const int mod = 1e9 + 7;
int main() {
  int n = read(), k = read();
  printf("?");
  for (int i = 1; i <= k; ++i) printf(" %d", i);
  printf("\n");
  fflush(stdout);
  int p = read(), a = read();
  int f = -1, cnt = 0;
  for (int j = 1; j <= k; ++j) {
    if (j == p) continue;
    printf("?");
    for (int i = 1; i <= k; ++i)
      if (i != j) printf(" %d", i);
    printf(" %d\n", k + 1);
    fflush(stdout);
    int pp = read(), aa = read();
    if (aa < a)
      f = 0, cnt++;
    else if (aa > a)
      f = 1, cnt++;
  }
  if (f == 0)
    printf("! %d\n", k - cnt);
  else if (f == 1)
    printf("! %d\n", cnt + 1);
  else {
    printf("?");
    for (int i = 1; i <= k; ++i)
      if (i != p) printf(" %d", i);
    printf(" %d\n", k + 1);
    fflush(stdout);
    int pp = read(), aa = read();
    if (aa < a)
      printf("! %d\n", k);
    else
      printf("! %d\n", 1);
  }
  fflush(stdout);
}
