#include "bits/stdc++.h" using namespace std; using ll = long long; using pii = pair; using pll = pair; using vi = vector; using vl = vector; using vvi = vector; using vvl = vector; const ll INF = 1LL << 60; const ll MOD = 1000000007; template bool chmax(T &a, const T &b) { return (a < b) ? (a = b, 1) : 0; } template bool chmin(T &a, const T &b) { return (b < a) ? (a = b, 1) : 0; } template void print(const C &c, std::ostream &os = std::cout) { std::copy(std::begin(c), std::end(c), std::ostream_iterator(os, " ")); os << std::endl; } int main() { int n; cin >> n; vector ret; for (int i = 1; i <= n; ++i) { cout << "? " << n - 1 << endl; vi a; for (int j = 1; j <= n; ++j) { if (j != i) a.push_back(j); } print(a); int ans; cin >> ans; if (ans == 0) ret.push_back(i); } cout << "! " << ret.size() << "\n"; print(ret); return 0; }