#include<bits/stdc++.h>
int main(){
    int n;std::cin>>n;
    std::vector<int>a;
    for(int i=1;i<=n;i++){
        std::cout<<"? "<<n-1<<std::endl;
        bool ckd=false;
        for(int j=1;j<=n;j++){
            if(i==j)continue;
            std::cout<<(std::exchange(ckd,true)?" ":"")<<j;
        }
        std::cout<<std::endl;
        int x;std::cin>>x;
        if(!x)a.push_back(i);
    }
    std::cout<<"! "<<a.size()<<std::endl;
    for(int i=0;i<(int)a.size();i++){
        std::cout<<(i?" ":"")<<a.at(i);
    }
    std::cout<<std::endl;
}