#include <bits/stdc++.h>
using namespace std;
int query(int x, int k) {
  cout << "? ";
  for (int i = 1; i <= k + 1; i++)
    if (i != x) cout << i << " ";
  cout << endl;
  int rep;
  cin >> rep;
  cin >> rep;
  return rep;
}
int main() {
  int t = 1;
  while (t--) {
    int n, k;
    cin >> n >> k;
    vector<int> vals;
    for (int i = 1; i <= k + 1; i++) vals.push_back(query(i, k));
    int mn = *min_element(vals.begin(), vals.end());
    int m = 0;
    for (int i : vals)
      if (i > mn) m++;
    cout << "! " << m << endl;
  }
}
