CF2190A Sorting Game

爱丽丝（Alice）和鲍勃（Bob）在一个长度为 $n$ 的二进制字符串 $s$（仅由字符 $\mathtt{0}$ 和 $\mathtt{1}$ 组成）上进行游戏。爱丽丝先行，两名玩家交替行动。 在每一回合中，玩家需要选择一组索引序列 $i_1, i_2, \dots, i_m$（满足 $1 \le i_1 < i_2 < \dots < i_m \le n$），且这些位置上的字符构成**非递增序列**（即 $s_{i_1} \ge s_{i_2} \ge \dots \ge s_{i_m}$）。随后，玩家将这些位置上的字符重新排列为**非递减顺序**。 形式化地说，设选中的字符包含 $z$ 个 $\mathtt{0}$ 和 $o$ 个 $\mathtt{1}$（满足 $z + o = m$），则本次操作会将位置 $i_1, i_2, \dots, i_m$ 上的字符替换为 $z$ 个 $\mathtt{0}$ 后接 $o$ 个 $\mathtt{1}$ 的序列。**仅当操作严格改变字符串 $s$ 时，该操作才有效**（这意味着必须满足 $z \ge 1$ 且 $o \ge 1$）。 无法做出有效操作的玩家输掉游戏。 假设两名玩家均采取最优策略，请判断最终的获胜者。若爱丽丝获胜，需输出她在获胜策略中可采取的首个有效操作。

输入包含多组测试用例。第一行输入测试用例数 $t$（$1 \le t \le 10^4$），后续为各测试用例的描述。 每组测试用例的第一行输入一个整数 $n$（$1 \le n \le 2 \cdot 10^5$），表示字符串 $s$ 的长度。 第二行输入一个长度为 $n$ 的二进制字符串 $s$（仅包含 $\mathtt{0}$ 和 $\mathtt{1}$）。 保证所有测试用例的 $n$ 之和不超过 $2 \cdot 10^5$。

对于每组测试用例，输出一行或三行内容： - 若鲍勃采取最优策略后获胜，输出单行字符串 "Bob"； - 否则，输出三行内容：第一行输出 "Alice"，第二行输出一个整数 $m$（$2 \le m \le n$），第三行输出 $m$ 个互不相同的整数 $i_1, i_2, \dots, i_m$（$1 \le i_1 < i_2 < \dots < i_m \le n$）—— 即爱丽丝首次操作选择的索引序列。 你输出的索引序列必须符合题目描述的有效操作规则，且索引需按升序打印。若存在多个获胜操作，输出任意一个即可。

第一个样例中，不存在能改变字符串 $s$ 的有效操作，因此鲍勃直接获胜。 第三个样例中，爱丽丝可选择子序列 $[1, 2]$ 并对其排序，操作后字符串 $s$ 变为 $\mathtt{011}$。此后鲍勃无法做出有效操作，爱丽丝获胜。