#include <bits/stdc++.h>
using namespace std;

//repetition
#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define rep(i, n) for(ll i = 0; i < (ll)(n); i++)

//container util
#define all(x) (x).begin(),(x).end()

//typedef
typedef long long ll;
typedef vector<int> VI;
typedef vector<VI> VVI;
typedef vector<ll> VLL;
typedef vector<VLL> VVLL;
typedef vector<string> VS;
typedef pair<int, int> PII;
typedef pair<ll, ll> PLL;

//const value
//const ll MOD = 1e9 + 7;
//const int dx[] = {0,1,0,-1};//{0,0,1,1,1,-1,-1,-1};
//const int dy[] = {1,0,-1,0};//{1,-1,0,1,-1,0,1,-1};

//conversion
inline int toInt(string s) {int v; istringstream sin(s);sin>>v;return v;}
inline ll toLL(string s) {ll v; istringstream sin(s);sin>>v;return v;}
template<class T> inline string toString(T x) {ostringstream sout;sout<<x;return sout.str();}


int main(){
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n;
  cin >> n;
  bool ok[n];
  memset(ok,true,sizeof(ok));

  int out = n;
  rep(i,n){
    if(out == 2) break;
    cout << "? " << out - 1 << endl;
    rep(j,n){
      if(ok[j] && j != i){
        cout << j+1 << " ";
      }
    }
    cout << endl;
    int res;
    cin >> res ;
    if(res == 1){
      ok[i] = false;
      out--;
    } 
  }
  cout << "! " << out << endl;
  rep(i,n){
    if(ok[i]) cout << i+1 << " ";
  }
  cout << endl;
  return 0;
}