#include <bits/stdc++.h>
using namespace std;
bool vowl(char c) {
  return c == 'a' || c == 'e' || c == 'i' || c == 'o' || c == 'u';
}
long long int power(long long int x, long long int y, long long int p) {
  long long int res = 1;
  x = x % p;
  while (y > 0) {
    if (y & 1) res = (res * x) % p;
    y = y >> 1;
    x = (x * x) % p;
  }
  return res;
}
bool check(long long int n, long long int p) {
  if (power(n, (p - 1) / 2, p) == 1) return true;
  return false;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.tie(NULL);
  ;
  int test, i, j, n, a, b, k;
  cin >> n >> k;
  vector<int> res;
  for (i = 1; i <= k + 1; i++) {
    cout << "? ";
    for (j = 1; j <= k + 1; j++) {
      if (j != i) {
        cout << j << " ";
      }
    }
    cout.flush();
    cin >> a >> b;
    res.push_back(b);
  }
  int maxi = 0;
  for (i = 0; i < res.size(); i++) {
    maxi = max(maxi, res[i]);
  }
  int count = 0;
  for (i = 0; i < res.size(); i++) {
    if (res[i] == maxi) {
      count++;
    }
  }
  cout << "! " << count << "\n";
  return 0;
}
