#abc168f. [abc168_f]. (Single Dot)

[abc168_f]. (Single Dot)

题目描述

有一个无限延伸的草地。

在这个草地上,有一只微小的牛。用(x,y)(x, y)表示牛现在所站的点,xx表示南北方向的距离,yy表示东西方向的距离。牛本身站在(0,0)(0, 0)的位置。

这片草地上还有NN条南北方向的线段和MM条东西方向的线段。第ii条南北方向的线段连接了点(Ai,Ci)(A_i, C_i)(Bi,Ci)(B_i, C_i),第jj条东西方向的线段连接了点(Dj,Ej)(D_j, E_j)(Dj,Fj)(D_j, F_j)

当牛可以自由移动但不能越过线段(包括端点)时,牛能够到达的区域的面积是多少?如果这个区域是无限大的,请输出 INF

约束条件

  • 输入中的所有值都是介于109-10^910910^9之间的整数(包含边界值)。
  • 1N,M10001 \leq N, M \leq 1000
  • Ai<Bi (1iN)A_i < B_i\ (1 \leq i \leq N)
  • Ej<Fj (1jM)E_j < F_j\ (1 \leq j \leq M)
  • (0,0)(0, 0)不位于任何给定线段上。

输入

从标准输入中按以下格式输入:

NN MM A1A_1 B1B_1 C1C_1 :: ANA_N BNB_N CNC_N D1D_1 E1E_1 F1F_1 :: DMD_M EME_M FMF_M

输出

如果牛能够到达的区域面积是无限大的,请输出 INF;否则,请输出表示面积的整数(以mathrmcm2\\mathrm{cm^2}为单位)。

(在约束条件下,可以证明如果区域面积不是无限大,则它一定是一个整数。)

示例输入1

5 6
1 2 0
0 1 1
0 2 2
-3 4 -1
-2 6 3
1 0 1
0 1 2
2 0 2
-1 -4 5
3 -2 4
1 2 4

示例输出1

13

牛能够到达的区域面积是13mathrmcm213\\ \\mathrm{cm^2}

示例1

示例输入2

6 1
-3 -1 -2
-3 -1 1
-2 -1 2
1 4 -2
1 4 -1
1 4 1
3 1 4

示例输出2

INF

牛能够到达的区域面积是无限大。