#include <bits/stdc++.h>
using namespace std;

int main(){
    int N; cin>>N;
    vector<bool> flag(N);
    for(int i=1;i<=N;i++){
        cout<<"? "<<N-1<<endl;
        for(int j=1;j<=N;j++){
            if(i!=j){
                if(i!=N&&j==N) cout<<j<<endl;
                else if(i==N&&j==N-1) cout<<j<<endl;
                else cout<<j<<" ";
            }
        }
        bool ans; cin>>ans;
        flag[i-1]=ans;
    }
    vector<int> ansv;
    for(int i=0;i<N;i++) if(flag[i]==false) ansv.emplace_back(i+1);
    cout << "! " << ansv.size() << endl;
    for(int i=0;i<ansv.size();i++){
        if(i==N) cout<<ansv[i]<<endl;
        else cout<<ansv[i]<<" ";
    }
    return 0;
}