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