#include <bits/stdc++.h>
using namespace std;
int n, k;
void query(int x) {
  cout << "?";
  for (int i = 1; i <= k + 1; ++i)
    if (i != x) cout << " " << i;
  cout << endl;
}
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cin >> n >> k;
  int x, y, px, py;
  query(k + 1);
  cin >> px >> x;
  query(px);
  cin >> py >> y;
  int m = 1;
  if (y > x) {
    for (int i = 1; i <= k; ++i) {
      if (i != px) {
        query(i);
        int pa, a;
        cin >> pa >> a;
        if (a > x) ++m;
      }
    }
  } else {
    for (int i = 1; i <= k; ++i) {
      if (i != px) {
        query(i);
        int pa, a;
        cin >> pa >> a;
        if (a > y) ++m;
      }
    }
  }
  cout << "! " << m << endl;
}
