#include <bits/stdc++.h>
#include <atcoder/all>

using namespace std;
using namespace atcoder;

struct Fast {
  Fast() {
    std::cin.tie(nullptr);
    ios::sync_with_stdio(false);
    cout << setprecision(10);
  }
} fast;

#define rep(i, a, b) for (int(i) = (a); (i) < (int)(b); (i)++)

using ll = long long;
using P = pair<ll, ll>;
const int A_MAX = 3e3;

ll ceil(ll a, ll b) { return a > 0 ? (a - 1) / b + 1 : a / b; }

int main() {
  int na, nb, nc;
  cin >> na >> nb >> nc;

  auto read = [](const int n) {
    vector<ll> cnt(A_MAX * 2 + 1, 0);
    rep(i, 0, n) {
      int x;
      cin >> x;
      cnt[x + A_MAX]++;
    }
    vector<P> ret(A_MAX * 2 + 1);
    ll c = 0, s = 0;
    for (ll x = A_MAX; x >= -A_MAX; x--) {
      c += cnt[x + A_MAX];
      s += cnt[x + A_MAX] * x;
      ret[x + A_MAX] = P(c, s);
    }
    return ret;
  };

  auto a = read(na);
  auto b = read(nb);
  auto c = read(nc);
  ll ans = 0;
  for (auto q : b) {
    for (auto r : c) {
      if (q.first == 0) {
        ans = max(ans, max(0LL, na * r.second) + q.second * r.first);
      } else {
        ll x = ceil(-r.second, q.first);
        P p = x > A_MAX ? P(0, 0) : a[max(0LL, x + A_MAX)];
        ans = max(ans, p.second * q.first + q.second * r.first + r.second * p.first);
      }
    }
  }
  cout << ans << endl;
}