#include <bits/stdc++.h>
using namespace std;
long long mod = 1e9 + 7;
long long n, k, mx;
map<long long, int> num;
int main() {
  cin >> n >> k;
  for (int i = 1; i <= k + 1; i++) {
    cout << '?' << ' ';
    for (int j = 1; j <= k + 1; j++) {
      if (i == j) continue;
      cout << j << ' ';
    }
    cout << endl;
    long long x, y;
    cin >> x >> y;
    num[y]++;
    mx = max(mx, y);
  }
  cout << '!' << ' ' << num[mx];
}
