CF1554B.Cobb

You are given $n$ integers $a_1, a_2, \ldots, a_n$ and an integer $k$. Find the maximum value of $i \cdot j - k \cdot (a_i | a_j)$ over all pairs $(i, j)$ of integers with $1 \le i \lt j \le n$. Here, $|$ is the bitwise OR operator.

给你 $n$ 个整数 $a_1, a_2, \ldots, a_n$ 和一个整数 $k$。求所有满足 $1 \le i \lt j \le n$ 的整数对 $(i, j)$ 中，表达式 $i \cdot j - k \cdot (a_i | a_j)$ 的最大值。其中，$|$ 表示按位或运算符。

The first line contains a single integer $t$ ($1 \le t \le 10\,000$) — the number of test cases.

The first line of each test case contains two integers $n$ ($2 \le n \le 10^5$) and $k$ ($1 \le k \le \min(n, 100)$).

The second line of each test case contains $n$ integers $a_1, a_2, \ldots, a_n$ ($0 \le a_i \le n$).

It is guaranteed that the sum of $n$ over all test cases doesn't exceed $3 \cdot 10^5$.

第一行包含一个整数 $t$（$1 \le t \le 10\,000$），表示测试用例的数量。

每个测试用例的第一行包含两个整数 $n$（$2 \le n \le 10^5$）和 $k$（$1 \le k \le \min(n, 100)$）。

每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$0 \le a_i \le n$）。

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

For each test case, print a single integer — the maximum possible value of $i \cdot j - k \cdot (a_i | a_j)$.

对于每个测试用例，输出一个整数——即 $i \cdot j - k \cdot (a_i | a_j)$ 的最大可能值。

Let $f(i, j) = i \cdot j - k \cdot (a_i | a_j)$.

In the first test case,

• $f(1, 2) = 1 \cdot 2 - k \cdot (a_1 | a_2) = 2 - 3 \cdot (1 | 1) = -1$.
• $f(1, 3) = 1 \cdot 3 - k \cdot (a_1 | a_3) = 3 - 3 \cdot (1 | 3) = -6$.
• $f(2, 3) = 2 \cdot 3 - k \cdot (a_2 | a_3) = 6 - 3 \cdot (1 | 3) = -3$.

So the maximum is $f(1, 2) = -1$.

In the fourth test case, the maximum is $f(3, 4) = 12$.

令 $f(i, j) = i \cdot j - k \cdot (a_i | a_j)$。

在第一个测试用例中，

• $f(1, 2) = 1 \cdot 2 - k \cdot (a_1 | a_2) = 2 - 3 \cdot (1 | 1) = -1$。
• $f(1, 3) = 1 \cdot 3 - k \cdot (a_1 | a_3) = 3 - 3 \cdot (1 | 3) = -6$。
• $f(2, 3) = 2 \cdot 3 - k \cdot (a_2 | a_3) = 6 - 3 \cdot (1 | 3) = -3$。

因此最大值为 $f(1, 2) = -1$。

在第四个测试用例中，最大值为 $f(3, 4) = 12$。