#include<iostream>
#include<algorithm>
#include<cmath>
#include<iomanip>
#include<set>
#include<map>
#include<queue>
#include<vector>
using namespace std;
typedef long long ll;
const int MOD=1e9+7;
int main() {
  cin.tie(0),cout.tie(0);
  ios::sync_with_stdio(false);
  int n;
  cin >> n;
  vector<int> ans;
  for(int i=1; i<=n; i++) {
    vector<int> v=ans;
    for(int j=i+1; j<=n; j++) {
      v.push_back(j);
    }
    if(v.size()<2) {
      ans.push_back(i);
      continue;
    }
    cout << '?' << " " << v.size() << endl;
    for(int j=0; j<v.size()-1; j++) {
      cout << v[j] << " ";
    }
    cout << v[v.size()-1] << endl;
    int x;
    cin >> x;
    if(!x) {
      ans.push_back(i);
    }
  }
  cout << '!' << " " << ans.size() << endl;
  for(int i=0; i<ans.size()-1; i++) {
    cout << ans[i] << " ";
  }
  cout << ans[ans.size()-1] << endl;
}