#include "bits/stdc++.h" using namespace std; typedef long long ll; const int INF = (1<<30); const ll INFLL = (1ll<<60); const ll MOD = (ll)(1e9+7); #define l_ength size void mul_mod(ll& a, ll b){ a *= b; a %= MOD; } void add_mod(ll& a, ll b){ a = (ai || ans[j]){ ++m; ask[j] = true; } } printf("? %d\n",m); for(j=1; j<=n; ++j){ if(ask[j]){ printf("%d",j); --m; if(m){ printf(" "); } } } printf("\n"); fflush(stdout); scanf("%d",x); ans[j] = (!x); } for(i=1; i<=n; ++i){ if(ans[j]){ ++m; } } printf("! %d\n",m); for(j=1; j<=n; ++j){ if(ans[j]){ printf("%d",j); --m; if(m){ printf(" "); } } } printf("\n"); fflush(stdout); return 0; }