#include <bits/stdc++.h>
#ifdef dbg
#define D(...) fprintf(stderr, __VA_ARGS__)
#define DD(...) D(#__VA_ARGS__ " = "), debug_helper::debug(__VA_ARGS__), D("\n")
#include "C:\Users\wsyear\Desktop\OI\templates\debug.hpp"
#else
#define D(...) ((void)0)
#define DD(...) ((void)0)
#endif
#define rep(i, j, k) for (int i = (j); i <= (k); ++i)
#define per(i, j, k) for (int i = (j); i >= (k); --i)
#define SZ(v) int((v).size())
#define ALL(v) (v).begin(),(v).end()
#define fi first
#define se second
using ll = long long;
using pii = std::pair<int, int>;
using pll = std::pair<ll, ll>;

using namespace std;

const int maxn = 10010;
mt19937 rnd(random_device{}());

int n, m, p[maxn];

int main() {
  // cin.tie(nullptr) -> ios::sync_with_stdio(false);
  cin >> n;
  rep (i, 1, n) p[i] = i;
  cout << "? " << n << " ";
  rep (i, 1, n) cout << i << " ";
  cout << endl, cin >> m;
  rep (_, 1, 29) {
    int x = 0, y = 0;
    shuffle(p + 1, p + n + 1, rnd);
    cout << "? " << n / 2 << " ";
    rep (i, 1, n / 2) cout << p[i] << " ";
    cout << endl, cin >> x;
    reverse(p + 1, p + n + 1);
    cout << "? " << (n + 1) / 2 << " ";
    rep (i, 1, (n + 1) / 2) cout << p[i] << " ";
    cout << endl, cin >> y;
    if ((m - x - y) & 1) return cout << "! NO" << endl, 0;
  }
  cout << "! YES" << endl;
}