5740：Glorious Brilliance

Professor Zhang is trying to solve one of Karp's 21 NP-complete problems -- Graph Coloring Problem.

At first, he generates an undirected graph with $n$ vertices and $m$ edges. Then, he colors all the vertices black or white. Finally, he wants to use the following operation to make the vertices correctly colored: choose two adjacent vertices and swap their colors. The vertices are correctly colored if and only if no two adjacent vertices share the same color.

Professor Zhang wants to know the minimum number of operations needed.

There are multiple test cases. The first line of input contains an integer $T$, indicating the number of test cases. For each test case:

The first line contains two integers $n$ and $m$ $(2 \le n \le 500, 1 \le m \le \frac{n(n-1)}{2})$ -- the number of vertices and the number of edges. The second line contains a binary string of length $n$. The $i$-the vertex is colored white if the $i$-th character is "0", or black otherwise.

In the next $m$ lines, each contains two integers $x_i$ and $y_i$ $(1 \le x_i, y_i \le n, x_i \ne y_i)$, denoting an undirected edge.

For each test case, output an integer $s$ denoting the minimum number of operations in the first line. In the next $s$ lines, each contains two integers $x_i$ and $y_i$ $(1 \le x_i, y_i \le n, x_i \ne y_i)$, denoting the $i$-th operation. If there are multiple solutions, you can output any of them.

If there's no such solution, just output "-1" in a single line.