#P1620B. Triangles on a Rectangle

    ID: 6234 Type: RemoteJudge 2000ms 256MiB Tried: 0 Accepted: 0 Difficulty: (None) Uploaded By: Tags>geometrygreedymath*1000

Triangles on a Rectangle

No submission language available for this problem.

Description

A rectangle with its opposite corners in (0,0)(0, 0) and (w,h)(w, h) and sides parallel to the axes is drawn on a plane.

You are given a list of lattice points such that each point lies on a side of a rectangle but not in its corner. Also, there are at least two points on every side of a rectangle.

Your task is to choose three points in such a way that:

  • exactly two of them belong to the same side of a rectangle;
  • the area of a triangle formed by them is maximum possible.

Print the doubled area of this triangle. It can be shown that the doubled area of any triangle formed by lattice points is always an integer.

The first line contains a single integer tt (1t1041 \le t \le 10^4) — the number of testcases.

The first line of each testcase contains two integers ww and hh (3w,h1063 \le w, h \le 10^6) — the coordinates of the corner of a rectangle.

The next two lines contain the description of the points on two horizontal sides. First, an integer kk (2k21052 \le k \le 2 \cdot 10^5) — the number of points. Then, kk integers x1<x2<<xkx_1 < x_2 < \dots < x_k (0<xi<w0 < x_i < w) — the xx coordinates of the points in the ascending order. The yy coordinate for the first line is 00 and for the second line is hh.

The next two lines contain the description of the points on two vertical sides. First, an integer kk (2k21052 \le k \le 2 \cdot 10^5) — the number of points. Then, kk integers y1<y2<<yky_1 < y_2 < \dots < y_k (0<yi<h0 < y_i < h) — the yy coordinates of the points in the ascending order. The xx coordinate for the first line is 00 and for the second line is ww.

The total number of points on all sides in all testcases doesn't exceed 21052 \cdot 10^5.

For each testcase print a single integer — the doubled maximum area of a triangle formed by such three points that exactly two of them belong to the same side.

Input

The first line contains a single integer tt (1t1041 \le t \le 10^4) — the number of testcases.

The first line of each testcase contains two integers ww and hh (3w,h1063 \le w, h \le 10^6) — the coordinates of the corner of a rectangle.

The next two lines contain the description of the points on two horizontal sides. First, an integer kk (2k21052 \le k \le 2 \cdot 10^5) — the number of points. Then, kk integers x1<x2<<xkx_1 < x_2 < \dots < x_k (0<xi<w0 < x_i < w) — the xx coordinates of the points in the ascending order. The yy coordinate for the first line is 00 and for the second line is hh.

The next two lines contain the description of the points on two vertical sides. First, an integer kk (2k21052 \le k \le 2 \cdot 10^5) — the number of points. Then, kk integers y1<y2<<yky_1 < y_2 < \dots < y_k (0<yi<h0 < y_i < h) — the yy coordinates of the points in the ascending order. The xx coordinate for the first line is 00 and for the second line is ww.

The total number of points on all sides in all testcases doesn't exceed 21052 \cdot 10^5.

Output

For each testcase print a single integer — the doubled maximum area of a triangle formed by such three points that exactly two of them belong to the same side.

Samples

Sample Input 1

3
5 8
2 1 2
3 2 3 4
3 1 4 6
2 4 5
10 7
2 3 9
2 1 7
3 1 3 4
3 4 5 6
11 5
3 1 6 8
3 3 6 8
3 1 3 4
2 2 4

Sample Output 1

25
42
35

Note

The points in the first testcase of the example:

  • (1,0)(1, 0), (2,0)(2, 0);
  • (2,8)(2, 8), (3,8)(3, 8), (4,8)(4, 8);
  • (0,1)(0, 1), (0,4)(0, 4), (0,6)(0, 6);
  • (5,4)(5, 4), (5,5)(5, 5).

The largest triangle is formed by points (0,1)(0, 1), (0,6)(0, 6) and (5,4)(5, 4) — its area is 252\frac{25}{2}. Thus, the doubled area is 2525. Two points that are on the same side are: (0,1)(0, 1) and (0,6)(0, 6).