#include <bits/stdc++.h>
using namespace std;
void exec() {
  int n, k;
  cin >> n >> k;
  map<int, int> es;
  for (int i = 1; i <= k + 1; i++) {
    string query = "?";
    for (int j = 1; j <= k + 1; j++) {
      if (j == i) {
        continue;
      }
      query += " " + to_string(j);
    }
    cout << query << endl;
    int pos, a;
    cin >> pos >> a;
    es[a] += 1;
  }
  int mmax = -1;
  int m = 0;
  for (auto i = es.begin(); i != es.end(); ++i) {
    if (mmax < i->first) {
      mmax = i->first;
      m = i->second;
    }
  }
  cout.flush();
  cout << ("! " + to_string(m)) << endl;
}
void solve() {
  int t = 1;
  for (int i = 0; i < t; i++) {
    exec();
  }
}
int main() {
  solve();
  return 0;
}
