#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using i64 = int64_t; using i32 = int32_t; int main() { int n; cin >> n; vector res; for (int i = 1; i <= n; ++i) { cout << "? " << n - 1 << '\n'; for (int j = 1; j <= n; ++j) { if (j == i) continue; cout << j << ' '; } cout << endl; char c; cin >> c; if (c == '0') { res.push_back(i); } } cout << "! " << res.size() << '\n'; for (int x : res) cout << x << ' '; cout << endl; return 0; }