#include "bits/stdc++.h"
using namespace std;
typedef long long ll;
const int INF = (1<<30);
const ll INFLL = (1ll<<60);
const ll MOD = (ll)(1e9+7);

#define l_ength size

void mul_mod(ll& a, ll b){
	a *= b;
	a %= MOD;
}

void add_mod(ll& a, ll b){
	a = (a<MOD)?a:(a-MOD);
	b = (b<MOD)?b:(b-MOD);
	a += b;
	a = (a<MOD)?a:(a-MOD);
}

bool ask[1010],ans[1010];

int main(void){
	int n,i,j,m,x;
	scanf("%d",&n);
	for(i=1; i<=n; ++i){
		for(j=1; j<=n; ++j){
			m = 0;
			if(j>i || ans[j]){
				++m;
				ask[j] = true;
			}
		}
		printf("? %d\n",m);
		for(j=1; j<=n; ++j){
			if(ask[j]){
				printf("%d",j);
				--m;
				if(m){
					printf(" ");
				}
			}
		}
		printf("\n");
		fflush(stdout);
		scanf("%d",x);
		ans[j] = (!x);
	}
	for(i=1; i<=n; ++i){
		if(ans[j]){
			++m;
		}
	}
	printf("! %d\n",m);
	for(j=1; j<=n; ++j){
		if(ans[j]){
			printf("%d",j);
			--m;
			if(m){
				printf(" ");
			}
		}
	}
	printf("\n");
	fflush(stdout);
	return 0;
}