#include <bits/stdc++.h>
using namespace std;
const long long INF = (1e9 + 7);
const int nn = 1e5 + 7;
const int mod = 1e9 + 7;
void solve() {
  int r, g, b;
  cin >> r >> g >> b;
  vector<int> ar(r), ag(g), ab(b);
  for (int i = 0; i < r; i++) {
    cin >> ar[i];
  }
  for (int i = 0; i < g; i++) {
    cin >> ag[i];
  }
  for (int i = 0; i < b; i++) {
    cin >> ab[i];
  }
  int dp[r + 1][g + 1][b + 1];
  sort(ar.begin(), ar.end(), greater<int>());
  sort(ag.begin(), ag.end(), greater<int>());
  sort(ab.begin(), ab.end(), greater<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++) {
        dp[i][j][k] = 0;
      }
    }
  }
  int ans = 0;
  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] + ar[i] * ag[j]);
        }
        if (i < r && k < b) {
          dp[i + 1][j][k + 1] =
              max(dp[i + 1][j][k + 1], dp[i][j][k] + ar[i] * ab[k]);
        }
        if (j < g && k < b) {
          dp[i][j + 1][k + 1] =
              max(dp[i][j + 1][k + 1], dp[i][j][k] + ag[j] * ab[k]);
        }
        ans = max(ans, dp[i][j][k]);
      }
    }
  }
  cout << ans;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  int testcase = 1;
  for (int i = 0; i < testcase; i++) {
    solve();
  }
  return 0;
}
