#include <bits/stdc++.h>
using namespace std;
int min(int a, int b) {
  if (a > b) return b;
  return a;
}
int max(int a, int b) {
  if (a > b) return a;
  return b;
}
int main() {
  int t;
  t = 1;
  while (t--) {
    int n, k;
    cin >> n >> k;
    int pos[k + 1], apos[k + 1];
    for (int i = 0; i <= k; i++) {
      cout << "? ";
      for (int j = 0; j <= k; j++) {
        if (j != i) cout << j + 1 << " ";
      }
      fflush(stdout);
      cin >> pos[i] >> apos[i];
      cout << endl;
    }
    int ans = -1;
    for (int i = 0; i <= k; i++) ans = max(ans, apos[i]);
    int m = 0;
    for (int i = 0; i <= k; i++) {
      if (apos[i] == ans) m++;
    }
    cout << "! " << m << endl;
  }
}
