#include "bits/stdc++.h"
using namespace std;
typedef long long int ll;
typedef vector<ll> vl;
typedef pair<ll, ll> PP;
#define rep(i,n) for(ll i = 0; i < ll(n); i++)
#define all(v) v.begin() , v.end()
#define inputv(v,n) rep(i,n){\
    ll x;\
    cin>>x;\
    v.push_back(x);\
    }
const ll INF = 999999999999999;
const ll MOD = 1000000007;
ll a, b, c, d, e, f, p, t, x, y, z, q, m, n, r, h, k, w, l, ans = 0;
int main() {
	set<ll> A;
	cin >> n;
	rep(i, n) {
		cout << "? "<<n-1 << endl;
		fflush(stdout);
		rep(j, n) {
			if (i != j) {
				cout << j + 1 << " ";
			}
		}
		fflush(stdout);
		cin >> x;
		if (x == 1)A.insert(i);
	}

	cout << "! " << n - A.size() << endl;
	fflush(stdout);
	rep(i, n) {
		if (A.count(i) == 0)cout << i + 1 << " " << endl;
	}
	fflush(stdout);
}