#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k;
  cin >> n >> k;
  assert(k < n);
  map<int, int> count;
  for (int i = 1; i <= k + 1; ++i) {
    cout << "? ";
    for (int j = 1; j <= k + 1; ++j) {
      if (j == i) continue;
      cout << j << " ";
    }
    cout << endl;
    cout.flush();
    int pos, apos;
    cin >> pos >> apos;
    count[apos] += 1;
  }
  assert(count.size() == 2);
  int max_key = -1, max_val = -1;
  for (const auto it : count) {
    if (it.first > max_key) {
      max_key = it.first;
      max_val = it.second;
    }
  }
  const int m = max_val;
  cout << "! " << m << endl;
  cout.flush();
  return 0;
}
