#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n, k;
  cin >> n >> k;
  vector<long long> v;
  for (long long i = 1; i < k + 2; i++) {
    cout << "? ";
    for (long long j = 1; j < k + 2; j++)
      if (j != i) cout << j << " ";
    cout << endl;
    cout.flush();
    long long a, b;
    cin >> a >> b;
    v.push_back(b);
  }
  long long mx = *max_element(v.begin(), v.end());
  cout << "! " << count(v.begin(), v.end(), mx);
  return 0;
}
