A16681 | Beautiful String

给定一个长度为 $n$ 的二进制字符串 $s$。

你的任务是找到 $s$ 的一个子序列 $p$，满足以下条件：

- 子序列 $p$ 是非递减的。即 $p$ 中每个字符都不大于其下一个字符。
- 设 $x$ 表示从 $s$ 中移除 $p$ 的所有字符后（保持剩余字符的顺序）得到的字符串。则 $x$ 必须是回文串。

你只需要输出任意一个满足条件的子序列 $p$。如果不存在这样的子序列，输出 $-1$。

注意，空串既是非递减的，也是回文串。

二进制串是只包含字符 ‘0’ 和 ‘1’ 的字符串。

字符串 $s = s_1s_2\ldots s_n$ 的子序列是 $p = s_{i_1}s_{i_2}\ldots s_{i_k}$，其中 $1 \leq i_1 < i_2 < \ldots < i_k \leq n$。字符按顺序选取，但不要求连续。空串也是任何字符串的子序列。

对于字符串 $t = t_1t_2\ldots t_m$，若对所有 $1 \leq i \leq m$，都有 $t_i = t_{m - i + 1}$，则 $t$ 是回文串。也就是说，这个字符串从前往后和从后往前读相同。

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

每个测试用例的第一行包含一个整数 $n$（$1 \leq n \leq 10$），表示字符串的长度。

第二行包含一个长度为 $n$ 的二进制字符串 $s$。

如果存在满足条件的解：

- 第一行输出一个整数 $k$（$0 \leq k \leq n$），表示子序列 $p$ 的长度。
- 第二行输出 $k$ 个不同的整数 $i_1, i_2, \dots, i_k$（$1 \leq i_1 < i_2 < \dots < i_k \leq n$），表示 $s$ 中构成 $p$ 的字符下标（按其在 $s$ 中出现的顺序）。

否则，输出一行 $-1$。