Rainbow Coins

Carl has $$$n$$$ coins of various colors, and he would like to sort them into piles. The coins are labeled $$$1,2,\ldots,n$$$, and each coin is exactly one of red, green, or blue. He would like to sort the coins into three different piles so one pile contains all red coins, one pile contains all green coins, and one pile contains all blue coins.

Unfortunately, Carl is colorblind, so this task is impossible for him. Luckily, he has a friend who can take a pair of coins and tell Carl if they are the same color or not. Using his friend, Carl believes he can now sort the coins. The order of the piles doesn't matter, as long as all same colored coins are in the one pile, and no two different colored coins are in the same pile.

His friend will answer questions about multiple pairs of coins in batches, and will answer about all of those pairs in parallel. Each coin should be in at most one pair in each batch. The same coin can appear in different batches.

Carl can use only $$$7$$$ batches. Help him find the piles of coins after sorting.

You will be given multiple test cases. The first line contains an integer $$$t$$$ $$$(1 \leq t \leq 5$$$) — the number of test cases.

The first line of each test case contains one integer $$$n$$$ ($$$1 \leq n \leq 10^5$$$) — the number of coins. If you read in a value of $$$-1$$$ here, that means that you printed an invalid answer in the previous case and exit immediately to avoid getting other verdicts.

To ask a question, print "Q $$$k\ x_1\ y_1\ \ldots\ x_k\ y_k$$$" ($$$1 \leq k \leq n/2, 1 \leq x_i,y_i \leq n, x_i \neq y_i$$$). $$$k$$$ denotes the number of pairs in the batch, and $$$x_i, y_i$$$ denote the $$$i$$$-th pair of coins in the batch. A coin can only appear at most once in a batch. All $$$x_i$$$ and $$$y_i$$$ should be distinct.

The judge will respond with a bitstring of length $$$k$$$, where the $$$i$$$-th character is "1" if $$$x_i$$$ and $$$y_i$$$ are the same color, and "0" otherwise. The judge will respond with $$$-1$$$ if you ever ask an invalid query. Make sure to exit immediately to avoid getting other verdicts.

When you are ready to answer, print four lines.

The first line contains "A $$$k_1\ k_2\ k_3$$$" ($$$0 \leq k_1,k_2,k_3$$$ and $$$k_1+k_2+k_3 = n$$$). These denote the sizes of the three piles.

The next line has $$$k_1$$$ integers, the labels of the coins in the first pile.

The next line has $$$k_2$$$ integers, the labels of the coins in the second pile.

The next line has $$$k_3$$$ integers, the labels coins in the third pile.

Each coin must appear in exactly one pile.

You may only ask at most $$$7$$$ batches per test case.

After printing a query and the answer do not forget to output end of line and flush the output. Otherwise, you will get Idleness limit exceeded. To do this, use:

• fflush(stdout) or cout.flush() in C++;
• System.out.flush() in Java;
• flush(output) in Pascal;
• stdout.flush() in Python;
• see documentation for other languages.

Hack Format

To hack, use the following format. Note that you can only hack with one test case.

The first line should contain a single integer $$$t$$$ ($$$t=1$$$).

The second line should contain a single string $$$s$$$ consisting of only the characters "R", "G", "B" ($$$1 \leq |s| \leq 10^5$$$). The $$$i$$$-th character in this string represents the color of the $$$i$$$-th coin.