#include <bits/stdc++.h>
using namespace std;
using LL = long long;
using PII = pair<int, int>;
PII query(const vector<int>& v) {
  cout << '?';
  for (int i : v) cout << ' ' << i;
  cout << endl;
  cout.flush();
  PII res;
  cin >> res.first >> res.second;
  return res;
}
int main() {
  int n, k;
  cin >> n >> k;
  map<LL, int> freq;
  for (int q = 1; q <= k + 1; q++) {
    vector<int> v;
    for (int i = 1; i <= k + 1; i++) {
      if (i != q) v.push_back(i);
    }
    auto res = query(v);
    freq[res.second]++;
  }
  int ans = freq.rbegin()->second;
  cout << "! " << ans << endl;
  cout.flush();
  return 0;
}
