#include <bits/stdc++.h>

using namespace std;

#define int long long

std::mt19937_64 mrand(std::chrono::steady_clock().now().time_since_epoch().count());

int rnd(int l, int r) {
    return mrand() % (r - l + 1) + l;
}


int query(std::vector<int> q) {
    std::cout << "? " << q.size() << " ";
    for (auto x : q) {
        std::cout << x << " ";
    }
    std::cout << std::endl;

    int x;
    std::cin >> x;
    return x;
}

void solve() {
    int n;
    std::cin >> n;
    std::vector<int> all;
    for (int i = 1; i <= n; i++) {
        all.push_back(i);
    }

    int tot = query(all);
    bool flag = true;
    for (int i = 1; i <= 29; i++) {
        std::vector<int> a, b;
        for (int i = 1; i <= n; i++) {
            if (rnd(0, 1)) {
                a.push_back(i);
            } else {
                b.push_back(i);
            }
        }

        int x = query(a);
        int y = query(b);
        if ((tot - x - y) % 2 == 1) {
            flag = false;
            break;
        }
    }

    std::cout << (flag ? "! YES" : "! NO") << std::endl;
}

signed main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(0);

    int t = 1;
    // std::cin >> t;

    while(t --) {
        solve();
    }
}