#include <bits/stdc++.h>
#pragma GCC optimize(3)
#pragma GCC optimize("Ofast")
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#pragma comment(linker, "/stack:200000000")
using namespace std;
void io() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  cout.tie(nullptr);
}
long long n, m, k;
int main() {
  scanf("%lld %lld", &n, &k);
  map<long long, long long> MP;
  for (long long i = 1; i <= (k + 1); ++i) {
    printf("?");
    for (long long j = 1; j <= (k + 1); ++j) {
      if (i == j) continue;
      printf(" %lld", j);
    }
    printf("\n");
    fflush(stdout);
    long long x, y;
    scanf("%lld %lld", &x, &y);
    MP[y]++;
  }
  printf("! %lld", MP.rbegin()->second);
}
