#include<bits/stdc++.h>
//ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
//clock_t start=clock();clock_t end=clock();cout<<(double)(end-start)/CLOCKS_PER_SEC<<endl;
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef unsigned int ui;
typedef pair<int,int> pii;
typedef pair<pii,int> ppii;
typedef pair<int,pii> pipi;
typedef pair<ll,ll> pll;
typedef pair<pll,ll> ppll;
typedef pair<ll,pll> plpl;
typedef pair<pii,pii> P;
typedef tuple<ll,ll,ll> tl;
typedef pair<double,double> pdd;
typedef vector<vector<ll>> mat;
ll mod=1000000007;
ll mod2=998244353;
ll mod3=1000003;
ll mod4=998244853;
ll mod5=1000000009;
ll inf=1LL<<62;
double pi=3.141592653589793238462643383279L;
double eps=1e-14;
#define rep(i,m,n) for(int i=m;i<n;i++)
#define rrep(i,n,m) for(ll i=n;i>=m;i--)
#define srep(itr,st) for(auto itr=st.begin();itr!=st.end();itr++)
#define mrep(itr,mp) for(auto& itr:mp)
#define Max(a,b) a=max(a,b)
#define Min(a,b) a=min(a,b)
int dh[4]={1,-1,0,0};
int dw[4]={0,0,1,-1};
int ddh[8]={-1,-1,-1,0,0,1,1,1};
int ddw[8]={-1,0,1,-1,1,-1,0,1};
struct custom_hash {
    static uint64_t splitmix64(uint64_t x) {
        // http://xorshift.di.unimi.it/splitmix64.c
        x += 0x9e3779b97f4a7c15;
        x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9;
        x = (x ^ (x >> 27)) * 0x94d049bb133111eb;
        return x ^ (x >> 31);
    }

    size_t operator()(uint64_t x) const {
        static const uint64_t FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count();
        return splitmix64(x + FIXED_RANDOM);
    }
};
#define umh unordered_map<ll,ll,custom_hash>
ll gcd(ll a,ll b){
    if(a<b)swap(a,b);
    if(b==0)return a;
    if(a%b==0)return b;
    return gcd(b,a%b);
}
ll lcm(ll a,ll b){
    ll c=gcd(a,b);
    return a*b/c;
}
ll Pow(ll n,ll k){
    ll ret=1;
    ll now=n;
    while(k>0){
        if(k&1)ret*=now;
        now*=now;
        k/=2;
    }
    return ret;
}
ll beki(ll n,ll k,ll md){
  ll ret=1;
  ll now=n;
    now%=md;
  while(k>0){
    if(k%2==1){
      ret*=now;
      ret%=md;
    }
    now*=now;
    now%=md;
    k/=2;
  }
  return ret;
}
ll gyaku(ll n,ll md){
  return beki(n,md-2,md);
}
ll poc(ll n){
    ll ret=0;
    ll u=n;
    while(u>0){
        ret+=u%2;
        u/=2;
        
    }
    return ret;
}

int main(){
    ios::sync_with_stdio(false);cin.tie(0);
    ll x,y,z;cin>>x>>y>>z;
    vector<pll> v;
    ll n=x+y+z;
    ll a[n],b[n],c[n];
    rep(i,0,n){
        cin>>a[i]>>b[i]>>c[i];
        v.push_back({c[i]-b[i],i});
    }
    sort(v.begin(),v.end());
    ll sum=0;
    ll sy[v.size()+1],sz[v.size()+1];
    sy[0]=0;
    sz[v.size()]=0;
    priority_queue<ll,vector<ll>,greater<ll>> q,qq;
    ll ans=0;
    rep(i,0,v.size()){
        ll num=v[i].second;
        sum+=a[num];
        sy[i+1]=sy[i];
        if(q.size()==y){
            ll mi=q.top();
            ll co=b[num]-a[num];
            if(mi<co){
                sy[i+1]+=co-mi;
                q.pop();
                q.push(co);
            }
        }
        else{
            sy[i+1]+=b[num]-a[num];
            q.push(b[num]-a[num]);
        }
    }
    rrep(i,v.size()-1,0){
        ll num=v[i].second;
        sz[i]=sz[i+1];
        if(qq.size()==z){
            ll mi=qq.top();
            ll co=c[num]-a[num];
            if(mi<co){
                sz[i]+=co-mi;
                qq.pop();
                qq.push(co);
            }
        }
        else{
            sz[i]+=c[num]-a[num];
            qq.push(c[num]-a[num]);
        }
        if(qq.size()==z&&i>=y-1)Max(ans,sz[i]+sy[i]+sum);
    }
    //rep(i,0,n)cout<<sy[i+1]<<" "<<sz[i]<<endl;
    cout<<ans<<endl;
}


Measured memory_bytes: 7536