#include <bits/stdc++.h>
using namespace std;
long long dp[201][201][201];
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  int R, G, B;
  cin >> R >> G >> B;
  vector<int> r(R + 1), g(G + 1), b(B + 1);
  for (int i = 0; i < R; i++) cin >> r[i + 1];
  for (int i = 0; i < G; i++) cin >> g[i + 1];
  for (int i = 0; i < B; i++) cin >> b[i + 1];
  sort(r.begin() + 1, r.end(), greater<int>());
  sort(g.begin() + 1, g.end(), greater<int>());
  sort(b.begin() + 1, b.end(), greater<int>());
  for (int i = 0; i <= 200; i++) {
    for (int j = 0; j <= 200; j++) {
      for (int k = 0; k <= 200; k++) {
        if (i + 1 <= R && j + 1 <= G) {
          dp[i + 1][j + 1][k] =
              max(dp[i + 1][j + 1][k], dp[i][j][k] + r[i + 1] * g[j + 1]);
        }
        if (i + 1 <= R && k + 1 <= B) {
          dp[i + 1][j][k + 1] =
              max(dp[i + 1][j][k + 1], dp[i][j][k] + r[i + 1] * b[k + 1]);
        }
        if (j + 1 <= G && k + 1 <= B) {
          dp[i][j + 1][k + 1] =
              max(dp[i][j + 1][k + 1], dp[i][j][k] + b[k + 1] * g[j + 1]);
        }
      }
    }
  }
  long long ans = 0;
  for (int i = 1; i <= R; i++) {
    for (int j = 1; j <= G; j++) {
      for (int k = 1; k <= B; k++) {
        ans = max(ans, dp[i][j][k]);
      }
    }
  }
  cout << ans;
  return 0;
}
