// what is matter? never mind. 
#include<bits/stdc++.h>
#define For(i,a,b) for(int i=(a);i<=(b);++i)
#define Rep(i,a,b) for(int i=(a);i>=(b);--i)
//#define int long long 
using namespace std;
inline int read()
{
	char c=getchar();int x=0;bool f=0;
	for(;!isdigit(c);c=getchar())f^=!(c^45);
	for(;isdigit(c);c=getchar())x=(x<<1)+(x<<3)+(c^48);
	if(f)x=-x;return x;
}

#define fi first
#define se second
#define pb push_back
#define mkp make_pair
typedef pair<int,int>pii;
typedef vector<int>vi;

#define maxn 500005
#define inf 0x3f3f3f3f

int n,a[maxn];
mt19937 rnd(19890535);

signed main()
{
	cin>>n;
	cout<<"? "<<n;
	For(i,1,n)cout<<" "<<i;cout<<endl;
	int alls;cin>>alls;
	For(_,1,30){
		int cnt=0,s1=0,s2=0;
		for(int i=0;i<n;i+=32){
			unsigned x=rnd();
			for(int j=0;j<32&&i+j<n;++j)cnt+=a[i+j]=x>>j&1;
		}
		cout<<"? "<<cnt;
		For(i,0,n-1)if(a[i])cout<<" "<<i+1;
		cout<<endl;
		cin>>s1;
		cout<<"? "<<n-cnt;
		For(i,0,n-1)if(!a[i])cout<<" "<<i+1;
		cout<<endl;
		cin>>s2;
		if((alls-s1-s2)%2){
			cout<<"! NO";
			cout<<endl;
			exit(0);
		}
	}
	cout<<"! YES";cout<<endl;
	return 0;
}