彩色矩形

• 时间限制：2 秒
• 内存限制：256 MiB

题目描述

你有三组不同颜色的木棍对：$R$ 对红色木棍、$G$ 对绿色木棍和 $B$ 对蓝色木棍。第 $i$ 对对应颜色木棍的长度分别记为 $r_i,g_i,b_i$。

构造一个矩形时，需要选择两对颜色不同的木棍，把它们分别作为矩形的两组对边。若选择的两对木棍长度为 $x,y$，则矩形面积为 $xy$。每对木棍至多使用一次，也可以不使用。

求能够构造出的所有矩形的最大总面积。

输入格式

第一行包含三个整数 $R,G,B$，分别表示三种颜色的木棍对数。

第二行包含 $R$ 个整数 $r_1,r_2,\ldots,r_R$。

第三行包含 $G$ 个整数 $g_1,g_2,\ldots,g_G$。

第四行包含 $B$ 个整数 $b_1,b_2,\ldots,b_B$。

输出格式

输出一个整数，表示最大总面积。

样例输入 1

1 1 1
3
5
4

样例输出 1

20

样例输入 2

2 1 3
9 5
1
2 8 5

样例输出 2

99

样例输入 3

10 1 1
11 7 20 15 19 14 2 4 13 14
8
11

样例输出 3

372

数据范围

• $1\le R,G,B\le 200$；
• $1\le r_i,g_i,b_i\le 2000$。