#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int n, m, k, i, x, y, z;
  cin >> n >> m >> k;
  long long int a[n], b[m], c[k];
  for (i = 0; i < n; i++) cin >> a[i];
  for (i = 0; i < m; i++) cin >> b[i];
  for (i = 0; i < k; i++) cin >> c[i];
  sort(a, a + n);
  reverse(a, a + n);
  sort(b, b + m);
  reverse(b, b + m);
  sort(c, c + k);
  reverse(c, c + k);
  long long int dp[n + 1][m + 1][k + 1];
  long long int ans = 0;
  for (x = 0; x <= n; x++) {
    for (y = 0; y <= m; y++) {
      for (z = 0; z <= k; z++) {
        dp[x][y][z] = 0;
        if (x && y)
          dp[x][y][z] =
              max(dp[x][y][z], dp[x - 1][y - 1][z] + a[x - 1] * b[y - 1]);
        if (y && z)
          dp[x][y][z] =
              max(dp[x][y][z], dp[x][y - 1][z - 1] + b[y - 1] * c[z - 1]);
        if (x && z)
          dp[x][y][z] =
              max(dp[x][y][z], dp[x - 1][y][z - 1] + a[x - 1] * c[z - 1]);
        ans = max(ans, dp[x][y][z]);
      }
    }
  }
  cout << ans << endl;
  return 0;
}
