#P1150. 改写

改写

题目描述

Alice 讨厌乏味的序列。

Alice 认为一个序列是有趣的,当且仅当这个序列存在至少两个不相同的元素。例如 [1,1,2,1][1,1,2,1] 是有趣的,而 [6,6,6,6][6,6,6,6] 不是。

Alice 有一个长为 nn 的有趣的数组 {ai}\{a_i\},并且她想升级这个序列。她有一个升级器,升级器能够接受一个 0∼k0 \sim k 之间的升级参数 xx,然后它会将每个元素 aia_i 升级成 ai∨xa_i \lor x,其中 ∨\lor 是按位或。

Alice 想进行一次升级,但是不希望升级完的序列变得不再有趣。她想知道最大的可以让序列仍然有趣的 xx 是多少。

输入格式

第一行一个整数 TT 表示询问组数。

接下来 TT 组询问:

每组询问第一行两个整数 n,kn,k。

接下来一行 nn 个整数,第 ii 个整数代表 aia_i。

输出格式

共 TT 行,每行一个整数,代表该组询问的答案。

3
3 5
1 1 2
3 3
1 1 3
5 10
5 3 2 4 5
5
1
10

数据范围

对于 30%30\% 的数据,1≤T≤101 \le T \le 10,1≤n≤5001 \le n \le 500; 对于另外 30%30\% 的数据,0≤ai,k<250 \le a_i, k < 2^5; 对于 100%100\% 的数据,1≤T≤1051 \le T \le 10^5,2≤n≤2⋅1052 \le n \le 2 \cdot 10^5,0≤ai,k<2300 \le a_i, k < 2^{30},2≤∑n≤2⋅1052 \le \sum n \le 2 \cdot 10^5。保证 aia_i 中存在至少两个不相同的元素。