CF1633D.Make Them Equal

You have an array of integers $a$ of size $n$. Initially, all elements of the array are equal to $1$. You can perform the following operation: choose two integers $i$ ($1 \le i \le n$) and $x$ ($x \gt 0$), and then increase the value of $a_i$ by $\left\lfloor\frac{a_i}{x}\right\rfloor$ (i.e. make $a_i = a_i + \left\lfloor\frac{a_i}{x}\right\rfloor$).

After performing all operations, you will receive $c_i$ coins for all such $i$ that $a_i = b_i$.

Your task is to determine the maximum number of coins that you can receive by performing no more than $k$ operations.

你有一个长度为 $n$ 的整数数组 $a$。初始时，数组中所有元素均为 $1$。你可以执行以下操作：选择两个整数 $i$（满足 $1 \le i \le n$）和 $x$（满足 $x > 0$），然后将 $a_i$ 的值增加 $\left\lfloor\frac{a_i}{x}\right\rfloor$（即令 $a_i = a_i + \left\lfloor\frac{a_i}{x}\right\rfloor$）。

在执行完所有操作后，对所有满足 $a_i = b_i$ 的下标 $i$，你将获得 $c_i$ 枚金币。

你的任务是：在最多执行 $k$ 次操作的前提下，求出你能获得的金币数量的最大值。

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

The first line of each test case contains two integers $n$ and $k$ ($1 \le n \le 10^3; 0 \le k \le 10^6$) — the size of the array and the maximum number of operations, respectively.

The second line contains $n$ integers $b_1, b_2, \dots, b_n$ ($1 \le b_i \le 10^3$).

The third line contains $n$ integers $c_1, c_2, \dots, c_n$ ($1 \le c_i \le 10^6$).

The sum of $n$ over all test cases does not exceed $10^3$.

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

每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1 \le n \le 10^3$；$0 \le k \le 10^6$）—— 分别表示数组的大小和最大操作次数。

第二行包含 $n$ 个整数 $b_1, b_2, \dots, b_n$（$1 \le b_i \le 10^3$）。

第三行包含 $n$ 个整数 $c_1, c_2, \dots, c_n$（$1 \le c_i \le 10^6$）。

所有测试用例中 $n$ 的总和不超过 $10^3$。

For each test case, print one integer — the maximum number of coins that you can get by performing no more than $k$ operations.

对于每个测试用例，输出一个整数——通过执行不超过 $k$ 次操作所能获得的最多硬币数量。