#include<bits/stdc++.h>
using namespace std;
using Int = long long;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}

//INSERT ABOVE HERE
int ask(int n,int e){
  cout<<n-1<<endl;
  cout<<"?";
  for(int i=0;i<n;i++)
    if(i!=e) cout<<" "<<i+1;
  cout<<endl;
  int res;
  cin>>res;
  return res;
}

signed main(){
  int n;
  cin>>n;
  set<int> ans;
  for(int i=0;i<n;i++)
    if(ask(n,i)) ans.emplace(i);
  cout<<"! "<<ans.size()<<endl;
  for(int b:ans) cout<<b+1<<" ";
  cout<<endl;
  return 0;
}