#include<bits/stdc++.h>
using namespace std;
const int N=1919810;
typedef long long ll;
typedef pair<ll,ll> PII;
int n,m,k;
int a[N],b[N];
char s[N];
vector<PII> e[N];
int d[N];
bool tf[N];


int query(vector<int> &v){
    cout<<"? "<<v.size()<<" ";
    for(auto x:v) cout<<x<<" ";
    cout<<endl;
    int x;
    cin>>x;
    return x;
}

mt19937 rnd(time(0));
int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
    cin>>n;
    vector<int> v;
    for(int i=1;i<=n;i++) v.push_back(i);
    int tot=query(v);
    if(tot<n){
        cout<<"! NO"<<endl;
        return 0;
    }
    for(int i=1;i<=30;i++){
        vector<int> v1,v2;
        while(!v1.size()||!v2.size()){
            v1.clear(),v2.clear();
            for(int j=1;j<=n;j++){
            int x=rnd()%2;
            if(x) v2.push_back(j);
            else v1.push_back(j);
            }
        }
        
        
            if((tot-query(v1)-query(v2))%2){
                cout<<"! NO"<<endl;
                return 0;
            }
        
    }
    cout<<"! YES"<<endl;
}