#include <bits/stdc++.h>
using namespace std;
using namespace std::chrono;
const int mod = 1000000007;
const long long int inf = 2.19e15 + 1;
const long double pai = 3.141592653589793238462643383279502884197;
const long double eps = 1e-10;
template <class T, class U>
bool chmin(T& a, U b) {
  if (a > b) {
    a = b;
    return true;
  }
  return false;
}
template <class T, class U>
bool chmax(T& a, U b) {
  if (a < b) {
    a = b;
    return true;
  }
  return false;
}
long long int gcd(long long int a, long long int b) {
  if (a % b == 0) {
    return b;
  } else
    return gcd(b, a % b);
}
long long int lcm(long long int a, long long int b) {
  if (a == 0) {
    return b;
  }
  return a / gcd(a, b) * b;
}
template <class T>
void SO(T& ve) {
  sort(ve.begin(), ve.end());
}
template <class T>
void REV(T& ve) {
  reverse(ve.begin(), ve.end());
}
template <class T>
long long int LBI(const vector<T>& ar, T in) {
  return lower_bound(ar.begin(), ar.end(), in) - ar.begin();
}
template <class T>
long long int UBI(const vector<T>& ar, T in) {
  return upper_bound(ar.begin(), ar.end(), in) - ar.begin();
}
int main(void) {
  int n, K, i, j;
  cin >> n >> K;
  n = K + 1;
  int syo = -1;
  int ans = 0;
  for (i = 1; i <= n; i++) {
    cout << '?';
    for (j = 1; j <= n; j++) {
      if (i == j) {
        continue;
      }
      cout << ' ' << j;
    }
    cout << endl;
    int A, B;
    cin >> A >> B;
    if (chmax(syo, B)) {
      ans = 0;
    }
    if (syo == B) {
      ans++;
    }
  }
  cout << "! " << ans << endl;
  return 0;
}
