#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
template<class T> void check_min(T &a, const T &b){ a = (a < b) ? a : b; }
template<class T> void check_max(T &a, const T &b){ a = (a > b) ? a : b; }
#define all(x) (x).begin(), (x).end()

const int N = 1e4 + 3;

int n;

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

int main(){
    ios::sync_with_stdio(false);
    cin.tie(NULL);

    cin >> n;

    vector<int> v(n);
    iota(all(v), 1);
    int all = query(v);

    mt19937 mt(17);
    bool ok = true;
    for(int i = 0; i < 29; ++i){
        vector<int> v1, v2;
        for(int j = 1; j <= n; ++j){
            if(mt() & 1)
                v1.push_back(j);
            else
                v2.push_back(j);
        }

        int r1 = query(v1);
        int r2 = query(v2);
        if((r1 + r2 + all) & 1)
            ok = false;
    }

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