#include <bits/stdc++.h>
using namespace std;
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

#define MAXRGB 5000
int r[MAXRGB + 1], g[MAXRGB + 1], b[MAXRGB + 1];
int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);

    int n;
    scanf("%d", &n);
    int x;
    for (int i = 0; i < n; i++){
        scanf("%d", &x);
        r[x]++;
    }
    for (int i = 0; i < n; i++){
        scanf("%d", &x);
        g[x]++;
    }
    for (int i = 0; i < n; i++){
        scanf("%d", &x);
        b[x]++;
    }

    long ans = 0;
    for (int i = 1; i <= MAXRGB; i++){
        if (r[i] == 0) continue;
        for (int j = 1; j <= i; j++){
            if (g[j] == 0) continue;
            for (int k = 1; k <= i; k++){
                if (i + j > k && j + k > i && k + i > j) ans += (long)r[i] * g[j] * b[k];
            }
        }
    }
    cout << ans << endl;
}