///////////////////////////////////////////////////////////////////////////////

#include <bits/stdc++.h>
#include <unistd.h>
#include <time.h>
#include <sys/time.h>

using namespace std;

///////////////////////////////////////////////////////////////////////////////

#define DEBUG 0

#define pb push_back
#define V vector
#define M unordered_map
#define S static

#define rep(i,n) for(ll i=0LL; i<n; ++i)
#define srep(i,s,n) for(ll i=s; i<n; ++i)
#define rrep(i,n) for(ll i=n-1LL; i>=0LL; --i)
#define ALL(a) (a).begin(),(a).end()
#define RALL(a) (a).rbegin(),(a).rend()
#define CIN(x) do { \
        assert(!cin.eof()); \
        cin >> x; \
        assert(!cin.fail()); \
} while(0);
#if DEBUG
#define debug_print(...) _debug_print(__VA_ARGS__)
#define debug_printf(...) printf(__VA_ARGS__)
#define debug_print_time _debug_print_time
#else // DEBUG
#define debug_print(...)
#define debug_printf(...)
#define debug_print_time
#endif // DEBUG

typedef long long ll;
typedef unsigned long long ull;
typedef tuple<ll, ll> t2;
typedef tuple<ll, ll, ll> t3;
typedef tuple<ll, ll, ll, ll> t4;
typedef tuple<ll, ll, ll, ll, ll> t5;
template <typename T>
using priority_queue_incr = priority_queue<T, V<T>, greater<T> >;

///////////////////////////////////////////////////////////////////////////////

template <typename TT, typename T>
T get_m(M<TT, T> &m, TT k, T default_value)
{
    if (m.find(k) == m.end()) return m[k] = default_value;
    return m[k];
}

template <typename TT, typename T>
void incr_m(M<TT, T> &m, TT k)
{
    if (m.find(k) == m.end()) m[k] = 0;
    m[k]++;
}

template <typename TT, typename T>
void incr_m(map<TT, T> &m, TT k)
{
    if (m.find(k) == m.end()) m[k] = 0;
    m[k]++;
}

void llin(ll &a)
{
    CIN(a);
}

void llinl1(V<ll> &v, ll count)
{
    for (ll i = 0LL; i < count; ++i) {
        ll a;
        CIN(a);
        v.push_back(a);
    }
}

void llinl2(V<t2> &v, ll count)
{
    for (ll i = 0LL; i < count; ++i) {
        ll a, b;
        CIN(a >> b);
        v.push_back(t2(a, b));
    }
}

void llinl3(V<t3> &v, ll count)
{
    for (ll i = 0LL; i < count; ++i) {
        ll a, b, c;
        CIN(a >> b >> c);
        v.push_back(t3(a, b, c));
    }
}

void llinl4(V<t4> &v, ll count)
{
    for (ll i = 0LL; i < count; ++i) {
        ll a, b, c, d;
        CIN(a >> b >> c >> d);
        v.push_back(t4(a, b, c, d));
    }
}

void llina(V<ll> &v, ll count)
{
    llinl1(v, count);
}

template <typename T>
void sort(V<T> &v)
{
    sort(v.begin(), v.end());
}

template <typename T>
void sort_reverse(V<T> &v)
{
    sort(v.begin(), v.end(), greater<T>());
}

template <typename T>
void _debug_print(T x)
{
    cout << x << endl;
}

void _debug_print(const t2 &x)
{
    ll x1 = get<0>(x);
    ll x2 = get<1>(x);
    cout << "-- " << x1 << " -- " << x2 << endl;
}

void _debug_print(const t3 &x)
{
    ll x1 = get<0>(x);
    ll x2 = get<1>(x);
    ll x3 = get<2>(x);
    cout << "-- " << x1 << " -- " << x2 << " -- " << x3 << endl;
}

void _debug_print(const t4 &x)
{
    ll x1 = get<0>(x);
    ll x2 = get<1>(x);
    ll x3 = get<2>(x);
    ll x4 = get<3>(x);
    cout << "-- " << x1 << " -- " << x2
         << " -- " << x3 << " -- " << x4 << endl;
}

template <typename T>
void _debug_print(T xarray[], ll n)
{
    rep (i, n) _debug_print(xarray[i]);
}

template <typename T>
void _debug_print(const V<T> &xlist)
{
    for (auto x : xlist) {
        cout << "-- ";
        _debug_print(x);
    }
}

template <typename T>
void _debug_print(const set<T> &xset)
{
    for (auto x : xset) {
        cout << "-- ";
        _debug_print(x);
    }
}

