#include <bits/stdc++.h>
using namespace std;

int main() {
  ios::sync_with_stdio(false);

  int N;
  cin >> N;

  auto query = [N](int v) {
    cout << "? " << N - 1 << endl;
    for (int i = 0; i < N; ++i) {
      if (i == v) continue;
      cout << i + 1 << " ";
    }
    cout << endl;
    int res;
    cin >> res;
    return res;
  };

  vector<int> need;
  for (int i = 0; i < N; ++i) {
    if (!query(i)) {
      need.push_back(i);
    }
  }

  cout << "! " << need.size() << endl;
  for (int i = 0; i < need.size(); ++i) {
    cout << need[i] << " \n"[i + 1 == need.size()];
  }

  return 0;
}