#ABC168F. [ABC168F] . (Single Dot)

[ABC168F] . (Single Dot)

题目描述

無限に広がる草原があります。

この草原上に、大きさが無視できるほど小さい 1 1 頭の牛がいます。牛の今いる点から南に x cm x\ \mathrm{cm} 、東に y cm y\ \mathrm{cm} 移動した点を (x, y) (x,\ y) と表します。牛自身のいる点は (0, 0) (0,\ 0) です。

また、草原には N N 本の縦線と M M 本の横線が引かれています。i i 本目の縦線は点 (Ai, Ci) (A_i,\ C_i) と点 (Bi, Ci) (B_i,\ C_i) とを結ぶ線分、j j 本目の横線は点 (Dj, Ej) (D_j,\ E_j) と点 (Dj, Fj) (D_j,\ F_j) とを結ぶ線分です。

牛が線分を(端点を含め)通らない限り自由に動き回れるとき、牛が動き回れる範囲の面積は何 cm2 \mathrm{cm^2} でしょうか。この範囲の面積が無限大である場合は代わりに INF と出力してください。

输入格式

入力は以下の形式で標準入力から与えられる。

N N M M A1 A_1 B1 B_1 C1 C_1 : : AN A_N BN B_N CN C_N D1 D_1 E1 E_1 F1 F_1 : : DM D_M EM E_M FM F_M

输出格式

牛が動き回れる範囲の面積が無限大ならば INF を、そうでなければその面積を表す整数 (単位: cm2 \mathrm{cm^2} ) を出力せよ。

(この問題の制約下で、牛が動き回れる範囲の面積が有限である場合、その面積は必ず整数であることが示せる。)

题目大意

有一片无限延伸的草地。

在这片田地里,有一头可以忽略不计的小母牛。设 (x,y)(x,y) 表示牛现在站立的点以南x厘米和以东y厘米的点。奶牛本身正站在 (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

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
13
6 1
-3 -1 -2
-3 -1 1
-2 -1 2
1 4 -2
1 4 -1
1 4 1
3 1 4
INF

提示

制約

  • 入力はすべて 109 -10^9 以上 109 10^9 以下の整数
  • 1  N, M  1000 1\ \leq\ N,\ M\ \leq\ 1000
  • Ai < Bi (1  i  N) A_i\ <\ B_i\ (1\ \leq\ i\ \leq\ N)
  • Ej < Fj (1  j  M) E_j\ <\ F_j\ (1\ \leq\ j\ \leq\ M)
  • (0, 0) (0,\ 0) はどの与えられた線分上にも位置しない

Sample Explanation 1

牛が動き回れる範囲の面積は 13 cm2 13\ \mathrm{cm^2} です。 ![Sample 1](https://img.atcoder.jp/abc168/education.png "Sample 1")

Sample Explanation 2

牛が動き回れる範囲の面積は無限大です。