#include <bits/stdc++.h>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;


int main(){
  int N;
  cin >> N;

  vector<int> v(N, 1);
  rep(i,N){
    cout << "? " << N-1 << endl;
    bool flg = false;
    vector<int> tmp;
    rep(j,N){
      if(i != j) tmp.push_back(j+1);
    }
    rep(j,tmp.size()){
      if(j>0) cout << " ";
      cout << tmp[j];
    }
    cout << endl;
    int res;
    cin >> res;
    v[i] = res;
  }

  vector<int> ret;
  rep(i,N) if(v[i] == 0) ret.push_back(i+1);
  
  cout << "! " << ret.size() << endl;
  rep(i,ret.size()){
    if(i>0) cout << " ";
    cout << ret[i];
  }
  cout << endl;
  
  return 0;
}