#include <bits/stdc++.h>
using namespace std;

#ifdef DEBUG
#define fast
#else
#define fast cin.tie(0)->sync_with_stdio(0)
#define endl '\n'
#define cerr if(1);else cerr
#endif
#define _ <<' '<<
#define ALL(v) v.begin(),v.end()
#define ft first
#define sd second

using ll = long long;
using ld = long double;
using pii = pair<int,int>;

constexpr int MAXX = 5;
constexpr int MAXW = MAXX * 2 + 1;
using BS = bitset<MAXW>;

signed main() {
    fast;

    int n[3];
    BS v[3];
    for (int i = 0; i < 3; i++) {
        cin >> n[i];
        v[i].reset();
        for (int j = 0; j < n[i]; j++) {
            int x; cin >> x;
            v[i][x + MAXX] = 1;
        }
    }

    ll ans = 0;
    for (int d = 0; d <= MAXX; d++) {
        BS t1 = (v[0] >> d) & v[1] & (v[2] << d);
        BS t2 = (v[0] << d) & v[1] & (v[2] >> d);
        cerr _ d _ endl _ t1.to_string() _ endl _ t2.to_string() _ endl;
        ans += t1.count() + (d ? t2.count() : 0);
    }
    cout << ans << endl;

    return 0;
}