atcoder#ABC273G. [ABC273G] Row Column Sums 2

[ABC273G] Row Column Sums 2

Score : 600600 points

Problem Statement

Find the number, modulo 998244353998244353, of square matrices of size NN whose elements are non-negative integers, that satisfy both of the following two conditions:

  • for all i=1,2,,Ni = 1, 2, \ldots, N, the sum of the elements in the ii-th row is RiR_i;
  • for all i=1,2,,Ni = 1, 2, \ldots, N, the sum of the elements in the ii-th column is CiC_i.

Note that RiR_i and CiC_i given in the input are integers between 00 and 22 (see Constraints).

Constraints

  • 1N50001 \leq N \leq 5000
  • 0Ri20 \leq R_i \leq 2
  • 0Ci20 \leq C_i \leq 2
  • All values in the input are integers.

Input

The input is given from Standard Input in the following format:

NN

R1R_1 R2R_2 \ldots RNR_N

C1C_1 C2C_2 \ldots CNC_N

Output

Print the answer.

3
1 1 1
0 1 2
3

The following 33 matrices satisfy the conditions:

0 1 0
0 0 1
0 0 1
0 0 1
0 1 0
0 0 1
0 0 1
0 0 1
0 1 0
3
1 1 1
2 2 2
0
18
2 0 1 2 0 1 1 2 1 1 2 0 1 2 2 1 0 0
1 1 0 1 1 1 1 1 1 1 1 1 2 1 1 0 2 2
968235177

Be sure to print the count modulo 998244353998244353.