#include<bits/stdc++.h>
#define Yukinoshita namespace
#define Yukino std
using Yukinoshita Yukino;
int read()
{
	int s=0,w=1;
	char ch=getchar();
	while(ch<'0'||ch>'9') w=ch=='-'?-1:1,ch=getchar();
	while(ch>='0'&&ch<='9') s=s*10+ch-'0',ch=getchar();
	return s*w;
}
int main()
{
	int n,i,j,s;
	cin>>n;
	cout<<"? "<<n<<' ';
	for(i=1;i<=n;i++)
		cout<<i<<' ';
	cout<<endl;
	fflush(stdout);
	int c;
	cin>>c;
	c%=2;
	for(i=0;i<56/2;i++)
	{
		vector<int> rd,rc;
		for(j=1;j<=n;j++)
			if(rand()%2)
				rd.push_back(j);
			else rc.push_back(j);
		cout<<"? "<<rc.size()<<' ';
		for(auto x:rc)
			cout<<x<<' ';
		cout<<endl;
		fflush(stdout);
		int u;
		cin>>u;
		u=c^u%2;
		cout<<"? "<<rd.size()<<' ';
		for(auto x:rd)
			cout<<x<<' ';
		cout<<endl;
		int tp;
		cin>>tp;
		u=u^tp%2;
		if(u)
		{
			cout<<"! NO"<<endl;
			fflush(stdout);
			return 0;
		}
	}
	cout<<"! YES"<<endl;
	fflush(stdout);
}