#include <bits/stdc++.h>
using namespace std;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
int n;
int qry(vector<int> &v){
	printf("? %u ",v.size());
	for(int i:v) printf("%d ",i);puts(""),fflush(stdout);
	int x;
	scanf("%d",&x);
	return x;
}
int main(){
	scanf("%d",&n);
	vector<int>v,u;
	for(int i=1;i<=n;i++) v.push_back(i);
	int m=qry(v);
	for(int _=0;_<29;_++){
		while(v.empty()||v.size()==n){
			v.clear(),u.clear();
			for(int i=1;i<=n;i++) ((rng()&1)?u:v).push_back(i);
		}
		int k=m-qry(u)-qry(v);
		if(k&1) puts("! NO"),fflush(stdout),exit(0);
		v.clear();
	}
	puts("! YES"),fflush(stdout);
}