typedef long long ll;
typedef long double ld;
#include <bits/stdc++.h>
using namespace std;
#define int long long

signed main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    ll n;
    std::cin >> n;
    vector<ll> cnt1(3001,0),cnt2(3001,0),cnt3(3001,0);
    for (int i = 0; i < n; i++) {
        ll a;
        std::cin >> a;
        cnt1[a]++;
    }
    for (int i = 0; i < n; i++) {
        ll a;
        std::cin >> a;
        cnt2[a]++;
    }
    for (int i = 0; i < n; i++) {
        ll a;
        std::cin >> a;
        cnt3[a]++;
    }
    vector<vector<ll>> dp(6001,vector<ll>(3001));
    for (int i = 1; i <= 6000; i++) {
        for (int j = max((ll)1,i-3000); j <= min(i,(ll)3000); j++) {
            dp[i][max(j,i-j)] += cnt2[i-j]*cnt3[j];
            if(cnt2[i-j]*cnt3[j]){
                // std::cout << i<<" "<<j<<" "<<cnt2[i-j]*cnt3[j] << std::endl;
            }
        }
    }
    vector<ll> ruic(3001);
    for (int i = 1; i <= 3000; i++) {
        ruic[i] = ruic[i-1]+cnt1[i];
    }
    ll ans = 0;
    for (int i = 0; i <= 6000; i++) {
        for (int j = 0; j <= i; j++) {
            ans += max(0ll,(ruic[min((ll)3000,i-1)]-ruic[min((ll)3000,j-1)]))*dp[i][j];
        }
    }
    std::cout << ans << std::endl;
}