#include <bits/stdc++.h>
using namespace std;
int main() {
  function<long long(vector<long long>)> ask = [&](vector<long long> arr) {
    cout << "?";
    for (auto&& v : arr) cout << " " << v;
    cout << endl;
    cout.flush();
    long long pos, ret;
    cin >> pos >> ret;
    return ret;
  };
  long long n, k;
  cin >> n >> k;
  n = k + 1;
  map<long long, long long> neki;
  for (long long i = 1; i < n + 1; ++i) {
    vector<long long> cur;
    for (long long j = 1; j < n + 1; ++j)
      if (j != i) cur.push_back(j);
    long long que = ask(cur);
    neki[que]++;
  }
  auto ans = neki.end();
  --ans;
  cout << "! " << ans->second << endl;
  cout.flush();
}
