#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 500010;
mt19937 rnd(chrono::system_clock::now().time_since_epoch().count());
int n, m;
int a[N];

int main() {
	ios::sync_with_stdio(0); cin.tie(nullptr);
	cin >> n;
	for(int i = 1; i <= n; i++) a[i] = i;
	cout << "? " << n;
	for(int i = 1; i <= n; i++) cout << " " << i;
	cout << endl;
	cin >> m;
	for(int i = 1; i <= 25; i++) {
		shuffle(a + 1, a + n + 1, rnd);
		int x, y;
		cout << "? " << n / 2;
		for(int j = 1; j <= n / 2; j++) cout << " " << a[j];
		cout << endl;
		cin >> x;
		cout << "? " << n - n / 2;
		for(int j = n / 2 + 1; j <= n; j++) cout << " " << a[j];
		cout << endl;
		cin >> y;
		if((m - x - y) % 2) {
			cout << "! NO" << endl;
			return 0;
		}
	}
	cout << "! YES" << endl;
	return 0;
}