#include <bits/stdc++.h>
using namespace std;
const int inf = 1e9;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, k;
  cin >> n >> k;
  int minim = inf + 1;
  int nr = 0;
  for (int i = 1; i <= k + 1; i++) {
    cout << '?';
    for (int p = 1; p <= k + 1; p++) {
      if (i != p) cout << ' ' << p;
    }
    cout << endl;
    fflush(stdout);
    int x;
    cin >> x >> x;
    if (x < minim) {
      minim = x;
      nr = 1;
    } else if (x == minim)
      nr++;
  }
  cout << "! " << k + 1 - nr << endl;
  fflush(stdout);
}
