The two versions have different constraints on (t), (n), and the maximum number of queries, and solving one of the two versions does not necessarily solve the other. You may want to read both versions. Hacks are disabled in both versions. This is an interactive problem. There is a hidden array (a_1, a_2, \ldots, a_{2n-1}) containing all the numbers from (1) to (n), and all of them appear twice except one (which only appears once). You can ask queries in the following format, where (S) is a subset of (\{1, 2, \ldots, 2n-1\}) and (x) is an integer in (1, n): (ask(S, x)): does there exist (i \in S) such that (a_i = x)? Find the number appearing exactly once, using at most (4n + 2 \lceil \log_2 n \rceil) queries. You don't need to find its position. Note that the interactor is not adaptive, which means that the hidden array does not depend on the queries you make. Each test contains multiple test cases. The first line contains the number of test cases (t) ((1 \le t \le 4000)). The description of the test cases follows. The first line of each test case contains a single integer (n) ((1 \le n \le 300)) — the maximum value in the hidden array (a_1, a_2, \ldots, a_{2n-1}). It is guaranteed that the sum of (n^2) over all test cases does not exceed (4 \cdot 10^5). There are exactly (80) tests in this problem (including the example). For each test case, first read a single integer (n). If the integer you read is (-1), it means that the answer to the previous test case was wrong, and you should exit immediately. You may ask up to (4n + 2 \lceil \log_2 n \rceil) queries in each test case. To ask a query, print a line in the format (? x |S| S_1 S_2 ... S_|S|) with (1 \leq x \leq n), (1 \leq S_1, S_2, \ldots, S_{|S|} \leq 2n-1), and all the (S_i) distinct. As a response to the query, you will get (1) if the answer is yes, (0) if the