Problem: Linda likes to change her hair color from time to time, and would be pleased if her boyfriend Archie would notice the difference between the previous and the new color. Archie always comments on Linda's hair color if and only if he notices a difference — so Linda always knows whether Archie has spotted the difference or not.

There is a new hair dye series in the market where all available colors are numbered by integers from 1 to N such that a smaller difference of the numerical values also means less visual difference.

Linda assumes that for these series there should be some critical color difference C (1 ≤ C ≤ N) for which Archie will notice color difference between the current color color_{new} and the previous color color_{prev} if \left|color_{new} - color_{prev}\right| ≥ C and will not if \left|color_{new} - color_{prev}\right| < C.

Now she has bought N sets of hair dye from the new series — one for each of the colors from 1 to N, and is ready to set up an experiment. Linda will change her hair color on a regular basis and will observe Archie's reaction — whether he will notice the color change or not. Since for the proper dye each set should be used completely, each hair color can be obtained no more than once.

Before the experiment, Linda was using a dye from a different series which is not compatible with the new one, so for the clearness of the experiment Archie's reaction to the first used color is meaningless.

Her aim is to find the precise value of C in a limited number of dyes. Write a program which finds the value of C by experimenting with the given N colors and observing Archie's reactions to color changes.

Interaction

This is an interactive task. In the beginning you are given a single integer T (1 ≤ T ≤ 100), the number of cases in the test.

For each test case, the input first contains a single integer — the value of N (1 < N ≤ 10^{18}). The value of C is kept secret by the grading system.

Then your program should make queries writing output in the following format: "? P", where P is an integer (1 ≤ P ≤ N) denoting the next color used. For each query the grading system gives an answer in the next line of the input. The answer is 1 if Archie notices the color difference between the last two colors and 0 otherwise. No two queries should have the same P value.

When your program determines C, it should output its value in the following format: "= C". The grading system will not respond to this output and will proceed with the next test case.

Your program may use at most 64 queries "?" for each test case to find the correct value of C.

To establish proper communication between your program and the grading system, you should flush the output stream after each query.

$$$\begin{array}{ll} Language & Command \\\ \hline C++ & std::cout << std::endl; \\\ Java & System.out.flush(); \\\ Python & sys.stdout.flush() \end{array}$$$ Flush commands 

Note that std::endl writes a newline and flushes the stream.

It is possible to receive an "Output isn't correct" outcome even after printing a correct answer, if task constraints were violated during the communication. Violating the communication protocol itself may result in an "Execution killed" outcome.

Submitting user tests requires specifying an input file with the testcase parameters. The format of the input file is "T" in the first line, and then "N C" on a single line for each of the T cases.

Scoring

Subtasks: 

  1. (9 points) N ≤ 64 
  2. (13 points) N ≤ 125 
  3. (21 points) N ≤ 1000 
  4. (24 points) N ≤ 10^9 
  5. (33 points) No further constraints. 

Example

Input


1

7

1

1

0

0

1


Output



? 2

? 7

? 4

? 1

? 5

= 4

Note

Comments to the example input line by line: 

  1. N = 7. 
  2. Answer to the first query is meaningless (can also be 0). 
  3. C ≤ 5. 
  4. 3 < C ≤ 5. It would be wise to check difference 4. However, this can not be done in the next query since 4 + 4 = 8 and 4 - 4 = 0 both are outside the allowed interval 1 ≤ P ≤ 7. 
  5. 3 < C ≤ 5. 
  6. 3 < C ≤ 4. Therefore, C = 4. 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
unordered_map<long long, bool> vis;
long long n;
int resp;
int ask(long long x) {
  printf("? %lld\n", x);
  fflush(stdout);
  scanf("%d", &resp);
  return resp;
}
void ans(long long x) {
  printf("= %lld\n", x);
  fflush(stdout);
}
void solve() {
  scanf("%lld", &n);
  vis.clear();
  if (n == 2ll) {
    resp = ask(1ll);
    resp = ask(2ll);
    if (resp)
      ans(1ll);
    else
      ans(2ll);
    return;
  } else if (n == 3ll) {
    resp = ask(2ll);
    resp = ask(1ll);
    if (resp)
      ans(1ll);
    else {
      resp = ask(3ll);
      if (resp)
        ans(2ll);
      else
        ans(3ll);
    }
    return;
  }
  vector<long long> path_mid_to_hi;
  long long lf = 1ll, rg = n - 1ll;
  for (long long md; lf <= rg;) {
    md = (lf + rg) / 2ll;
    path_mid_to_hi.push_back(md);
    if (lf == rg && md == n - 1ll) break;
    lf = md + 1ll;
  }
  long long st = n, bf = n;
  reverse(path_mid_to_hi.begin(), path_mid_to_hi.end());
  bool go_left = 1;
  for (long long i : path_mid_to_hi) {
    bf = st;
    if (go_left)
      st -= i;
    else
      st += i;
    assert(!vis[st]);
    go_left ^= 1;
  }
  if (bf < st)
    go_left = 1;
  else
    go_left = 0;
  lf = 1ll, rg = n - 1ll;
  long long res = n;
  resp = ask(st);
  for (long long md; lf <= rg;) {
    md = (lf + rg) / 2;
    if (go_left && st - md >= 1 && !vis[st - md])
      st -= md;
    else {
      assert(st + md <= n && !vis[st + md]);
      st += md;
    }
    resp = ask(st);
    if (resp) {
      res = md;
      rg = md - 1;
    } else
      lf = md + 1;
    go_left ^= 1;
  }
  ans(res);
  return;
}
int main() {
  int tc;
  scanf("%d", &tc);
  for (; tc--;) solve();
  return 0;
}