#include<bits/stdc++.h>
using namespace std;
#define REP(i,m,n) for(int i=(m);i<(n);i++)
#define rep(i,n) REP(i,0,n)
#define pb push_back
#define all(a) a.begin(),a.end() 
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
const int inf=1e9+7;
int main(){
    ll n;cin>>n;
    vector<ll>ans(0);
    ll a;
    rep(i,n){
        cout<<'?'<<' '<<n-1<<endl;
        rep(j,n){
            if(i!=j)cout<<j+1<<' ';
        }
        cin>>a;
        if(!a)ans.pb(i+1);
        cout<<endl;
    }
    cout<<'!'<<' '<<ans.size()<<endl;
    rep(i,ans.size()){
        cout<<ans[i]<<' ';
    }
    cout<<endl;
}