CF1675E.Replace With the Previous, Minimize

You are given a string $s$ of lowercase Latin letters.

The following operation can be used:

• select one character (from 'a' to 'z') that occurs at least once in the string. And replace all such characters in the string with the previous one in alphabetical order on the loop. For example, replace all 'c' with 'b' or replace all 'a' with 'z'.

And you are given the integer $k$ — the maximum number of operations that can be performed. Find the minimum lexicographically possible string that can be obtained by performing no more than $k$ operations.

The string $a=a_1a_2 \dots a_n$ is lexicographically smaller than the string $b = b_1b_2 \dots b_n$ if there exists an index $k$ ($1 \le k \le n$) such that $a_1=b_1$, $a_2=b_2$, ..., $a_{k-1}=b_{k-1}$, but $a_k \lt b_k$.

给你一个由小写拉丁字母组成的字符串 $s$。

你可以执行以下操作：

• 选择一个在字符串中至少出现一次的字符（从 'a' 到 'z'）；然后将字符串中所有该字符替换为字母表中其前一个字符（循环处理）。例如，将所有 'c' 替换为 'b'，或将所有 'a' 替换为 'z'。

同时给你一个整数 $k$ —— 最多可执行的操作次数。求通过至多执行 $k$ 次操作所能得到的字典序最小的字符串。

字符串 $a=a_1a_2 \dots a_n$ 的字典序小于字符串 $b = b_1b_2 \dots b_n$，当且仅当存在某个下标 $k$（$1 \le k \le n$），使得 $a_1=b_1$, $a_2=b_2$, ..., $a_{k-1}=b_{k-1}$，但 $a_k \lt b_k$。

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

This is followed by descriptions of the test cases.

The first line of each test case contains two integers $n$ and $k$ ($1 \le n \le 2 \cdot 10^5$, $1 \le k \le 10^9$) — the size of the string $s$ and the maximum number of operations that can be performed on the string $s$.

The second line of each test case contains a string $s$ of length $n$ consisting of lowercase Latin letters.

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

第一行包含一个整数 $t$（$1 \le t \le 10^4$）——测试中测试用例的数量。

随后是各测试用例的描述。

每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1 \le n \le 2 \cdot 10^5$，$1 \le k \le 10^9$）——字符串 $s$ 的长度以及可在字符串 $s$ 上执行的最大操作次数。

每个测试用例的第二行包含一个长度为 $n$ 的字符串 $s$，由小写拉丁字母组成。

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

For each test case, output the lexicographically minimal string that can be obtained from the string $s$ by performing no more than $k$ operations.

对于每个测试用例，输出通过对字符串 $s$ 执行不超过 $k$ 次操作所能得到的字典序最小的字符串。