// I SELL YOU...! 
#include<iostream>
#include<vector>
#include<algorithm>
#include<functional>
#include<queue>
#include<set>
using namespace std;
typedef long long ll;
typedef pair<ll,ll> P;
signed main(){
  ll n,res;
  cin >> n;
  set<ll> mzs;
  for(int i=1;i<=n;i++){
    cout <<"? "<<n-1<<"\n";
    for(int j=1;j<=n;j++){
      if(i==j) continue;
      cout << j;
      if(j!=n) cout <<" ";
    }
    cout << endl;
    cin >> res;
    if(res==0){
      mzs.insert(i);
    }
  }
  cout << "! "<<mzs.size()<<"\n";
  for(auto i:mzs){
    cout << i<<" ";
  }
  cout << endl;
}