#include<bits/stdc++.h>
#define REP(i,n) for(int i=0,i##_len=(n);i<i##_len;++i)
#define rep(i,a,b) for(int i=int(a);i<int(b);++i)
#define All(x) (x).begin(),(x).end()
using namespace std;
using ll = long long;

int main(){
    int N;cin>>N;
    vector<int> ans;
    REP(i,N){
        cout<<"? "<<N-1<<endl;
        REP(j,N) if(j!=i) cout<<j+1<<" \n"[j==((i!=N-1)?N-1:N-2)];
        fflush(stdout);
        int a;
        cin>>a;
        if(a==1) ans.push_back(i+1);
    }
    cout<<"! "<<ans.size()<<endl;
    REP(i,ans.size()) cout<<ans[i]<<" \n"[i+1==ans.size()];
}