#include<cstdio>
#include<cstdlib>
#include<ctime>
#include<algorithm>
#define N 300010
using namespace std;
int l1,l2,a[N],b[N],n,sum,s1,s2;
int query(int len,int*a)
{
	printf("? %d",len);
	for(int i=1;i<=len;i++) printf(" %d",a[i]);
	printf("\n");
	fflush(stdout);
	int s;
	scanf("%d",&s);
	return s;
}
bool check()
{
	l1=l2=0;
	for(int i=1;i<=n;i++)
		if(rand()&1) a[++l1]=i;
		else b[++l2]=i;
	s1=query(l1,a);
	s2=query(l2,b);
	return (sum-s1-s2)&1;
}
void no()
{
	printf("! NO\n");
	fflush(stdout);
}
void yes()
{
	printf("! YES\n");
	fflush(stdout);
}
int main()
{
	srand(time(0));
	scanf("%d",&n);
	printf("? %d",n);
	for(int i=1;i<=n;i++) printf(" %d",i);
	printf("\n");
	fflush(stdout);
	scanf("%d",&sum);
	for(int cnt=1;cnt<30;cnt++)
		if(check()){no();return 0;}
	yes();
}