#include<bits/stdc++.h>
using namespace std;
inline int Query(vector<int>vec)
{
	printf("? %d ",(int)vec.size());
	for(auto u: vec)
		printf("%d ",u);
	printf("\n");
	fflush(stdout);
	int x;
	scanf("%d",&x);
	return x;
}
inline void Tell(bool res)
{
	puts(res?"! YES":"! NO");
	fflush(stdout);
}
bool g[10001];
int main(){
	mt19937 rand(time(0));
	
	int n;
	scanf("%d",&n);
	vector<int>A;
	for(int i=1;i<=n;i++)
		A.push_back(i);
	int m=Query(A);
	for(int T=1;T<=29;T++)
	{
		for(int i=1;i<=n;i++)
			g[i]=rand()%2;
		A.clear();
		for(int i=1;i<=n;i++)
			if(!g[i])
				A.push_back(i);
		int x=Query(A);
		A.clear();
		for(int i=1;i<=n;i++)
			if(g[i])
				A.push_back(i);
		int y=Query(A);
		int z=m-x-y;
		if((z&1))
		{
			Tell(false);
			return 0;
		}
	}
	Tell(true);

	return 0;
}