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

int main() {
  int n;
  cin >> n;
  vector<int> res;
  for (int i = 0; i < n; ++i) {
    cout << "? " << n - 1 << '\n';
    bool f = true;
    for (int j = 0; j < n; ++j) {
      if (j != i) {
        if (!f) {
          cout << ' ';
        }
        f = false;
        cout << j + 1;
      }
    }
    cout << endl;
    int ans;
    cin >> ans;
    if (ans == 0) {
      res.push_back(i);
    }
  }
  int k = res.size();
  cout << k << '\n';
  for (int i = 0; i < k; ++i) {
    cout << res[i] + 1 << " \n"[i == k - 1];
  }
}