#include <bits/stdc++.h>
using namespace std;
const int LM = 555;
int n, k, q[LM];
pair<int, int> ask() {
  cout << "?";
  for (int i = 1; i <= k; i++) cout << " " << q[i];
  cout << "\n";
  pair<int, int> res;
  cin >> res.first >> res.second;
  return res;
}
int main() {
  cin >> n >> k;
  for (int i = 1; i <= k; i++) q[i] = i;
  pair<int, int> r1 = ask();
  q[r1.first] = k + 1;
  pair<int, int> r2 = ask();
  for (int i = 1; i <= k; i++)
    if (i != r2.first)
      q[i] = i;
    else
      q[i] = k + 1;
  int ans = 0, val;
  for (int i = 1; i <= k; i++)
    if (q[i] != r1.first) {
      int tmp = q[i];
      q[i] = r2.first;
      pair<int, int> res = ask();
      q[i] = tmp;
      if (r1.second == res.second)
        if (r1.second > r2.second) ans += 1;
      if (r1.second < res.second) ans += 1;
    }
  cout << "! " << ans + 1 << "\n";
  cout.flush();
  return 0;
}
