#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using Vi = vector<int>;
bool query(const Vi& a) {
	cout << "? " << a.size();
	for (auto& b : a) cout << " " << b;
	cout << endl;
	string s;
	cin >> s;
	return s == "Yes";
}
int main () {
	int N;
	cin >> N;
	Vi cnt(N, 0);
	{
		Vi A;
		for (int i = 0; i < N; i ++) {
			A = {i+1};
			while (query(A)) {
				A.push_back(i+1);
			}
			cnt[i] = A.size() - 1;
		}
	}
	
}