#include <bits/stdc++.h>
using namespace std;
int main() {
  if (fopen("Test.INP", "r")) freopen("Test.INP", "r", stdin);
  int n, k;
  cin >> n >> k;
  vector<int> S(k + 1);
  for (int i = 0; i < k + 1; ++i) {
    cout << '?';
    for (int j = 0; j < k + 1; ++j) {
      if (i != j) cout << ' ' << j + 1;
    }
    cout << '\n' << flush;
    int x;
    cin >> x;
    cin >> S[i];
  }
  sort(S.begin(), S.end(), greater<int>());
  for (int i = 0; i < k; ++i) {
    if (S[i] != S[i + 1]) {
      cout << '!' << " " << i + 1;
    }
  }
  return 0;
}
