CF1594C.Make Them Equal

Theofanis has a string $s_1 s_2 \dots s_n$ and a character $c$. He wants to make all characters of the string equal to $c$ using the minimum number of operations.

In one operation he can choose a number $x$ ($1 \le x \le n$) and for every position $i$, where $i$ is not divisible by $x$, replace $s_i$ with $c$.

Find the minimum number of operations required to make all the characters equal to $c$ and the $x$-s that he should use in his operations.

西奥法尼斯有一个字符串 $s_1 s_2 \dots s_n$ 和一个字符 $c$。他希望用最少的操作次数，使字符串中所有字符都变为 $c$。

在一次操作中，他可以选择一个数 $x$（$1 \le x \le n$），并对每个位置 $i$（其中 $i$ 不能被 $x$ 整除），将 $s_i$ 替换为 $c$。

请找出使所有字符都变为 $c$ 所需的最少操作次数，以及每次操作中应选取的 $x$ 值。

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

The first line of each test case contains the integer $n$ ($3 \le n \le 3 \cdot 10^5$) and a lowercase Latin letter $c$ — the length of the string $s$ and the character the resulting string should consist of.

The second line of each test case contains a string $s$ of lowercase Latin letters — the initial string.

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

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

每个测试用例的第一行包含整数 $n$（$3 \le n \le 3 \cdot 10^5$）和一个小写拉丁字母 $c$ —— 分别表示字符串 $s$ 的长度，以及最终字符串应由该字符构成。

每个测试用例的第二行包含一个由小写拉丁字母组成的字符串 $s$ —— 初始字符串。

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

For each test case, firstly print one integer $m$ — the minimum number of operations required to make all the characters equal to $c$.

Next, print $m$ integers $x_1, x_2, \dots, x_m$ ($1 \le x_j \le n$) — the $x$-s that should be used in the order they are given.

It can be proved that under given constraints, an answer always exists. If there are multiple answers, print any.

对于每个测试用例，首先输出一个整数 $m$ —— 使所有字符均变为 $c$ 所需的最少操作次数。

接下来输出 $m$ 个整数 $x_1, x_2, \dots, x_m$（其中 $1 \le x_j \le n$）—— 按照给定顺序执行操作所使用的 $x$ 值。

在给定约束条件下，可以证明答案一定存在。若存在多个合法答案，输出任意一个即可。

Let's describe what happens in the third test case:

1. $x_1 = 2$: we choose all positions that are not divisible by $2$ and replace them, i. e. bzyx $\rightarrow$ bzbx;
2. $x_2 = 3$: we choose all positions that are not divisible by $3$ and replace them, i. e. bzbx $\rightarrow$ bbbb.

我们来描述第三个测试用例中发生的情况：

1. $x_1 = 2$：我们选择所有不能被 $2$ 整除的位置并进行替换，即 bzyx $\rightarrow$ bzbx；
2. $x_2 = 3$：我们选择所有不能被 $3$ 整除的位置并进行替换，即 bzbx $\rightarrow$ bbbb。