You are given an integer (k). There is a sequence of (n)-bit binary numbers (a_1, a_2, \ldots, a_{2^k + 1}). The numbers (a_1) and (a_{2^k + 1}) are given to you, and the others are unknown. Then the unknown numbers are filled in as follows over (k) steps: Suppose that before the (i)-th step, the numbers with indices (p_1 \lt p_2 \lt \ldots \lt p_m) have already been filled. (Before the first step, these are the numbers with indices (1, 2^{k} + 1)). Then for each (j) from (1) to (m - 1), the assignment (a_{\frac{p_j + p_{j + 1}}{2}} := a_{p_j} \oplus a_{p_{j + 1}})(^{\text{∗}}) is performed. These assignments happen simultaneously, and after that all these numbers also become filled. It can be shown that this process always fills all numbers completely. This is what the process looks like for (k = 2) and (n = 3), where initially (a_1 = 010, a_5 = 110): Before the first step, the numbers with indices (1, 5) are filled. Therefore, this operation will perform (a_3 := a_1 \oplus a_5 = 010 \oplus 110 = 100). Before the second step, the numbers with indices (1, 3, 5) are filled. Therefore, this operation will perform (a_2 := a_1 \oplus a_3 = 110) and (a_4 = a_{3} \oplus a_{5} = 010) You need to compute the following expression: (x_1 \cdot y_1 + x_2 \cdot y_2 + \ldots + x_{2^k + 1} \cdot y_{2^k + 1}), where (x_i) is the number of set bits in the (i)-th number, and (y_i) is the number of zero bits in the (i)-th number. (^{\text{∗}})(x \oplus y) denotes the bitwise exclusive OR of numbers (x) and (y) Each test contains multiple test cases. The first line contains the number of test cases (t) ((1 \le t \le 10^4)). The description of the test cases follows. The first line of each test case contains two integers (n, k) ((1 \leq n \leq 10^5), (1 \leq k \leq 30)) — t