#include <bits/stdc++.h>
using namespace std;
int t;
int n, k;
int arr[505];
bool b;
int main() {
  cin >> n >> k;
  for (int i = 0; i < k; i++) arr[i] = i + 1;
  int pos, val, oldpos, oldval;
  cout << '?';
  for (int i = 0; i < k; i++) cout << " " << arr[i];
  cout << endl;
  cin >> oldpos >> oldval;
  int c = 0;
  int b = false;
  for (int i = 0; i < k; i++) {
    arr[i] = k + 1;
    cout << '?';
    for (int i = 0; i < k; i++) cout << " " << arr[i];
    cout << endl;
    cin >> pos >> val;
    if (pos == oldpos)
      c++;
    else if (val > oldval)
      b = true;
    arr[i] = i + 1;
  }
  if (b)
    cout << "! " << k - c << endl;
  else
    cout << "! " << c + 1 << endl;
  return 0;
}
