#include <bits/stdc++.h>
using namespace std;
void boost() {
  cin.tie();
  ios_base::sync_with_stdio(false);
}
long long bin_pow(long long a, long long n, long long m) {
  if (n == 0) return 1;
  if (n % 2 == 1)
    return bin_pow(a, n - 1, m) * a % m;
  else {
    long long b = bin_pow(a, n / 2, m);
    return b * b % m;
  }
}
int bin_search(vector<int> a, int k) {
  int l = -1;
  int r = a.size() - 1;
  while (r > l + 1) {
    int m = l + (r - l) / 2;
    if (a[m] >= k) {
      r = m;
    } else {
      l = m;
    }
  }
  return r;
}
void solve_test() {
  int n;
  cin >> n;
  vector<long long> a(n);
  for (int i = 0; i < n; i++) cin >> a[i];
  long long s = 0;
  long long x = 0;
  for (int i = 0; i < n; i++) {
    s += a[i];
    x ^= a[i];
  }
  vector<long long> ans;
  if (s % 2 == 1) {
    ans.push_back(1000000000000001LL);
  } else {
    ans.push_back(1000000000000000LL);
  }
  s += ans[0];
  x ^= ans[0];
  ans.push_back((x * 2 - s) / 2);
  ans.push_back((x * 2 - s) / 2);
  cout << ans.size() << "\n";
  for (long long aa : ans) {
    cout << aa << " ";
  }
  cout << "\n";
}
pair<int, int> req(vector<int> v) {
  cout << "?";
  for (int i : v) {
    cout << " " << i;
  }
  cout << "\n" << flush;
  int a, b;
  cin >> a >> b;
  return {a, b};
}
vector<int> repl(vector<int> a, int i, int v) {
  a[i] = v;
  return a;
}
int main() {
  boost();
  int n, k;
  cin >> n >> k;
  vector<int> a;
  for (int i = 0; i < k; i++) {
    a.push_back(i + 1);
  }
  pair<int, int> fst = req(a);
  fst.first;
  set<int> f, s;
  int r;
  for (int i = 0; i < k; i++) {
    if (a[i] != fst.first) {
      pair<int, int> tmp = req(repl(a, i, k + 1));
      if (tmp != fst) {
        f.insert(a[i]);
      } else {
        s.insert(a[i]);
      }
    } else {
      r = i;
    }
  }
  pair<int, int> last = req(repl(a, r, k + 1));
  if (f.count(last.first) == 1) {
    if (last.second < fst.second) {
      cout << "! " << (f.size() + 1);
    } else {
      cout << "! " << (s.size() + 1);
    }
    return 0;
  }
  if (last.second < fst.second) {
    cout << "! " << (s.size() + 1);
  } else {
    cout << "! " << (f.size() + 1);
  }
  return 0;
}
