Routing Schemes

Execution time limit is 1 second

Runtime memory usage limit is 128 megabytes

Consider a network of $n$ nodes labeled $1.. n$ . Each node is designated as a sender, a receiver, or neither. The number of senders $S$ is equal to the number of receivers $(S \geq 1)$ .

The connections between the nodes in this network can be described by a list of directed edges each of the form $i \to j$ , meaning that node $i$ may route to node $j$ . Interestingly, all of these edges satisfy the property that $i < j$ , aside from $k$ that satisfy $i > j$ . There are no self-loops (edges of the form $i \to i$ ).

The description of a "routing scheme" consists of a set of $S$ directed paths from senders to receivers such that no two of these paths share an endpoint. That is, the paths connect distinct senders to distinct receivers. A path from a sender $s$ to a receiver $r$ can be described as a sequence of nodes

s = v_{0} \to v_{1} \to v_{2} \to ... \to v_{e} = r

such that the directed edges $v_{i} \to v_{i + 1}$ exist for all $0 \leq i < e$ . A node may appear more than once within the same path.

Count the number of distinct routing schemes such that every directed edge is traversed exactly once. Since the answer may be very large, report it modulo $1 0^{9} + 7$ . It is guaranteed that there is at least one routing scheme satisfying these constraints.

Each input contains $t$ test cases. It is guaranteed that the sum of $n^{2}$ over all test cases does not exceed $2 \cdot 1 0^{4}$ .

Input

The first line contains the number of test cases $t (1 \leq t \leq 20)$ .

The first line of each test case contains the integers $n (2 \leq n \leq 100)$ and $k (0 \leq k \leq 2)$ . Note that $S$ is not explicitly given within the input.

The second line of each test case contains a string of length $n$ . The $i$ -th character of the string is equal to $S$ if the $i$ -th node is a sender, $R$ if the $i$ -th node is a receiver, or $.$ if the $i$ -th node is neither. The number of $R$ s in this string is equal to the number of $S$ s, and there is at least one $S$ .

The next $n$ lines of each test case each contain a bit string of $n$ zeros and ones. The $j$ -th bit of the $i$ -th line is equal to $1$ if there exists a directed edge from node $i$ to node $j$ , and $0$ otherwise. As there are no self-loops, the main diagonal of the matrix consists solely of zeros. Furthermore, there are exactly $k$ ones below the main diagonal.

Consecutive test cases are separated by newlines for readability.

Output

For each test case, the number of routing schemes such that every edge is traversed exactly once, modulo $1 0^{9} + 7$ . It is guaranteed that there is at least one valid routing scheme for each test case.

Examples

Example 1. For the first test case, the edges are:

1 \to 3, 2 \to 3, 3 \to 4, 3 \to 5, 4 \to 6, 5 \to 6, 6 \to 7, 6 \to 8

There are four possible routing schemes:

1 \to 3 \to 4 \to 6 \to 7, 2 \to 3 \to 5 \to 6 \to 8 1 \to 3 \to 5 \to 6 \to 7, 2 \to 3 \to 4 \to 6 \to 8 1 \to 3 \to 4 \to 6 \to 8, 2 \to 3 \to 5 \to 6 \to 7 1 \to 3 \to 5 \to 6 \to 8, 2 \to 3 \to 4 \to 6 \to 7

For the second test case, the edges are:

1 \to 4, 2 \to 4, 3 \to 4, 4 \to 5, 4 \to 6, 4 \to 7, 8 \to 10, 9 \to 10, 10 \to 11, 10 \to 12

One possible routing scheme consists of the following paths:

1 \to 4 \to 5 2 \to 4 \to 7 3 \to 4 \to 6 8 \to 10 \to 12 9 \to 10 \to 11

In general, senders ${1, 2, 3}$ can route to some permutation of receivers ${5, 6, 7}$ and senders ${8, 9}$ can route to some permutation of receivers ${11, 12}$ , giving an answer of $6 \cdot 2 = 12$ .

Example 2. For the first test case, the edges are:

1 \to 3, 1 \to 5, 2 \to 3, 3 \to 1, 3 \to 4

There are three possible routing schemes:

1 \to 3 \to 1 \to 5, 2 \to 3 \to 4 1 \to 3 \to 4, 2 \to 3 \to 1 \to 5 1 \to 5, 2 \to 3 \to 1 \to 3 \to 4

For the second test case, the edges are:

1 \to 3, 2 \to 4, 3 \to 2, 3 \to 6, 4 \to 5, 5 \to 3

There is only one possible routing scheme:

1 \to 3 \to 2 \to 4 \to 5 \to 3 \to 6

Input #1

Answer #1

Input #2

Answer #2

Input #3

Answer #3

Submissions 6

Acceptance rate 83%