You are an expert competitive programmer. You will be given a problem statement, test case constraints and example test inputs and outputs. Please reason step by step about the solution (that must respect memory and time limits), then provide a complete implementation in c++17.

Your solution must read input from standard input (cin), write output to standard output (cout).
Do not include any debug prints or additional output.

Put your final solution within a single code block:
```cpp
<your code here>
```

Execution time limit: 1.0 seconds
Memory limit: 256.0 MB

# Problem
You are given two grids of numbers $$$a$$$ and $$$b$$$, with $$$n$$$ rows and $$$m$$$ columns. All the values in the grid are $$$0$$$, $$$1$$$ or $$$2$$$.

You can perform the following operation on $$$a$$$ any number of times:

- Pick any subrectangle in the grid with length and width $$$\ge 2$$$. You are allowed to choose the entire grid as a subrectangle.
- The subrectangle has four corners. Take any pair of diagonally opposite corners of the chosen subrectangle and add $$$1$$$ to their values modulo $$$3$$$.
- For the pair of corners not picked, add $$$2$$$ to their values modulo $$$3$$$.

Note that the operation only changes the values of the corners of the picked subrectangle.

Is it possible to convert the grid $$$a$$$ into grid $$$b$$$ by applying the above operation any number of times (possibly zero)?

## Input Format
The first line contains an integer $$$t$$$, the number of testcases ($$$1 \le t \le 250$$$).

For each testcase:

The first line contains two integers $$$n$$$ and $$$m$$$, the number of rows and columns in the grid ($$$2 \le n,m \le 500$$$).

Each of the next n lines contain m characters — the $$$j$$$-th character of the $$$i$$$-th line represents $$$a_{i,j}$$$.

Each of the next n lines contain m characters — the $$$j$$$-th character of the $$$i$$$-th line represents $$$b_{i,j}$$$ ($$$0 \le a_{i,j}, b_{i,j} \le 2$$$).

It is guaranteed that the sum of $$$n$$$ over all test cases and the sum of $$$m$$$ over all test cases do not exceed $$$500$$$.

## Output Format
For each test case print "YES" (without quotes) if it is possible to convert grid $$$a$$$ into grid $$$b$$$ and "NO" (without quotes) otherwise.

You can output the answer in any case (upper or lower). For example, the strings "yEs", "yes", "Yes", and "YES" will be recognized as positive responses.

## Examples
```input
7
3 3
000
000
000
111
111
111
4 4
0000
0000
0000
0000
2100
1200
0012
0021
4 4
1020
1200
1210
0000
0000
1200
2200
0000
3 3
012
012
012
010
111
011
8 8
00000000
00000000
00000000
00000000
00000000
00000000
00000000
10000000
00000000
01200000
02010000
00102000
00020100
00001020
00000210
10000000
2 7
0000000
0000000
2220111
0111222
2 7
0000000
0100010
2220111
1210202
```
```output
YES
YES
YES
NO
YES
NO
YES
```

## Note
In the first testcase, grid $$$a$$$ can be converted into $$$b$$$ in the following manner:

$$$\begin{matrix}\fbox{0} & 0 & \fbox{0}\\ 0 & 0 & 0\\ \fbox{0} & 0 & \fbox{0}\end{matrix} \Rightarrow \begin{matrix}1 & 0 & 2\\ 0 & \fbox{0} & \fbox{0}\\ 2 & \fbox{0} & \fbox{1}\end{matrix} \Rightarrow \begin{matrix}1 & 0 & 2\\ \fbox{0} & \fbox{1} & 2\\ \fbox{2} & \fbox{2} & 2\end{matrix} \Rightarrow \begin{matrix}1 & \fbox{0} & \fbox{2}\\ 1 & 0 & 2\\ 1 & \fbox{0} & \fbox{2}\end{matrix} \Rightarrow \begin{matrix}1 & 1 & 1\\ 1 & \fbox{0} & \fbox{2}\\ 1 & \fbox{2} & \fbox{0}\end{matrix} \Rightarrow \begin{matrix}1 & 1 & 1\\ 1 & 1 & 1\\ 1 & 1 & 1\end{matrix}$$$

Here, in each operation, the top-right and bottom-left corners highlighted by a box are incremented by $$$2$$$ modulo $$$3$$$, while the top-left and bottom-right corners are incremented by $$$1$$$ modulo $$$3$$$.

In the fourth testcase, it can be proven that it is not possible to convert grid $$$a$$$ into grid $$$b$$$ using the above-mentioned operations any number of times.

Now solve the problem and return the code.