atcoder#AGC018E. [AGC018E] Sightseeing Plan

[AGC018E] Sightseeing Plan

Score : 16001600 points

Problem Statement

Joisino is planning on touring Takahashi Town. The town is divided into square sections by north-south and east-west lines. We will refer to the section that is the xx-th from the west and the yy-th from the north as (x,y)(x,y).

Joisino thinks that a touring plan is good if it satisfies the following conditions:

  • Let (p,q)(p,q) be the section where she starts the tour. Then, X1pX2X_1 \leq p \leq X_2 and Y1qY2Y_1 \leq q \leq Y_2 hold.
  • Let (s,t)(s,t) be the section where she has lunch. Then, X3sX4X_3 \leq s \leq X_4 and Y3tY4Y_3 \leq t \leq Y_4 hold.
  • Let (u,v)(u,v) be the section where she ends the tour. Then, X5uX6X_5 \leq u \leq X_6 and Y5vY6Y_5 \leq v \leq Y_6 hold.
  • By repeatedly moving to the adjacent section (sharing a side), she travels from the starting section to the ending section in the shortest distance, passing the lunch section on the way.

Two touring plans are considered different if at least one of the following is different: the starting section, the lunch section, the ending section, and the sections that are visited on the way. Joisino would like to know how many different good touring plans there are. Find the number of the different good touring plans. Since it may be extremely large, find the count modulo 109+710^9+7.

Constraints

  • $1 \leq X_1 \leq X_2 < X_3 \leq X_4 < X_5 \leq X_6 \leq 10^6$
  • $1 \leq Y_1 \leq Y_2 < Y_3 \leq Y_4 < Y_5 \leq Y_6 \leq 10^6$

Input

Input is given from Standard Input in the following format:

X1X_1 X2X_2 X3X_3 X4X_4 X5X_5 X6X_6

Y1Y_1 Y2Y_2 Y3Y_3 Y4Y_4 Y5Y_5 Y6Y_6

Output

Print the number of the different good touring plans, modulo 109+710^9+7.

1 1 2 2 3 4
1 1 2 2 3 3
10

The starting section will always be (1,1)(1,1), and the lunch section will always be (2,2)(2,2). There are four good touring plans where (3,3)(3,3) is the ending section, and six good touring plans where (4,3)(4,3) is the ending section. Therefore, the answer is 6+4=106+4=10.

1 2 3 4 5 6
1 2 3 4 5 6
2346
77523 89555 420588 604360 845669 973451
2743 188053 544330 647651 709337 988194
137477680