#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<(int)(n); i++)
#define FOR(i,b,e) for (int i=(int)(b); i<(int)(e); i++)
#define ALL(x) (x).begin(), (x).end()

const double PI = acos(-1);

int ask(int x, int n) {
  cout << "? " << (n-1) << endl;
  REP (i, n) {
    if (i != x)
      cout << i+1 << " ";
  }
  cout << endl;
  cout.flush();
  int r;
  cin >> r;
  return r;
}

void answer(const vector<int> &v) {
  cout << "! " << v.size() << endl;
  for (auto x: v)
    cout << x+1 << " ";
  cout << endl;
  cout.flush();
}

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  int n;
  cin >> n;

  vector<int> needed(n);

  REP (i, n)
    needed[i] = !ask(i, n);

  vector<int> ret;
  REP (i, n) if (needed[i]) ret.push_back(i);
  answer(ret);
  
  return 0;
}