#include <bits/stdc++.h>
using namespace std;
const int inf = 1 << 30;
const long long linf = 1LL << 62;
const int MAX = 510000;
long long dy[8] = {0, 1, 0, -1, 1, -1, 1, -1};
long long dx[8] = {1, 0, -1, 0, 1, -1, -1, 1};
const double pi = acos(-1);
template <typename T1, typename T2>
inline void chmin(T1 &a, T2 b) {
  if (a > b) a = b;
}
template <typename T1, typename T2>
inline void chmax(T1 &a, T2 b) {
  if (a < b) a = b;
}
template <typename T1, typename T2>
inline void print2(T1 a, T2 b) {
  cout << a << " " << b << endl;
}
template <typename T1, typename T2, typename T3>
inline void print3(T1 a, T2 b, T3 c) {
  cout << a << " " << b << " " << c << endl;
}
const long long mod = 1e9 + 7;
int main() {
  long long n, k;
  cin >> n >> k;
  map<long long, long long> mp;
  for (long long z = 0; z < (k + 1); z++) {
    cout << "? ";
    for (long long i = 0; i < (k + 1); i++) {
      if (i == z) continue;
      cout << i + 1 << " ";
    }
    cout << endl;
    fflush(stdout);
    long long pos, a;
    cin >> pos >> a;
    mp[a]++;
  }
  long long cnt = 0;
  for (auto i : mp) {
    cnt = i.second;
  }
  cout << "! " << cnt << endl;
}
