Bajtazar 是一位研究新发现行星动物群的生物学家。他观察到,这颗行星上生活着 $n$ 种独特的动物。不幸的是,地质学家同时在行星上发现了巨大的矿藏,并计划建造大型矿场,这可能会威胁到行星的生态平衡。
行星上的所有物种都是领地性动物——每个物种都有一个固定的矩形活动范围。为了安抚生物学家,星际议会颁布了一项法令,规定所有物种领地重叠的区域将成为自然保护区(因此那里不会建造任何矿场)。
在研究这颗行星时,Bajtazar 为每个物种记录了一对坐标 $(x_1, y_1)$ 和 $(x_2, y_2)$,它们是描述该物种领地矩形的对角顶点。现在他回到了地球,正在分析收集到的数据,试图确定保护区的面积。
值得一提的是,这颗行星的形状是一个环面(torus),其地图可以表示为一个 $X \times Y$ 的网格,并带有坐标系。地图上的点由坐标 $(x, y)$ 确定,其中 $0 \le x < X$ 且 $0 \le y < Y$。所有领地都是边平行于坐标轴的矩形。
遗憾的是!Bajtazar 没有考虑到由于行星是环面,两个点并不能唯一确定一个矩形。事实上,对于每个物种,根据收集到的数据,存在四种可能的领地。然而,议会希望尽快知道确定可以建造多少矿场,以便将矿产开采的预期收益计入明年的预算。为此,Bajtazar 需要根据现有数据,确定自然保护区可能的最大面积。
输入格式
第一行包含三个整数 $n, X, Y$ ($1 \le n \le 500\,000, 2 \le X, Y \le 10^9$),分别表示动物物种的数量和地图的尺寸。
接下来的 $n$ 行,每行包含四个整数 $x_1, y_1, x_2, y_2$ ($0 \le x_1, x_2 < X, 0 \le y_1, y_2 < Y, x_1 \neq x_2, y_1 \neq y_2$),表示每个物种领地的对角顶点坐标 $(x_1, y_1)$ 和 $(x_2, y_2)$。
输出格式
输出一个整数——所有领地交集可能的最大面积。
样例
输入 1
2 10 7 2 1 8 6 5 2 4 4
输出 1
15
说明 1
下图展示了在 $10 \times 7$ 的地图上,对于坐标为 $(2, 1), (8, 6)$ 和 $(5, 2), (4, 4)$ 的顶点,两种领地布局的(16 种可能中的)三种情况。它们的交集面积分别为 0、8 和 15,其中最后一张图展示了最大的可能保护区。请注意,保护区区域不必是连通的。