#include <bits/stdc++.h>
using namespace std;
const int TAM = 1e5 + 3;
int n, k, M;
int pos, val;
int query(int skip) {
  cout << "?";
  for (int i = 1; i <= k; i++) {
    if (i == skip) continue;
    cout << " " << i;
  }
  cout << " " << k + 1 << endl;
  cout.flush();
  cin >> pos;
  if (pos == -1) return -1;
  cin >> val;
  return val;
}
int ls = 0, eq = 0, mr = 0;
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cin >> n >> k;
  cout << "?";
  for (int i = 1; i <= k; i++) cout << " " << i;
  cout << endl;
  cin >> pos;
  if (pos == -1) return 0;
  cin >> M;
  for (int i = 1; i <= k; i++) {
    int sal = query(i);
    if (sal == -1) return 0;
    if (sal < M)
      ls++;
    else if (sal == M)
      eq++;
    else
      mr++;
  }
  if (ls == 0)
    cout << "! " << mr << endl;
  else
    cout << "! " << eq + 1 << endl;
  return 0;
}
