#include <bits/stdc++.h>
using namespace std;
const double pi = acos(-1.0);
map<int, int> mp;
int main() {
  std::ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  ;
  int n, k, tmp = 1, mx = 0;
  cin >> n >> k;
  while (tmp <= k + 1) {
    int pos, x;
    cout << "?" << ' ';
    for (int i = 1; i <= k + 1; i++) {
      if (i != tmp) cout << i << ' ';
    }
    cout << endl;
    cout.flush();
    tmp++;
    cin >> pos >> x;
    mp[x]++;
    mx = max(mx, x);
  }
  cout << "!" << ' ' << mp[mx] << endl;
  return 0;
}
