P8650 [AtCoder] KEYENCE Programming Contest 2019 - Double Landscape
普及
题目描述

Consider writing each of the integers from 1 to $N \times M$ in a grid with N rows and M columns, without duplicates. Takahashi thinks it is not fun enough, and he will write the numbers under the following conditions:

  • The largest among the values in the $i-th row (1 \leq i \leq N)$ is A_i.
  • The largest among the values in the $j-th column (1 \leq j \leq M)$ is B_j.

For him, find the number of ways to write the numbers under these conditions, modulo 10^9 + 7.

Constraints

  • $1 \leq N \leq 1000$
  • $1 \leq M \leq 1000$
  • $1 \leq A_i \leq N \times M$
  • $1 \leq B_j \leq N \times M$
  • A_i and B_j are integers.

Input

Input is given from Standard Input in the following format:

N M
A_1 A_2 ... A_{N}
B_1 B_2 ... B_{M}

Output

Print the number of ways to write the numbers under the conditions, modulo 10^9 + 7.

Examples

Input

2 2
4 3
3 4

Output

2

Input

3 3
5 9 7
3 6 9

Output

0

Input

2 2
4 4
4 4

Output

0

Input

14 13
158 167 181 147 178 151 179 182 176 169 180 129 175 168
181 150 178 179 167 180 176 169 182 177 175 159 173

Output

343772227

输入格式

见题面

输出格式

见题面

样例输入
3 3 5 9 7 3 6 9
样例输出
0