#include<bits/stdc++.h>
int main(){
    int n;std::cin>>n;
    std::vector<int>a;
    for(int i=0;i<n;i++){
        std::cout<<"? "<<n-1<<std::endl;
        for(int j=0;j<n;j++){
            if(i==j)continue;
            std::cout<<(j==!i?"":" ")<<j+1;
        }
        std::cout<<std::endl;
        int x;std::cin>>x;
        if(x)a.push_back(i+1);
    }
    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;
}