A15319 | Xor-Subsequence (hard version)

It is the hard version of the problem. The only difference is that in this version $a_i \le 10^9$ .

You are given an array of $n$ integers $a_0, a_1, a_2, \ldots a_{n - 1}$ . Bryap wants to find the longest beautiful subsequence in the array.

An array $b = [b_0, b_1, \ldots, b_{m-1}]$ , where $0 \le b_0 < b_1 < \ldots < b_{m - 1} < n$ , is a subsequence of length $m$ of the array $a$ .

Subsequence $b = [b_0, b_1, \ldots, b_{m-1}]$ of length $m$ is called beautiful, if the following condition holds:

- For any $p$ ( $0 \le p < m - 1$ ) holds: $a_{b_p} \oplus b_{p+1} < a_{b_{p+1}} \oplus b_p$ .

Here $a \oplus b$ denotes the [bitwise XOR](https://en.wikipedia.org/wiki/Bitwise_operation#XOR) of $a$ and $b$ . For example, $2 \oplus 4 = 6$ and $3 \oplus 1=2$ .

Bryap is a simple person so he only wants to know the length of the longest such subsequence. Help Bryap and find the answer to his question.
这是问题的困难版本。唯一不同的是，在这个版本中 $a_i \le 10^9$ .

给你一个由 $n$ 个整数 $a_0, a_1, a_2, \ldots a_{n - 1}$ 组成的数组。布里亚普想找出数组中最长的优美子序列。

数组 $b = [b_0, b_1, \ldots, b_{m-1}]$ 中的 $0 \le b_0 < b_1 < \ldots < b_{m - 1} < n$ 是数组 $a$ 中长度为 $m$ 的子序列。

如果以下条件成立，则长度为 $m$ 的子序列 $b = [b_0, b_1, \ldots, b_{m-1}]$ 称为优美序列：

- 对于任意 $p$ ( $0 \le p < m - 1$ ) 都成立： $a_{b_p} \oplus b_{p+1} < a_{b_{p+1}} \oplus b_p$ .

这里的 $a \oplus b$ 表示 $a$ 和 $b$ 的 [bitwise XOR](https://en.wikipedia.org/wiki/Bitwise_operation#XOR)。例如， $2 \oplus 4 = 6$ 和 $3 \oplus 1=2$ 。

Bryap 是个简单的人，所以他只想知道最长的子序列的长度。请帮助 Bryap 找到问题的答案。

The first line contains a single integer $t$ ( $1 \leq t \leq 10^5$ ) — the number of test cases. The description of the test cases follows.

The first line of each test case contains a single integer $n$ ( $2 \leq n \leq 3 \cdot 10^5$ ) — the length of the array.

The second line of each test case contains $n$ integers $a_0,a_1,...,a_{n-1}$ ( $0 \leq a_i \leq 10^9$ ) — the elements of the array.

It is guaranteed that the sum of $n$ over all test cases does not exceed $3 \cdot 10^5$ .
输入

第一行包含一个整数 $t$ ( $1 \leq t \leq 10^5$ )--测试用例数。测试用例说明如下。

每个测试用例的第一行包含一个整数 $n$ ( $2 \leq n \leq 3 \cdot 10^5$ )( $2 \leq n \leq 3 \cdot 10^5$ ) - 数组的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_0,a_1,...,a_{n-1}$ ( $0 \leq a_i \leq 10^9$ ) - 数组的元素。

保证所有测试用例中 $n$ 的总和不超过 $3 \cdot 10^5$ 。

For each test case print a single integer — the length of the longest beautiful subsequence.
输出

为每个测试用例打印一个整数--最长优美子序列的长度。