#include<bits/stdc++.h>
using namespace std;
mt19937 rnd(random_device{}());
int n,m;
vector<int> v1,v2;
int query(vector<int> v)
{
	cout<<"? "<<v.size()<<" ";
	for(auto i:v) cout<<i<<" ";
	cout<<endl<<"\n";
	int x;
	cin>>x;
	return x;
}
void end(int x)
{
	cout<<"! ";
	if(x==0) cout<<"NO";
	else cout<<"YES";
	exit(0);
}
int main()
{
	cin>>n;
	for(int i=1;i<=n;i++) v1.emplace_back(i);
	m=query(v1);
	for(int _=1;_<=29;_++)
	{
		v1.clear(),v2.clear();
		for(int i=1;i<=n;i++)
		{
			if(rnd()&1) v1.emplace_back(i);
			else v2.emplace_back(i);
		}
		int w=m-query(v1)-query(v2);
		if(w&1)
		{
			end(0);
		}
	}
	end(1);
}