CF1907G.Lights

In the end of the day, Anna needs to turn off the lights in the office. There are $n$ lights and $n$ light switches, but their operation scheme is really strange. The switch $i$ changes the state of light $i$, but it also changes the state of some other light $a_i$ (change the state means that if the light was on, it goes off and vice versa).

Help Anna to turn all the lights off using minimal number of switches, or say it is impossible.

一天结束时，安娜需要关闭办公室的灯。一共有 $n$ 盏灯和 $n$ 个开关，但它们的工作方式非常奇特：开关 $i$ 不仅会改变灯 $i$ 的状态，还会改变另一盏灯 $a_i$ 的状态（“改变状态”指：如果灯原本是开着的，则变为关闭；如果原本是关闭的，则变为开启）。

请帮助安娜用最少数量的开关将所有灯都关闭；若不可能实现，请说明这一点。

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

The first line of each test case contains the integer $n$ ($2 \le n \le 10^5$) — the number of lights.

The second line of each test case contains the string of $n$ characters, the initial state of the lights. Character "0" means that the corresponding light is off, and "1" means that it is on.

The third line of each test case contains $n$ integers $a_i$ ($1 \le a_i \le n$, $a_i \neq i$) — the switch $i$ changes the states of light $i$ and light $a_i$.

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

输入的第一行包含一个整数 $t$（$1 \le t \le 10^4$），表示测试用例的数量。随后是各测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$2 \le n \le 10^5$），表示灯的数量。

每个测试用例的第二行包含一个长度为 $n$ 的字符串，表示灯的初始状态。字符 "0" 表示对应灯处于关闭状态，字符 "1" 表示对应灯处于开启状态。

每个测试用例的第三行包含 $n$ 个整数 $a_i$（$1 \le a_i \le n$，且 $a_i \neq i$），表示开关 $i$ 会改变灯 $i$ 和灯 $a_i$ 的状态。

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

For each test case output the integer $k$, the minimal number of switches to use, then in the separate line output the list of $k$ switches.

If it is impossible to turn off all the lights, output single integer $-1$.

对于每个测试用例，输出整数 $k$（即所需开关的最小数量），然后在下一行输出这 $k$ 个开关的列表。

如果无法关闭所有灯，则输出单个整数 $-1$。