#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;
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;
	for(int i = 1; i <= 60; i++) {
		shuffle(a + 1, a + n + 1, rnd);
		cout << "? " << (n + 1) / 2;
		for(int j = 1; j <= (n + 1) / 2; j++) cout << " " << a[j];
		cout << endl;
		int x; cin >> x;
		if(x % 2) {
			cout << "! NO" << endl;
			return 0;
		}
	}
	cout << "! YES" << endl;
	return 0;
}