#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
#define REP(i, n) for (int i = 0; i < (n); i++)
const long double EPS = 1e-10;
const long long INF = 1e18;
const long double PI = acos(-1.0L);
ll gcd(ll a, ll b){ if(b==0){ return a; } return gcd(b , a%b); }
int main() {
int cnt = 1;
int r,g,b;
cin>>r>>g>>b;
vector<int> rr(r),gg(g),bb(b);
REP(i,r){
cin>>rr[i];
}
REP(i,g){
cin>>gg[i];
}
REP(i,b){
cin>>bb[i];
}
sort(rr.begin(),rr.end(), greater<int>());
sort(gg.begin(),gg.end(), greater<int>());
sort(bb.begin(),bb.end(), greater<int>());
int min_last_elem = min(rr[r-1],min(gg[g-1],bb[b-1]));
if( (r+g+b)&1){
if(rr[r-1]== min_last_elem){
rr.pop_back();
r--;
}
else if(gg[g-1] == min_last_elem){
gg.pop_back();
g--;
}
else{
bb.pop_back();
b--;
}
}
// REP(i,r){
// cout<<rr[i]<<" ";
// }cout<<"\n";
// REP(i,g){
// cout<<gg[i]<<" ";
// }cout<<"\n";
// REP(i,b){
// cout<<bb[i]<<" ";
// }cout<<"\n";
ll sum = 0;
int ii= 0,jj=0,kk=0;
while( (ii< r && jj< g) || (ii< r && kk < b) || (jj < g && kk < b) ){
int greatest = 0, secondGreatest = 0;
greatest = std::max(rr[ii], secondGreatest = std::max(gg[jj], bb[kk]));
secondGreatest = std::min(std::max(std::min(gg[jj], bb[kk]), rr[ii]), secondGreatest);
sum += secondGreatest * greatest;
if(greatest == rr[ii] ){
ii++;
if(secondGreatest == gg[jj]){
jj++;
}
else if(secondGreatest == bb[kk]){
kk++;
}
}
else if(greatest == gg[jj] ){
jj++;
if(secondGreatest == rr[ii]){
ii++;
}
else if(secondGreatest == bb[kk]){
kk++;
}
}
else if(greatest == bb[kk] ){
kk++;
if(secondGreatest == rr[ii]){
ii++;
}
else if(secondGreatest == gg[jj]){
jj++;
}
}
}
cout<<sum<<"\n";
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIHVuc2lnbmVkIGxvbmcgbG9uZyB1bGw7CnR5cGVkZWYgbG9uZyBkb3VibGUgbGQ7CiNkZWZpbmUgUkVQKGksIG4pIGZvciAoaW50IGkgPSAwOyBpIDwgKG4pOyBpKyspCgpjb25zdCBsb25nIGRvdWJsZSBFUFMgPSAxZS0xMDsKY29uc3QgbG9uZyBsb25nIElORiA9IDFlMTg7CmNvbnN0IGxvbmcgZG91YmxlIFBJID0gYWNvcygtMS4wTCk7CgoKbGwgZ2NkKGxsIGEsIGxsIGIpeyAgaWYoYj09MCl7ICByZXR1cm4gYTsgfSAgIHJldHVybiBnY2QoYiAsIGElYik7IH0KCgppbnQgbWFpbigpIHsKaW50IGNudCA9IDE7CmludCByLGcsYjsKY2luPj5yPj5nPj5iOwp2ZWN0b3I8aW50PiBycihyKSxnZyhnKSxiYihiKTsKUkVQKGkscil7CiAgY2luPj5ycltpXTsKfQpSRVAoaSxnKXsKICBjaW4+PmdnW2ldOwp9ClJFUChpLGIpewogIGNpbj4+YmJbaV07Cn0KCnNvcnQocnIuYmVnaW4oKSxyci5lbmQoKSwgZ3JlYXRlcjxpbnQ+KCkpOwpzb3J0KGdnLmJlZ2luKCksZ2cuZW5kKCksIGdyZWF0ZXI8aW50PigpKTsKc29ydChiYi5iZWdpbigpLGJiLmVuZCgpLCBncmVhdGVyPGludD4oKSk7CgppbnQgbWluX2xhc3RfZWxlbSA9IG1pbihycltyLTFdLG1pbihnZ1tnLTFdLGJiW2ItMV0pKTsKCmlmKCAocitnK2IpJjEpewppZihycltyLTFdPT0gbWluX2xhc3RfZWxlbSl7CiAgcnIucG9wX2JhY2soKTsKICByLS07Cn0KZWxzZSBpZihnZ1tnLTFdID09IG1pbl9sYXN0X2VsZW0pewogIGdnLnBvcF9iYWNrKCk7CiAgZy0tOwp9CmVsc2V7CiAgYmIucG9wX2JhY2soKTsKICBiLS07Cn0KfQoKLy8gUkVQKGkscil7Ci8vICAgY291dDw8cnJbaV08PCIgIjsKLy8gfWNvdXQ8PCJcbiI7Ci8vIFJFUChpLGcpewovLyAgIGNvdXQ8PGdnW2ldPDwiICI7Ci8vIH1jb3V0PDwiXG4iOwovLyBSRVAoaSxiKXsKLy8gICBjb3V0PDxiYltpXTw8IiAiOwovLyB9Y291dDw8IlxuIjsKCgpsbCBzdW0gPSAwOwppbnQgaWk9IDAsamo9MCxraz0wOwp3aGlsZSggKGlpPCByICYmIGpqPCBnKSB8fCAoaWk8IHIgJiYga2sgPCBiKSB8fCAoamogPCBnICYmIGtrIDwgYikgKXsKICAgIGludCBncmVhdGVzdCA9IDAsIHNlY29uZEdyZWF0ZXN0ID0gMDsKICAgIGdyZWF0ZXN0ID0gc3RkOjptYXgocnJbaWldLCBzZWNvbmRHcmVhdGVzdCA9IHN0ZDo6bWF4KGdnW2pqXSwgYmJba2tdKSk7CiAgICBzZWNvbmRHcmVhdGVzdCA9IHN0ZDo6bWluKHN0ZDo6bWF4KHN0ZDo6bWluKGdnW2pqXSwgYmJba2tdKSwgcnJbaWldKSwgc2Vjb25kR3JlYXRlc3QpOwoKICAgIHN1bSArPSBzZWNvbmRHcmVhdGVzdCAqIGdyZWF0ZXN0OwogICAgaWYoZ3JlYXRlc3QgPT0gcnJbaWldICl7CiAgICAgIGlpKys7CiAgICAgIGlmKHNlY29uZEdyZWF0ZXN0ID09IGdnW2pqXSl7CiAgICAgICAgamorKzsKICAgICAgfQogICAgICBlbHNlIGlmKHNlY29uZEdyZWF0ZXN0ID09IGJiW2trXSl7CiAgICAgICAga2srKzsKICAgICAgfQogICAgfQogICAgZWxzZSBpZihncmVhdGVzdCA9PSBnZ1tqal0gKXsKICAgICAgamorKzsKICAgICAgaWYoc2Vjb25kR3JlYXRlc3QgPT0gcnJbaWldKXsKICAgICAgICBpaSsrOwogICAgICB9CiAgICAgIGVsc2UgaWYoc2Vjb25kR3JlYXRlc3QgPT0gYmJba2tdKXsKICAgICAgICBraysrOwogICAgICB9CiAgICB9CiAgIGVsc2UgaWYoZ3JlYXRlc3QgPT0gYmJba2tdICl7CiAgICAgIGtrKys7CiAgICAgIGlmKHNlY29uZEdyZWF0ZXN0ID09IHJyW2lpXSl7CiAgICAgICAgaWkrKzsKICAgICAgfQogICAgICBlbHNlIGlmKHNlY29uZEdyZWF0ZXN0ID09IGdnW2pqXSl7CiAgICAgICAgamorKzsKICAgICAgfQogICAgfQoKICAgCn0KCgogY291dDw8c3VtPDwiXG4iOwoKCgoKCiAgcmV0dXJuIDA7Cn0KCgoKCg==