#P1889A. Qingshan Loves Strings 2

Qingshan Loves Strings 2

Description

Qingshan has a string $s$ which only contains $\texttt{0}$ and $\texttt{1}$.

A string $a$ of length $k$ is good if and only if

  • $a_i \ne a_{k-i+1}$ for all $i=1,2,\ldots,k$.

For Div. 2 contestants, note that this condition is different from the condition in problem B.

For example, $\texttt{10}$, $\texttt{1010}$, $\texttt{111000}$ are good, while $\texttt{11}$, $\texttt{101}$, $\texttt{001}$, $\texttt{001100}$ are not good.

Qingshan wants to make $s$ good. To do this, she can do the following operation at most $300$ times (possibly, zero):

  • insert $\texttt{01}$ to any position of $s$ (getting a new $s$).

Please tell Qingshan if it is possible to make $s$ good. If it is possible, print a sequence of operations that makes $s$ good.

deepl翻译

青山有一串 ss ,其中只包含 0\texttt{0}1\texttt{1}

长度为 kk 的字符串 aa 是好字符串,当且仅当

  • aiaki+1a_i \ne a_{k-i+1} 为所有的 i=1,2,,ki=1,2,\ldots,k

对于第 2 组的参赛者,请注意这一条件与问题 B 中的条件不同。

例如, 10\texttt{10}1010\texttt{1010}111000\texttt{111000} 是好题,而 11\texttt{11}101\texttt{101}001\texttt{001}001100\texttt{001100} 不是好题。

青山想让 ss 变好。为此,她最多可以***做以下操作 300300 次(可能为零):

  • ss 的任意位置插入 01\texttt{01} (得到一个新的 ss )。

请告诉青山,是否有可能使 ss 变好。如果可能,请打印出使 ss 变好的操作序列。

Input

The input consists of multiple test cases. The first line contains a single integer $t$ ($1\le t\le 100$) — the number of test cases. The description of the test cases follows.

The first line of each test case contains a single integer $n$ ($1 \le n\le 100$) — the length of string $s$, respectively.

The second line of each test case contains a string $s$ with length $n$.

It is guaranteed that $s$ only consists of $\texttt{0}$ and $\texttt{1}$.

Output

For each test case, if it impossible to make $s$ good, output $-1$.

Otherwise, output $p$ ($0 \le p \le 300$) — the number of operations, in the first line.

Then, output $p$ integers in the second line. The $i$-th integer should be an index $x_i$ ($0 \le x_i \le n+2i-2$) — the position where you want to insert $\texttt{01}$ in the current $s$. If $x_i=0$, you insert $\texttt{01}$ at the beginning of $s$. Otherwise, you insert $\texttt{01}$ immediately after the $x_i$-th character of $s$.

We can show that under the constraints in this problem, if an answer exists, there is always an answer that requires at most $300$ operations.

6
2
01
3
000
4
1111
6
001110
10
0111001100
3
001
0

-1
-1
2
6 7
1
10
-1

Note

In the first test case, you can do zero operations and get $s=\texttt{01}$, which is good.

Another valid solution is to do one operation: (the inserted $\texttt{01}$ is underlined)

  1. $\texttt{0}\underline{\texttt{01}}\texttt{1}$

and get $s = \texttt{0011}$, which is good.

In the second and the third test case, it is impossible to make $s$ good.

In the fourth test case, you can do two operations:

  1. $\texttt{001110}\underline{\texttt{01}}$
  2. $\texttt{0011100}\underline{\texttt{01}}\texttt{1}$

and get $s = \texttt{0011100011}$, which is good.