#include<bits/stdc++.h>
using namespace std;
mt19937 mt(time(NULL));
constexpr int M=10005;
int n,ans,ans1,ans2,vis[M];
int main(){
	cin>>n; cout<<"? "<<n;
	for (int i=1;i<=n;i++) cout<<" "<<i;cout<<endl;
	cin>>ans;
	for (int k=1;k<30;k++){ int sum=0;
		for (int i=1;i<=n;i++) vis[i]=mt()&1,sum+=vis[i];
		cout<<"? "<<sum;
		for (int i=1;i<=n;i++) if (vis[i]) cout<<" "<<i;cout<<endl;
		cin>>ans1;
		cout<<"? "<<n-sum;
		for (int i=1;i<=n;i++) if (!vis[i]) cout<<" "<<i;cout<<endl;
		cin>>ans2;
		if (ans1+ans2-ans&1) return cout<<"! NO"<<endl,0;
	}
	cout<<"! YES"<<endl;
	return 0;
}