CF1237H.Balanced Reversals

You have two strings $a$ and $b$ of equal even length $n$ consisting of characters 0 and 1.

We're in the endgame now. To finally make the universe perfectly balanced, you need to make strings $a$ and $b$ equal.

In one step, you can choose any prefix of $a$ of even length and reverse it. Formally, if $a = a_1 a_2 \ldots a_n$, you can choose a positive even integer $p \le n$ and set $a$ to $a_p a_{p-1} \ldots a_1 a_{p+1} a_{p+2} \ldots a_n$.

Find a way to make $a$ equal to $b$ using at most $n + 1$ reversals of the above kind, or determine that such a way doesn't exist. The number of reversals doesn't have to be minimized.

你有两个长度均为偶数 $n$ 的字符串 $a$ 和 $b$，它们仅由字符 0 和 1 构成。

现在我们已进入终局阶段。为了最终使宇宙达到完美平衡，你需要让字符串 $a$ 和 $b$ 相等。

在一次操作中，你可以选择 $a$ 的任意一个长度为偶数的前缀并将其翻转。形式化地说，若 $a = a_1 a_2 \ldots a_n$，则你可以选择一个满足 $p \le n$ 的正偶数 $p$，并将 $a$ 修改为 $a_p a_{p-1} \ldots a_1 a_{p+1} a_{p+2} \ldots a_n$。

请找出一种方法，在至多 $n + 1$ 次上述翻转操作内使 $a$ 等于 $b$；若不存在这样的方法，则判定其不可能。操作次数无需最小化。

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

Each test case consists of two lines. The first line contains a string $a$ of length $n$, and the second line contains a string $b$ of the same length ($2 \le n \le 4000$; $n \bmod 2 = 0$). Both strings consist of characters 0 and 1.

The sum of $n$ over all $t$ test cases doesn't exceed $4000$.

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

每个测试用例包含两行。第一行包含一个长度为 $n$ 的字符串 $a$，第二行包含一个长度同样为 $n$ 的字符串 $b$（$2 \le n \le 4000$；且 $n \bmod 2 = 0$）。两个字符串均由字符 0 和 1 组成。

所有 $t$ 个测试用例的 $n$ 值之和不超过 $4000$。

For each test case, if it's impossible to make $a$ equal to $b$ in at most $n + 1$ reversals, output a single integer $-1$.

Otherwise, output an integer $k$ ($0 \le k \le n + 1$), denoting the number of reversals in your sequence of steps, followed by $k$ even integers $p_1, p_2, \ldots, p_k$ ($2 \le p_i \le n$; $p_i \bmod 2 = 0$), denoting the lengths of prefixes of $a$ to be reversed, in chronological order.

Note that $k$ doesn't have to be minimized. If there are many solutions, output any of them.

对于每个测试用例，如果无法在至多 $n + 1$ 次翻转操作内使 $a$ 等于 $b$，则输出单个整数 $-1$。

否则，输出一个整数 $k$（$0 \le k \le n + 1$），表示你所构造的操作序列中翻转操作的次数；随后输出 $k$ 个偶数 $p_1, p_2, \ldots, p_k$（满足 $2 \le p_i \le n$ 且 $p_i \bmod 2 = 0$），表示按时间顺序依次对数组 $a$ 的长度为 $p_1, p_2, \ldots, p_k$ 的前缀进行翻转。

注意：$k$ 不必最小化。若存在多种解法，输出任意一种即可。

In the first test case, string $a$ changes as follows:

• after the first reversal: 1000101011;
• after the second reversal: 0001101011;
• after the third reversal: 1101011000.

在第一个测试用例中，字符串 $a$ 的变化过程如下：

• 第一次翻转后：1000101011；
• 第二次翻转后：0001101011；
• 第三次翻转后：1101011000。