#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; ll gc[3030], bc[3030], rc[3030], rs[3030]; int main() { int n; cin>>n; int r[200020], g[200020], b[200020]; for(int i=0; i>r[i]; rc[r[i]]++; } for(int i=0; i>g[i]; gc[g[i]]++; } for(int i=0; i>b[i]; bc[b[i]]++; } for(int i=1; i<=3000; i++) rs[i+1]=rs[i]+rc[i]; ll ans=0; for(int i=1; i<=3000; i++){ for(int j=1; j<=3000; j++){ ans+=gc[i]*bc[j]*(rs[i+j]-rs[max(i, j)]); } } cout<