More Wrong

This is an interactive problem.

The jury has hidden a permutation$$$^\dagger$$$ $$$p$$$ of length $$$n$$$.

In one query, you can pick two integers $$$l$$$ and $$$r$$$ ($$$1 \le l < r \le n$$$) by paying $$$(r - l)^2$$$ coins. In return, you will be given the number of inversions$$$^\ddagger$$$ in the subarray $$$[p_l, p_{l + 1}, \ldots p_r]$$$.

Find the index of the maximum element in $$$p$$$ by spending at most $$$5 \cdot n^2$$$ coins.

Note: the grader is not adaptive: the permutation is fixed before any queries are made.

$$$^\dagger$$$ A permutation of length $$$n$$$ is an array consisting of $$$n$$$ distinct integers from $$$1$$$ to $$$n$$$ in arbitrary order. For example, $$$[2,3,1,5,4]$$$ is a permutation, but $$$[1,2,2]$$$ is not a permutation ($$$2$$$ appears twice in the array), and $$$[1,3,4]$$$ is also not a permutation ($$$n=3$$$ but there is $$$4$$$ in the array).

$$$^\ddagger$$$ The number of inversions in an array is the number of pairs of indices $$$(i,j)$$$ such that $$$i < j$$$ and $$$a_i > a_j$$$. For example, the array $$$[10,2,6,3]$$$ contains $$$4$$$ inversions. The inversions are $$$(1,2),(1,3),(1,4)$$$, and $$$(3,4)$$$.

The interaction for each test case begins by reading the integer $$$n$$$.

To make a query, output "? l r" ($$$1 \le l < r \le n$$$) without quotes. Afterwards, you should read one single integer — the answer for your query.

If you receive the integer $$$-1$$$ instead of an answer or a valid value of $$$n$$$, it means your program has made an invalid query, has exceed the limit of queries, or has given an incorrect answer on the previous test case. Your program must terminate immediately to receive a Wrong Answer verdict. Otherwise you can get an arbitrary verdict because your solution will continue to read from a closed stream.

When you are ready to give the final answer, output "! i" ($$$1 \le i \le n$$$) without quotes — the index of the maximum of the hidden permutation. After solving a test case, your program should move to the next one immediately. After solving all test cases, your program should be terminated immediately.

After printing a query 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.

Hacks

To hack, use the following format:

The first line contains an integer $$$t$$$ ($$$1 \le t \le 100$$$) — the number of test cases.

The first line of each test case contains a single integer $$$n$$$ ($$$2 \le n \le 2000$$$) — the length of the hidden permutation $$$p$$$.

The second line of each test case contains $$$n$$$ integers $$$p_1,p_2,\ldots, p_n$$$ ($$$1 \le p_i \le n$$$), $$$p$$$ must be a permutation.

The sum of $$$n$$$ over all test cases should not exceed $$$2000$$$.