题目描述

给定一个长度为 $n$ 的二进制字符串 $s$。你可以对字符串进行如下操作：

• 选择一个下标 $i$，并翻转除了第 $i$ 位以外所有位置上的比特。也就是说，选择一个整数 $i$（$1 \le i \le n$），对于所有 $j$ 满足 $1 \le j \le n$ 且 $j \ne i$，如果 $s_j = 0$，则将 $s_j$ 置为 $1$；否则将 $s_j$ 置为 $0$。

你可以对字符串进行任意次数的上述操作，但每个下标最多只能被选择一次。

你的任务是通过若干次操作，把字符串 $s$ 的所有比特都变为 $0$，或者判断这不可能做到。你不需要最小化操作次数。

输入格式

每个测试包含若干组测试数据。第一行包含测试组数 $t$（$1 \le t \le 10^4$）。接下来是每组测试数据的描述。

每组测试数据的第一行包含一个整数 $n$（$1 \le n \le 2 \times 10^5$）。

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

保证所有测试数据中 $n$ 的总和不超过 $2 \times 10^5$。

输出格式

对于每组测试数据，如果无法将所有比特变成 $0$，输出 $-1$。否则，输出两行：

• 第一行，输出操作次数 $x$（$0 \leq x \leq n$）。
• 第二行，输出 $x$ 个数，表示依次选择进行操作的下标。每个下标最多只能选择一次。

如果存在多组可行解，你可以输出任意一种。

说明/提示

在第一个样例中，对第 $2$ 位进行操作，相当于翻转第 $1$ 位和第 $3$ 位的比特。操作后，字符串变为 $000$。

在第二个样例中，可以证明无法通过上述操作将字符串 $a$ 变为 $000$。

由 ChatGPT 5 翻译

样例

4
3
101
3
100
4
0000
4
1010

1
2 
-1
0
2
1 3