#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k;
  cin >> n >> k;
  int tmp = -1;
  int temp;
  int cnt1(0), cnt2(0);
  map<int, int> ma;
  for (int i = 0; i < k + 1; ++i) {
    cout << "? ";
    for (int j = 0; j < k + 1; ++j)
      if (i != j) cout << j + 1 << " ";
    cout << endl;
    cout.flush();
    cin >> temp >> temp;
    ma[temp]++;
  }
  auto it = ma.begin();
  ++it;
  cout << "! " << it->second << endl;
  cout.flush();
  return 0;
}
