#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 ;
				if (j != n - 1) {
					cout << " ";
				}
			}
		}
		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;
			if (i != n - 1)cout << " ";
		}
	}
	fflush(stdout);
}