#include <bits/stdc++.h>
using namespace std;
//const long nPrime = 1000000007;
//const long nPrime = 998244353;
int main() {
    long n;
    cin >> n;
    vector<vector<long>> vviCount(3,vector<long>(4000,0));
    for(long i = 0; i < n; i++){
        long a;
        cin >> a;
        vviCount[0][a]++;
    }
    for(long i = 0; i < n; i++){
        long a;
        cin >> a;
        vviCount[1][a]++;
    }
    for(long i = 0; i < n; i++){
        long a;
        cin >> a;
        vviCount[2][a]++;
    }
    
    vector<long> viSum(4001,0);
    for(long i = 0; i < 4000; i++){
        viSum[i+1] = viSum[i] + vviCount[2][i];
    }
    
    long nAns = 0;
    for(long i = 1; i < 4000; i++){
        for(long j = 1; j <= i; j++){
            long nMin = abs(i-j)+1;
            long nMax = i;
            nAns += vviCount[0][i] * vviCount[1][j] * (viSum[nMax+1]-viSum[nMin]);
        }
    }
    cout << nAns << endl;
    return 0;
}