#include <bits/stdc++.h>
using namespace std;
int ask(vector<int> &a) {
  cout << "? ";
  for (auto x : a) cout << x << ' ';
  cout << endl;
  int p, x;
  cin >> p >> x;
  return x;
}
int main() {
  int n, k;
  cin >> n >> k;
  map<int, int> cnt;
  int mx = 0;
  for (int i = 1; i <= k + 1; i++) {
    vector<int> a;
    for (int j = 1; j <= k + 1; j++) {
      if (i == j) continue;
      a.push_back(j);
    }
    int cur = ask(a);
    mx = max(mx, cur);
    cnt[cur]++;
  }
  cout << "! " << cnt[mx] << '\n';
  exit(0);
}
