#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
std::mt19937 Random(std::chrono::system_clock::now().time_since_epoch().count());//时间随机

int main(){

    int n;
    cin>>n;
    std::uniform_int_distribution<> u(0,1);//不写默认int范围

    int all=0;

    cout<<"? ";
    cout<<n<<' ';
    for(int i=1;i<=n;i++)cout<<i<<' ';
    cout<<endl;
    cin>>all;

    bool flag=true;
    auto ask=[&](){
        vector<int>v[2];
        for(int i=1;i<=n;i++){
            int rand=u(Random);
            v[rand].push_back(i);
        }
        int ans0=0,ans1=0;
        if(v[0].size()!=0){
            cout<<"? ";
            cout<<v[0].size()<<' ';
            for(auto x:v[0])cout<<x<<' ';
            cout<<endl;
            cin>>ans0;
        }
        if(v[1].size()!=0){
            cout<<"? ";
            cout<<v[1].size()<<' ';
            for(auto x:v[1])cout<<x<<' ';
            cout<<endl;
            cin>>ans1;
        }
        int left=all-ans0-ans1;
        if(left&1)flag=false;
    };
    for(int i=1;i<=29;i++)ask();

    if(flag)cout<<"! YES"<<endl;
    else cout<<"! NO"<<endl;
}