#include //#include //#include //#include using namespace std; #define rep(i, a) for (int i = (int)0; i < (int)a; ++i) #define rrep(i, a) for (int i = (int)a; i > -1; --i) #define REP(i, a, b) for (int i = (int)a; i < (int)b; ++i) #define RREP(i, a, b) for (int i = (int)a; i > b; --i) #define repl(i, a) for (ll i = (ll)0; i < (ll)a; ++i) #define pb push_back #define eb emplace_back #define all(x) x.begin(), x.end() #define rall(x) x.rbegin(), x.rend() #define popcount __builtin_popcount #define popcountll __builtin_popcountll #define fi first #define se second using ll = long long; constexpr ll mod = 1e9 + 7; constexpr ll mod_998244353 = 998244353; constexpr ll INF = 1LL << 60; // #pragma GCC target("avx2") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") // using lll=boost::multiprecision::cpp_int; // using // Double=boost::multiprecision::number>;//仮数部が1024桁 template inline bool chmin(T &a, T b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T &a, T b) { if (a < b) { a = b; return true; } return false; } ll mypow(ll x, ll n, const ll &p = -1) { // x^nをmodで割った余り if (p != -1) { x = (x % p + p) % p; } ll ret = 1; while (n > 0) { if (n & 1) { if (p != -1) ret = (ret * x) % p; else ret *= x; } if (p != -1) x = (x * x) % p; else x *= x; n >>= 1; } return ret; } struct myrand{ random_device seed; mt19937 mt; myrand():mt(seed()){} int operator()(int a,int b){//[a,b) uniform_int_distributiondist(a,b-1); return dist(mt); } }; //using namespace atcoder; //------------------------ //------------------------ //------------------------ //------------------------ //------------------------ template struct BIT{ //0オリジンで与える vectorbit; int N; BIT(){} BIT(int n):N(n){ init(n); } void init(int n){ bit.assign(++n,0); } T sum(int i){ T s=0; ++i;//0オリジンに対応させる while(i>0){ s+=bit[i]; i-=i&-i;//iから最後の1のビットを減算 } return s; } void add(int i,T x){ ++i;//0オリジンに対応させる while(i<(int)bit.size()){ bit[i]+=x; i+=i&-i; } } T Lower_bound(T k){//0-indexed ++k; if(k<=0) return 0; T x = 0; T mul = 1; while (mul 0;i/=2){ if(x+i<=N&&bit[x+i]>n; vectorr(n),g(n),b(n); rep(i,n)cin>>r[i]; rep(i,n)cin>>g[i]; rep(i,n)cin>>b[i]; rep(i,n)R[r[i]]++; rep(i,n)G[g[i]]++; rep(i,n)B[b[i]]++; vectorsum(3005); rep(i,3001){ sum[i+1]=sum[i]+R[i]; } ll ans=0; rep(i,3001){ rep(j,3001){ ans+=(sum[i+j]-sum[max(i,j)])*G[i]*B[j]; } } cout<