CF1451C.String Equality

Ashish has two strings $a$ and $b$, each of length $n$, and an integer $k$. The strings only contain lowercase English letters.

He wants to convert string $a$ into string $b$ by performing some (possibly zero) operations on $a$.

In one move, he can either

• choose an index $i$ ($1 \leq i\leq n-1$) and swap $a_i$ and $a_{i+1}$, or
• choose an index $i$ ($1 \leq i \leq n-k+1$) and if $a_i, a_{i+1}, \ldots, a_{i+k-1}$ are all equal to some character $c$ ($c \neq$ 'z'), replace each one with the next character $(c+1)$, that is, 'a' is replaced by 'b', 'b' is replaced by 'c' and so on.

Note that he can perform any number of operations, and the operations can only be performed on string $a$.

Help Ashish determine if it is possible to convert string $a$ into $b$ after performing some (possibly zero) operations on it.

阿什什有两个长度均为 $n$ 的字符串 $a$ 和 $b$，以及一个整数 $k$。这两个字符串仅由小写英文字母组成。

他希望通过在字符串 $a$ 上执行若干次（可能为零次）操作，将 $a$ 转换为 $b$。

每次操作可以是以下两种之一：

• 选择一个下标 $i$（$1 \leq i \leq n-1$），交换 $a_i$ 与 $a_{i+1}$；
• 选择一个下标 $i$（$1 \leq i \leq n-k+1$），若子串 $a_i, a_{i+1}, \ldots, a_{i+k-1}$ 中所有字符均等于某个字符 $c$（且 $c \neq$ 'z'），则将这 $k$ 个字符全部替换为下一个字符（即 $c+1$），例如 'a' 替换为 'b'，'b' 替换为 'c'，依此类推。

注意：他可以执行任意次数的操作，且所有操作只能作用于字符串 $a$。

请帮助阿什什判断：是否可以通过若干次（可能为零次）操作将字符串 $a$ 转换为 $b$。

The first line contains a single integer $t$ ($1 \leq t \leq 10^5$) — the number of test cases. The description of each test case is as follows.

The first line of each test case contains two integers $n$ ($2 \leq n \leq 10^6$) and $k$ ($1 \leq k \leq n$).

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

The third line of each test case contains the string $b$ of length $n$ consisting of lowercase English letters.

It is guaranteed that the sum of values $n$ among all test cases does not exceed $10^6$.

第一行包含一个整数 $t$（$1 \leq t \leq 10^5$），表示测试用例的数量。每个测试用例的描述如下：

每个测试用例的第一行包含两个整数 $n$（$2 \leq n \leq 10^6$）和 $k$（$1 \leq k \leq n$）。

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

每个测试用例的第三行包含一个长度为 $n$ 的字符串 $b$，由小写英文字母组成。

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

For each test case, print "Yes" if Ashish can convert $a$ into $b$ after some moves, else print "No".

You may print the letters of the answer in any case (upper or lower).

对于每个测试用例，如果阿西什经过若干次操作后能将 $a$ 转换为 $b$，则输出 "Yes"；否则输出 "No"。

你可以以任意大小写（大写或小写）输出答案的字母。

In the first test case it can be shown that it is impossible to convert $a$ into $b$.

In the second test case,

"abba" $\xrightarrow{\text{inc}}$ "acca" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "azza".

Here "swap" denotes an operation of the first type, and "inc" denotes an operation of the second type.

In the fourth test case,

"aaabba" $\xrightarrow{\text{swap}}$ "aaabab" $\xrightarrow{\text{swap}}$ "aaaabb" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "ddaabb" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "ddddbb" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "ddddcc".

在第一个测试用例中，可以证明无法将 $a$ 转换为 $b$。

在第二个测试用例中，

"abba" $\xrightarrow{\text{inc}}$ "acca" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "azza"。

其中，“swap”表示第一类操作，“inc”表示第二类操作。

在第四个测试用例中，

"aaabba" $\xrightarrow{\text{swap}}$ "aaabab" $\xrightarrow{\text{swap}}$ "aaaabb" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "ddaabb" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "ddddbb" $\xrightarrow{\text{inc}}$ $\ldots$ $\xrightarrow{\text{inc}}$ "ddddcc"。