Problem D
Prince and Princess

On an $n\times n$ chessboard, the Prince and the Princess play a game. The squares on the chessboard are numbered $1,2,3,\dots ,n^2$, as shown in Figure 1:

Figure 1: The chessboard.

The Prince stands in square $1$, makes $p$ jumps and finally reaches square $n^2$. He enters a square at most once. So if we use $x_i$ to denote the $i$:th square he enters, then $x_1,x_2,\dots ,x_{p+1}$ are all different. Note that $x_1=1$ and $x_{p+1}=n^2$.

The Princess does essentially the same thing – stands in square $1$, makes $q$ jumps and fainally reaches square $n^2$. We use $y_1,y_2,\dots y_{q+1}$ to denote the sequence, and all $q+1$ numbers are different.

Figure 2 below shows a $3\times 3$ square, a possible route for the Prince and a different route for the Princess.

The Prince moves along the sequence: $1\to 7\to 5\to 4\to 8\to 3\to 9$ (Black arrows), while the Princess moves along this sequence: $1\to 4\to 3\to 5\to 6\to 2\to 8\to 9$ (White arrows).

The King, their father, has just come. “Why move separately? You are brother and sister!”, said the King, “Ignore some jumps and make sure that you’re always together.”

For example, if the Prince ignores his 2:nd, 3:rd, and 6:th jump, he’ll follow the route: $1\to 4\to 8\to 9$. If the Princess ignores her 3:rd, 4:th, 5:th, 6:th jump, she’ll follow the same route: $1\to 4\to 8\to 9$, (The common route is shown in Figure 3) thus satisfying the King. The King wants to know the longest route they can move together. Could you tell him?

Input

The first line of the input contains a single integer $t$, the number of test cases to follow. For each case, the first line contains three integers $n,p,q$ ($2\le n\le 250,1\le p,q<n^2$). The second line contains $p+1$ different integers in the range $[1\dots n^2]$, the sequence of the Prince. The third line contains $q+1$ different integers in the range $[1\dots n^2]$, the sequence of the Princess.

Output

For each test case, print the case number and the length of longest route they can move together. Look at the output for sample input for details.

1
3 6 7
1 7 5 4 8 3 9
1 4 3 5 6 2 8 9

Case 1: 4