#include "bits/stdc++.h" using namespace std; typedef long long int ll; typedef vector vl; typedef pair PP; #define rep(i,n) for(ll i = 0; i < ll(n); i++) #define all(v) v.begin() , v.end() #define inputv(v,n) rep(i,n){\ ll x;\ cin>>x;\ v.push_back(x);\ } const ll INF = 999999999999999; const ll MOD = 1000000007; ll a, b, c, d, e, f, p, t, x, y, z, q, m, n, r, h, k, w, l, ans = 0; int main() { set A; cin >> n; rep(i, n) { cout << "? n-1" << endl; fflush(stdout); rep(j, n) { if (i != j) { cout << j+1 ; if (j != n - 1) { cout << " "; } } } fflush(stdout); cin >> x; if (x == 1)A.insert(i); } cout << "! " << n-A.size() << endl; fflush(stdout); rep(i, n) { if (A.count(i) == 0) { cout << i + 1 << endl; if (i != n - 1)cout << " "; } } fflush(stdout); }