#include <bits/stdc++.h>
using namespace std;
int n, k, i, a[555], j, x;
int main() {
  cin >> n >> k;
  for (i = 1; i <= k + 1; i++) {
    cout << "?";
    for (j = 1; j <= k + 1; j++)
      if (j != i) cout << " " << j;
    cout << endl;
    cin >> x >> a[i];
  }
  sort(a + 1, a + k + 2);
  for (i = 1; i <= k; i++)
    if (a[i] != a[i + 1]) {
      cout << "! " << k + 1 - i << endl;
      return 0;
    }
}
