#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  int n, k;
  cin >> n >> k;
  cout << "? ";
  for (int i = 1; i <= k; i++) cout << i << ' ';
  cout << endl;
  int pos, val;
  cin >> pos >> val;
  cout << "? ";
  for (int i = 1; i <= k + 1; i++)
    if (i != pos) cout << i << ' ';
  cout << endl;
  bool fl = false;
  int pos1, val1;
  cin >> pos1 >> val1;
  if (val1 > val) fl = true;
  int sch1 = 0, sch2 = 0;
  for (int i = 1; i <= k; i++) {
    if (i == pos) continue;
    cout << "? ";
    for (int j = 1; j <= k + 1; j++)
      if (j != i) cout << j << ' ';
    cout << endl;
    int ps, vl;
    cin >> ps >> vl;
    if (ps == pos)
      sch1++;
    else
      sch2++;
  }
  cout << "! ";
  if (fl)
    cout << sch2 + 1;
  else
    cout << sch1 + 1;
  cout << endl;
  return 0;
}