template <typename TT, typename T>
void _debug_print(const M<TT, T> &xlist)
{
    for (auto x : xlist) {
        TT k = x.first;
        T v = x.second;
        cout << "====" << endl;
        cout << "K=";
        _debug_print(k);
        cout << "V=";
        _debug_print(v);
    }
}

template <typename TT, typename T>
void _debug_print(const map<TT, T> &xlist)
{
    for (auto x : xlist) {
        TT k = x.first;
        T v = x.second;
        cout << "====" << endl;
        cout << "K=";
        _debug_print(k);
        cout << "V=";
        _debug_print(v);
    }
}

void _debug_print_time(const char *prefix)
{
    struct timeval tv;
    gettimeofday(&tv, NULL);
    struct tm *tm = localtime(&tv.tv_sec);
    printf("-- %s %02d:%02d:%02d.%06ld\n",
           prefix, tm->tm_hour, tm->tm_min, tm->tm_sec, tv.tv_usec);
}

///////////////////////////////////////////////////////////////////////////////

void _main();
int main()
{
    cout << setprecision(12);
#if !DEBUG
    ios::sync_with_stdio(false);
    cin.tie(0);
#endif

    _main();
    return 0;
}

void _main()
{
    ll x; llin(x);
    ll y; llin(y);
    ll z; llin(z);
    ll n = x+y+z;
    V<t3> abclist; llinl3(abclist, x+y+z);

    V<t4> sub_abcidxs;
    rep (i, n) {
        ll a = get<0>(abclist[i]);
        ll b = get<1>(abclist[i]);
        ll c = get<2>(abclist[i]);
        sub_abcidxs.pb(t4(a-b, a, b, c));
    }
    sort_reverse(sub_abcidxs);

    debug_printf("---- sub_abcidxs\n");
    debug_print(sub_abcidxs);

    S priority_queue_incr<t4> q;
    ll now_a = 0;
    ll now_c = 0;
    rep (i, x) {
        ll a = get<1>(sub_abcidxs[i]);
        ll b = get<2>(sub_abcidxs[i]);
        ll c = get<3>(sub_abcidxs[i]);
        q.push(t4(a-c, a, b, c));
        now_a += a;
    }

    S ll totals_a1[100005] = {};
    S ll totals_c1[100005] = {};
    totals_a1[x-1] = now_a;

    srep (i, x, n-y) {
        ll a = get<1>(sub_abcidxs[i]);
        ll b = get<2>(sub_abcidxs[i]);
        ll c = get<3>(sub_abcidxs[i]);

        q.push(t4(a-c, a, b, c)); now_a += a;
        auto item = q.top(); q.pop();
        ll aa = get<1>(item);
        ll bb = get<2>(item);
        ll cc = get<3>(item);
        now_a -= aa;
        now_c += cc;

        totals_a1[i] = now_a;
        totals_c1[i] = now_c;
    }

    debug_printf("---- totals_a1\n");
    debug_print(totals_a1, n+1);
    debug_printf("---- totals_c1\n");
    debug_print(totals_c1, n+1);

    S priority_queue_incr<t4> q2;
    ll now_b = 0;
    now_c = 0;

    ll rcnt = 0; rrep (i, n) {
        ll a = get<1>(sub_abcidxs[i]);
        ll b = get<2>(sub_abcidxs[i]);
        ll c = get<3>(sub_abcidxs[i]);
        q2.push(t4(b-c, a, b, c));
        now_b += b;
        if (++rcnt == y) break;
    }

    S ll totals_b1[100005] = {};
    S ll totals_c2[100005] = {};
    totals_b1[n-y-1] = now_b;

    rcnt = 0; rrep (i, n-y) {
        ll a = get<1>(sub_abcidxs[i]);
        ll b = get<2>(sub_abcidxs[i]);
        ll c = get<3>(sub_abcidxs[i]);

        q2.push(t4(b-c, a, b, c)); now_b += b;
        auto item = q2.top(); q2.pop();
        ll aa = get<1>(item);
        ll bb = get<2>(item);
        ll cc = get<3>(item);
        now_b -= bb;
        now_c += cc;

        totals_b1[i-1] = now_b;
        totals_c2[i-1] = now_c;

        if (++rcnt == z) break;
    }

    debug_printf("---- totals_b1\n");
    debug_print(totals_b1, n+1);
    debug_printf("---- totals_c2\n");
    debug_print(totals_c2, n+1);

    ll ans = 0;
    rep (i, 100005) {
        ll lans= totals_a1[i] + totals_b1[i] + totals_c1[i] + totals_c2[i];
        if (lans) debug_printf("i=%lld lans=%lld\n", i, lans);
        ans = max(ans, lans);
    }
    debug_printf("-------------- ans\n");
    cout << ans << endl;
}

///////////////////////////////////////////////////////////////////////////////


Measured memory_bytes: 16108