#include <bits/stdc++.h>
#define LL long long
using namespace std;
bool fl[1000000];
signed main(){
	ios::sync_with_stdio(0);
	cin.tie(0);
	cout.tie(0);
	int n,m;
	cin>>n;
	cout<<"? "<<n<<' ';
	for(int i=1;i<=n;i++) cout<<i<<' ';
	cout<<endl;
	cin>>m;
	mt19937 random(time(0));
	for(int T=1;T<30;T++){
		int cnt=0,val1,val2;
		for(int i=1;i<=n;i++){
			fl[i]=random()%2;
			cnt+=fl[i];
		}
		cout<<"? "<<n-cnt<<' ';
		for(int i=1;i<=n;i++) if(fl[i]==0) cout<<i<<' ';
		cout<<endl;
		cin>>val1;
		cout<<"? "<<cnt<<' ';
		for(int i=1;i<=n;i++) if(fl[i]==1) cout<<i<<' ';
		cout<<endl;
		cin>>val2;
		if((m-val1-val2)&1){
			cout<<"! NO\n";
			return 0;
		}	
	}
	cout<<"! YES\n";
	return 0;
}