//A, B, Cを降順ソートして累積和を取ったものをa, b, c (0-idx) とすると、j * a_i + k * b_j + i * c_k のmax化
//i, jを固定すると、f(k) = k * b_j + i * c_kのmax化.
//f(k + 1) - f(k) = b_j + i * C_k ≧ 0を解くと、i * C_k ≧ -b_j ⇔ (i≠0のとき) C_k ≧ Ceil(-b_j / i)
//Cは降順だったので、C_k < Ceil(-b_j / i)なるk(≧0, 無ければnC)を求めて、c_kを取ればOK。
//不等式より各数列について同じ数は「全く取らない or 全て取る」が最適と分かる。値ごとに累積和を取っておけばO(M^2)
//残るi = 0のケースは、nC * max(b_j)とすればOK. (M: 最大値 - 最小値 ≦ 6000)
#include <iostream>
#include <algorithm>
#define int long long
#define rep(i, n) for(i = 0; i < n; i++)
using namespace std;

int Ceil(int si, int bo) {
	if (bo < 0) { bo *= -1; si *= -1; }
	if (si >= 0) { return (si + bo - 1) / bo; }
	return si / bo;
}

const int M = 3000;
int nA, nB, nC;
int a[100000];
int b[100000];
int c[100000];
int rcntA[2 * M + 2], rsumA[2 * M + 2];	//[i]: -M + i未満の整数の個数と総和 (0 ≦ i ≦ 2M + 1)
int rcntB[2 * M + 2], rsumB[2 * M + 2];
int rcntC[2 * M + 2], rsumC[2 * M + 2];

void make_rui(int a[], int n, int rCnt[], int rSum[]) {
	int i, len = 1, s = a[0];
	for (i = 1; i < n; i++) {
		if (a[i - 1] != a[i]) {
			rCnt[a[i - 1] + M + 1] += len;
			rSum[a[i - 1] + M + 1] += s;
			len = 0; s = 0;
		}
		len++; s += a[i];
	}
	rCnt[a[n - 1] + M + 1] += len;
	rSum[a[n - 1] + M + 1] += s;
	rep(i, 2 * M + 1) rCnt[i + 1] += rCnt[i];
	rep(i, 2 * M + 1) rSum[i + 1] += rSum[i];
}

signed main() {
	int i, j;

	cin >> nA >> nB >> nC;
	rep(i, nA) cin >> a[i];
	rep(i, nB) cin >> b[i];
	rep(i, nC) cin >> c[i];
	sort(a, a + nA);
	sort(b, b + nB);
	sort(c, c + nC);
	make_rui(a, nA, rcntA, rsumA);
	make_rui(b, nB, rcntB, rsumB);
	make_rui(c, nC, rcntC, rsumC);

	int ans = 0;
	for (i = -M; i <= M + 1; i++) { //Aからはi以上の整数を取る
		int cntA = rcntA[2 * M + 1] - rcntA[i + M];
		int sumA = rsumA[2 * M + 1] - rsumA[i + M];
		if (cntA == 0) continue;
		for (j = -M; j <= M + 1; j++) { //Bからはj以上の整数を取る
			int cntB = rcntB[2 * M + 1] - rcntB[j + M];
			int sumB = rsumB[2 * M + 1] - rsumB[j + M];
			int high = Ceil(-sumB, cntA); 		//Cからはhigh以上の整数を取る
			high = max(-M, min(high, M + 1));	//配列外参照対策
			int cntC = rcntC[2 * M + 1] - rcntC[high + M];
			int sumC = rsumC[2 * M + 1] - rsumC[high + M];
			int score = sumA * cntB + sumB * cntC + sumC * cntA;
			ans = max(ans, score);
		}
	}

	//Aから何も取らないケース
	int maxB = 0;
	for (i = -M; i <= M + 1; i++) { //Bからi以上の整数を取るケース
		int sumB = rsumB[2 * M + 1] - rsumB[i + M];
		maxB = max(maxB, sumB);
	}
	ans = max(ans, maxB * nC);
	cout << ans << endl;
	return 0;
}