// yuki 1623 三角形の制作
// 2021.8.10

#include <stdio.h>

typedef long long ll;
#define gc() getchar_unlocked()
#define pc(c) putchar_unlocked(c)

int in() {   // 非負整数の入力
	int n = 0; int c = gc();
	do n = 10 * n + (c & 0xf); while ((c = gc()) >= '0');
	return n;
}
void out(ll n) { // 非負整数の表示（出力）
	int i; char b[30];

	if (!n) pc('0');
	else {
		//		if (n < 0) pc('-'), n = -n;
		i = 0; while (n) b[i++] = n % 10 + '0', n /= 10;
		while (i--) pc(b[i]);
	}
	pc('\n');
}

const int max = 3000;
int N;
int r[3005], g[3005], b[3005];

int main() {
	int i, j;
	ll ans = 0;

	N = in();
	for (i = 0; i < N; ++i) r[in()]++;
	for (i = 0; i < N; ++i) g[in()]++;
	for (i = 0; i < N; ++i) b[in()]++;
	for (i = 1; i <= max; ++i) b[i] += b[i-1];
	for (i = 1; i <= max; ++i) if (r[i]) {
		for (j = 1; j <= i; ++j) if (g[j]) {
			ans += (ll)r[i]*g[j]*(b[i]-b[i-j]);
		}
	}
	out(ans);
	return 0;
}