#include <bits/stdc++.h>

#define File(a) freopen(a ".in", "r", stdin), freopen(a ".out", "w", stdout)

int query(std::vector<int> V);

std::random_device rd;
std::mt19937_64 rnd(rd());

int main() {
  int n;
  scanf("%d", &n);
  std::vector<int> V;
  for (int i = 1; i <= n; ++i) V.push_back(i);
  int m = query(V);
  for (int i = 1; i <= 29; ++i) {
    std::vector<int> V[2];
    for (int j = 1; j <= n; ++j) V[rnd() & 1].push_back(j);
    if ((m - query(V[0]) - query(V[1])) & 1) {
      puts("! NO");
      return 0;
    }
  }
  puts("! YES");
  return 0;
}

int query(std::vector<int> V) {
  printf("? %d", (int)V.size());
  for (int i : V) printf(" %d", i);
  puts("");
  fflush(stdout);
  int ans;
  scanf("%d", &ans);
  return ans;
}