#include <bits/stdc++.h>
using namespace std;
void init() {}
int R, G, B, r[200 + 2], g[200 + 2], b[200 + 2], dp[200 + 2][200 + 2][200 + 2];
int main() {
  init();
  int i, j, k, ans = 0;
  scanf("%d%d%d", &R, &G, &B);
  for (i = 1; i <= R; i++) scanf("%d", r + i);
  for (i = 1; i <= G; i++) scanf("%d", g + i);
  for (i = 1; i <= B; i++) scanf("%d", b + i);
  sort(r + 1, r + R + 1);
  sort(g + 1, g + G + 1);
  sort(b + 1, b + B + 1);
  for (i = R; i >= 0; i--) {
    for (j = G; j >= 0; j--) {
      for (k = B; k >= 0; k--) {
        dp[i][j][k] =
            max(dp[i + 1][j + 1][k] + r[i + 1] * g[j + 1],
                max(dp[i + 1][j][k + 1] + r[i + 1] * b[k + 1],
                    max(dp[i][j + 1][k + 1] + g[j + 1] * b[k + 1], 0)));
        ans = max(ans, dp[i][j][k]);
      }
    }
  }
  printf("%d", ans);
  return 0;
}
