B'This is an interactive problem. Don 't forget to flush output after printing queries using cout.flush() or fflush(stdout) in C++ or similar functions in other programming languages. There are n gift boxes in a row, numbered from 1 to n from left to right. It 's known that exactly k of them contain valuable gifts -- other boxes contain just lucky stones. All boxes look the same and differ only in weight. All boxes with stones have the same weight and are strictly heavier than boxes with valuable items. But valuable gifts may be different, so the boxes with valuable items may have different weights. You can ask no more than 50 queries (printing an answer doesn 't count). By each query you can compare total weights of two non-intersecting subsets of boxes a_1, a_2, ... , a_{k_a} and b_1, b_2, ... , b_{k_b} . In return you 'll get one of four results: Using such queries (or, maybe, intuition) find the box with a valuable gift with the minimum index. The input consists of several cases. In the beginning, you receive the integer T ( 1 <= T <= 500 ) -- the number of test cases. At the beginning of each test case, you receive two integers n and k ( 2 <= n <= 1000 , 1 <= k <= frac{n}{2} ) -- the number of boxes in a row and the number of boxes with valuable gifts. It 's guaranteed that the order of boxes is fixed beforehand and that the sum of n in one test doesn 't exceed 1000 . For each test case print the minimum index among all boxes with a valuable gift in the following format: "! x " where x ( 1 <= x <= n ) -- the index of the box. Print each query in three lines. In the first line print the sizes of subset in the following format: "? k_a k_b " where k_a and k_b ( 1 <= k_a, k_b <= n ; k_a + k_b <= n ) -- the corresponding sizes. In the second line print k_a integers a_1, a_2, ... , a_{k_a} ( 1 <= a'...