你手里有3套不同颜色的**木棍对（pair）**，包括：

- $R$ 对红色的棍子，第 $i$ 对的两根木棍长度均为 $r_i$；
- $G$ 对绿色的棍子，第 $i$ 对的两根木棍长度均为 $g_i$；
- $B$ 对蓝色的棍子，第 $i$ 对的两根木棍长度均为 $b_i$；

现在你要按照如下步骤构造长方形：
1. 选择任意一种颜色的任意一对木棍；
2. 选择任意一种**不同颜色**的任意一对木棍；
3. 将木棍摆成长方形，使得对边木棍的颜色相同，邻边木棍的颜色不同。计第 $i$ 个构造出的长方形的面积为 $S_i$。

注意：每一堆木棍只能使用 $1$ 次，你不必使用每一堆木棍。

若 $s$ 为你构造出的长方形的总数，请你计算：
$$\max \sum_{i=1}^s S_i$$

第一行三个整数 $ R $ , $ G $ , $ B $ ( $ 1 \le R, G, B \le 200 $ ) — 红色棍子的数量, 绿色棍子的数量，蓝色棍子的数量.

第二行 $ R $ 个整数$ r_1, r_2, \dots,       r_R $ ( $ 1 \le r_i \le 2000 $ ) — 每对红色棒子的长度.

第三行 $ G $ 个整数$ g_1, g_2, \dots,       g_G $ ( $ 1 \le g_i \le 2000 $ ) — 每对绿色棒子的长度.

第四行 $ B $ 个整数$ b_1, b_2, \dots,       b_B $ ( $ 1 \le b_i \le 2000 $ ) — 每对蓝色棒子的数量.

输出最大的$$\max \sum_{i=1}^s S_i$$

 2022级ACM集训队选拔赛（3）