#include <bits/stdc++.h>
using namespace std;

int n, m;

vector<int> cs(vector<int> S) {
	vector<int> st(n + 1, 0), ans;
	for (auto i : S) st[i] = 1; 
	for (int i = 1; i <= n; i ++)
		if (!st[i]) ans.push_back(i);
	return ans;
}
int ask(vector<int> S) {
	int C1 = 0, C2 = 0;
	if (S.size() > 1) {
		cout << "? " << S.size() << " ";
		for (auto i : S) cout << i << " ";
		cout << endl;
		cin >> C1;
	}
	if (n - S.size() > 1) {
		vector<int> Cv = cs(S);
		cout << "? " << Cv.size() << " ";
		for (auto i : Cv) cout << i << " ";
		cout << endl;
		cin >> C2;
	}
	return C1 * 2 + m - C1 - C2;
}

int main() {
	cin >> n;
	cout << "? " << n << " ";
	for (int i = 1; i <= n; i ++) cout << i << " ";
	cout << endl;
	cin >> m;
	
	vector<int> base = {2, 3, 5, 7, 11};
	for (auto v : base) {
		if (v > n) break;
		for (int i = 0; i < v - 1; i ++) {
			vector<int> S;
			for (int j = v; i + j <= n; j += v) S.push_back(i + j);
			if (!S.size()) continue;
			if (ask(S) & 1) {
				cout << "! NO" << endl;
				return 0;
			}
		}
	}
	cout << "! YES" << endl;
}