#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    std::vector<lint>a(3),b(3);
    for(lint&x:a)std::cin>>x;
    for(lint&x:b)std::cin>>x;
    lint sum=std::accumulate(a.begin(),a.end(),0ll);
    for(lint&x:a)x=2*(sum-x);
    std::sort(a.begin(),a.end());
    std::sort(b.begin(),b.end(),std::greater<>{});
    std::cout<<std::inner_product(a.begin(),a.end(),b.begin(),0ll)<<'\n';
}