import java.io.BufferedReader;
import java.io.InputStreamReader;
public class Main {
public static void main(String[] args) throws Exception {
BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
int n = Integer.parseInt(br.readLine());
int m = 3001;
String[] sa = br.readLine().split(" ");
int[] r = new int[m];
for (int i = 0; i < n; i++) {
int a = Integer.parseInt(sa[i]);
r[a]++;
}
sa = br.readLine().split(" ");
int[] g = new int[m];
for (int i = 0; i < n; i++) {
int a = Integer.parseInt(sa[i]);
g[a]++;
}
sa = br.readLine().split(" ");
FenwickTree ft = new FenwickTree(m);
for (int i = 0; i < n; i++) {
int a = Integer.parseInt(sa[i]);
ft.add(a, 1);
}
br.close();
long ans = 0;
for (int i = 1; i < m; i++) {
long val = 0;
for (int j = 1; j <= i; j++) {
long v = ft.sum(i - j + 1, i + 1);
val += g[j] * v;
}
ans += r[i] * val;
}
System.out.println(ans);
}
}
class FenwickTree {
private int n;
private long[] data;
/**
* 長さnの配列(a[0]~a[n-1])を作る。初期値は全て0。
* O(n)
*
* @param n 配列の長さ
*/
public FenwickTree(int n) {
this.n = n;
data = new long[n];
}
/**
* 初期データを元にFenwick Treeを構成する。
* O(n)
*
* @param data 初期データ
*/
public FenwickTree(long[] data) {
this(data.length);
build(data);
}
/**
* a[p] += x を行う。
* O(log n)
*
* @param p 加算位置(0≦p<n)
* @param x 加算値
*/
void add(int p, long x) {
assert 0 <= p && p < n : "p=" + p;
p++;
while (p <= n) {
data[p - 1] += x;
p += p & -p;
}
}
/**
* a[l] + ... + a[r-1] を返す。
* O(log n)
*
* @param l 開始位置(含む) (0≦l≦r≦n)
* @param r 終了位置(含まない)(0≦l≦r≦n)
*/
long sum(int l, int r) {
assert 0 <= l && l <= r && r <= n : "l=" + l + ", r=" + r;
return sum(r) - sum(l);
}
/**
* a[0] + ... + a[r-1] を返す。
* O(log n)
*
* @param r 終了位置(含まない)(0≦r≦n)
*/
long sum(int r) {
assert 0 <= r && r <= n : "r=" + r;
long s = 0;
while (r > 0) {
s += data[r - 1];
r -= r & -r;
}
return s;
}
private void build(long[] dat) {
System.arraycopy(dat, 0, data, 0, n);
for (int i = 1; i <= n; i++) {
int p = i + (i & -i);
if (p <= n) {
data[p - 1] += data[i - 1];
}
}
}
}