CF374E Inna and Babies

在一个无限平面上，有 $n$ 个 A 类数对和 $m$ 个 B 类数对。每个数对是一条会随时间而增长的线段。在时间为 $t$ 时，A 类数对 $(x,y)$ 是一条以点 $(x-t, y+t)$ 和 $(x+t, y-t)$ 为端点的线段，B 类数对 $(x,y)$ 是一个以点 $(x+t,y+t)$ 和 $(x-t,y-t)$ 为端点的线段。初始时刻 $t \gets 0$ 时，所有数对都是平面上的点。 你的目标是找到第一个当 $t$ 为整数的时刻，平面上至少有一个面积不为 $0$ 的矩形，矩形的每条边上的每个点都应该至少被一条线段覆盖。一条边可以被多条线段覆盖。**线段包含它们的两个端点。** 给定 $n$ 个 A 类数对和 $m$ 个 B 类数对， 输出最小的满足条件的 $t$。

输入的第一行包含两个整数 $n$ 和 $m\ (1 \le n, m \le 2 \times 10^3)$。 接下来的 $n$ 行为 $n$ 个 A 类数对。第 $i$ 行包含整数 $(x_i,y_i)$，为一个 A 类数对。接下来的 $m$ 行以同样的形式表示 $m$ 个 B 类数对。 **所有数对均不相同。**

输出最小的满足条件的 $t$。如果没有满足条件的 $t$，输出 `Poor Sereja!`。

$|x_i,y_i| \le 10^6$。 Translated by liuli688