#pragma region Modefs
#define retword "INF"
#define MAXCOMB 202020
#define MOD 1000000007
#define EPS 1e-9;
#pragma endregion
//--MACROS---------------------------------
#pragma region Macros
#include <bits/stdc++.h>
#define SORT(x) sort((x).begin(), (x).end())
#define RSORT(x) sort((x).rbegin(), (x).rend())
#define ALL(x) (x).begin(), (x).end()
#define REV(x) reverse(ALL(x))
#define rep(i, n) for (ll i = 0; i < n; i++)
#define reps(i, m, n) for (ll i = m; i < n; i++)
#define repr(i, m, n) for (ll i = m; i >= n; i--)
#define SP << " " <<
#define INF2 1000000000000000037LL
// #define INF  1000000007
#define lwb(x,n) distance(x.begin(),lower_bound(ALL(x),(n)))
#define upb(x,n) distance(x.begin(),upper_bound(ALL(x),(n)))
#define fora(i, ...) if(ll i = -1) for(__VA_ARGS__) if(i++, true)
#ifdef _MY_DEBUG
#define isdebug true
#define CHOOSE(a) CHOOSE2 a
#define CHOOSE2(a0,a1,a2,a3,x,...) x
#define debug_1(x1) cout<<#x1<<": "<<x1<<endl
#define debug_2(x1,x2) cout<<#x1<<": "<<x1<<", "#x2<<": "<<x2<<endl
#define debug_3(x1,x2,x3) cout<<#x1<<": "<<x1<<", "#x2<<": "<<x2<<", "#x3<<": "<<x3<<endl
#define debug_4(x1,x2,x3,x4) cout<<#x1<<": "<<x1<<", "#x2<<": "<<x2<<", "#x3<<": "<<x3<<", "#x4<<": "<<x4<<endl
#define de(...) CHOOSE((__VA_ARGS__,debug_4,debug_3,debug_2,debug_1,~))(__VA_ARGS__)
#else
#define isdebug false
#define de(...)
#endif
using namespace std;
using ll = long long;
using ld = long double;
const ld PI = 3.141592653589793238462643;
using P  = pair<ll,ll>;
using TP  = tuple<ll,ll,ll>;
ll intpow(ll a, ll b){ ll ans = 1; while(b){ if(b & 1) ans *= a; a *= a; b /= 2; } return ans; }
template<class T = ll> using v = vector<T>;
template<class T = ll> using vv = vector<vector<T>>;
template<class T = ll> using vvv = vector<vector<vector<T>>>;
template<class T> bool maxi(T &a, const T &b){ if(a<b){a=b;return 1;}return 0;}
template<class T> bool mini(T &a, const T &b){ if(b<a){a=b;return 1;}return 0;}
template<class T> ll sumer(const T& a){ return accumulate(ALL(a),0LL); }
template<class T> ll miner(const T& a){ return *min_element(ALL(a)); }
template<class T> ll maxer(const T& a){ return *max_element(ALL(a)); }
template<class T> T ceil(T a, T b) { return a/b + !!(a%b); }
template<class T> ll bs(ll ok, ll ng, T checker){
    while( abs(ok-ng)>1 ){ ll mid = (ok+ng)/2; (checker(mid)?ok:ng) = mid; }
    return ok;
}
template<class T> ld bs2(ld ok, ld ng, T checker){
    rep(i,300){ ld mid = (ok+ng)/2; (checker(mid)?ok:ng) = mid; }
    return ok;
}
template<class T> void UNIQUE(vector<T> &a){ SORT(a);a.erase(unique(ALL(a)),a.end());}
template<class T, class U> ostream &operator<<(ostream &os, const pair<T,U> &pe) { os << pe.first << " " << pe.second; return os;}
template<class T> ostream &operator<<(ostream &os, const v<T> &ve) { rep(i,ve.size()) os<< (i?" ":"")<<ve[i]; return os;}
ll topbit(ll a) { return a==0?-1:63-__builtin_clzll(a);}
ll botbit(ll a) { return a==0?64:__builtin_ctzll(a);}
ll popcount(ll a) { return __builtin_popcountll(a);}
#define dame do {cout<< retword <<"\n"; return;} while(false)
template< int mod >
struct ModInt {
    ll x;
    ModInt() : x(0) {}
    ModInt(ll y) : x(y >= 0 ? ( y<mod ? y : y%mod ) : (mod - (-y) % mod) % mod) {}
    ModInt &operator+=(const ModInt &p) {
        if((x += p.x) >= mod) x -= mod;
        return *this;
    }
    ModInt &operator-=(const ModInt &p) {
        if((x += mod - p.x) >= mod) x -= mod;
        return *this;
    }
    ModInt &operator*=(const ModInt &p) {
        x = (int) (1LL * x * p.x % mod);
        return *this;
    }
    ModInt &operator/=(const ModInt &p) {
        *this *= p.inv();
        return *this;
    }
    ModInt operator-() const { return ModInt(-x); }
    ModInt operator+(const ModInt &p) const { return ModInt(*this) += p; }
    ModInt operator-(const ModInt &p) const { return ModInt(*this) -= p; }
    ModInt operator*(const ModInt &p) const { return ModInt(*this) *= p; }
    ModInt operator/(const ModInt &p) const { return ModInt(*this) /= p; }
    bool operator==(const ModInt &p) const { return x == p.x; }
    bool operator!=(const ModInt &p) const { return x != p.x; }
    bool operator<(const ModInt &p) const {return x < p.x; }

    ModInt operator+(const ll &q) const {return ModInt(*this) += (ModInt)q; }
    ModInt operator-(const ll &q) const {return ModInt(*this) -= (ModInt)q; }
    ModInt operator*(const ll &q) const {return ModInt(*this) *= (ModInt)q; }
    ModInt operator/(const ll &q) const {return ModInt(*this) /= (ModInt)q; }
    bool operator==(const ll &q) const {return x == q; }
    bool operator!=(const ll &q) const {return x != q; }

    ModInt operator++(){ if(++x == mod) x = 0; return *this; }
    ModInt operator--(){ x = (x == 0 ? mod-1 : x-1); return *this; }
    ModInt operator++(int){ const ModInt res(*this); ++*this; return res; }
    ModInt operator--(int){ const ModInt res(*this); --*this; return res; }

    ModInt inv() const {
        int a = x, b = mod, u = 1, v = 0, t;
        while(b > 0) {
            t = a / b;
            swap(a -= t * b, b);
            swap(u -= t * v, v);
        }
        return ModInt(u);
    }

    ModInt pow(ll n, bool inv=false) const {
        ModInt ret(1), mul(x);
        while(n > 0) {
        if(n & 1) ret *= mul;
            mul *= mul;
            n >>= 1;
        }
        if(inv) ret=ret.inv();
        return ret;
    }

    friend ostream &operator<<(ostream &os, const ModInt &p) {
        return os << p.x;
    }
    friend istream &operator>>(istream &is, ModInt &a) {
        ll t;
        is >> t;
        a = ModInt< mod >(t);
        return (is);
    }
};
using mint = ModInt< MOD >;
mint mpow(ll x, ll n, bool inv=false) {
    mint ret(1), mul(x);
    while(n > 0) {
    if(n & 1) ret *= mul;
        mul *= mul;
        n >>= 1;
    }
    if(inv) ret=ret.inv();
    return ret;
}
mint fac[MAXCOMB], finv[MAXCOMB], inv[MAXCOMB];
void cinit() {
    fac[0] = fac[1] = 1;
    finv[0] = finv[1] = 1;
    inv[1] = 1;
    reps(i, 2, MAXCOMB){
        fac[i] = fac[i - 1] * i;
        inv[i] = inv[MOD%i] * -(MOD/i);
        finv[i] = finv[i - 1] * inv[i];
    }
}
mint com(int n, int k){ // 二項係数計算
    if (n < k) return 0;
    if (n < 0 || k < 0) return 0;
    return fac[n] * finv[k] * finv[n-k];
}
#pragma endregion
//--GLOBAL---------------------------------
struct Grider{
    ll H,W;
    vector<vector<ll>> map2d;
    vector<vector<ll>> val;
    ll dx[4]={0,-1,0,1}, dy[4]={-1,0,1,0};

    Grider(ll h, ll w): H(h), W(w), map2d(h,vector<ll>(w,1)), val(h,vector<ll>(w,INF2)) {}

    bool outmap(const ll& x, const ll& y){
        if(x<0 or x>=H) return true;
        if(y<0 or y>=W) return true;
        if(!map2d[x][y]) return true;
        return false;
    }
    ll cdir(const char& c){
        if(c=='L') return 0;
        if(c=='U') return 1;
        if(c=='R') return 2;
        if(c=='D') return 3;
        return -1;
    }
    
    P go(const ll& x, const ll& y, const char& c){
        ll nx=x+dx[cdir(c)], ny=y+dy[cdir(c)];
        if(outmap(nx,ny)) return {x,y};
        return {nx,ny};
    }
    P gostr(const ll& x, const ll& y, const string& s){
        ll nowx=x, nowy=y;
        for(auto& c: s){
            P buf=go(nowx,nowy,c);
            nowx=buf.first, nowy=buf.second;
        }
        return {nowx,nowy};
    }

    deque<P> Q;
    void bfs(){
        while(!Q.empty()){
            ll x=Q.front().first, y=Q.front().second;
            Q.pop_front();
            rep(dir,4){
                ll nx=x+dx[dir], ny=y+dy[dir];
                if(outmap(nx,ny)) continue;
                if(mini(val[nx][ny], val[x][y]+1)){
                    Q.emplace_back(nx,ny);
                }
            }
        }
    }
    void qin(ll x, ll y){
        Q.emplace_back(x, y);
        val[x][y] = 0;
    }
};
//--MAIN-----------------------------------
void Main() {
    ll N,M;
    cin>>N>>M;
    v<> xho,yho;
    v<TP> tate,yoko;
    rep(i,N){
        ll a,b,c; cin>>a>>b>>c;
        tate.emplace_back(a,b,c);
        xho.emplace_back(a);
        xho.emplace_back(b);
        yho.emplace_back(c);
    }
    rep(i,M){
        ll d,e,f; cin>>d>>e>>f;
        yoko.emplace_back(d,e,f);
        xho.emplace_back(d);
        yho.emplace_back(e);
        yho.emplace_back(f);
    }
    xho.emplace_back(0);
    yho.emplace_back(0);
    UNIQUE(xho);
    UNIQUE(yho);
    ll X=xho.size()*2+1, Y=yho.size()*2+1;
    ll xlen[X]={}, ylen[Y]={};
    xlen[0]=xlen[X-1]=ylen[0]=ylen[Y-1]=INF2*2;
    rep(i,X/2-1){
        xlen[i*2+2]=xho[i+1]-xho[i];
    }
    rep(i,Y/2-2){
        ylen[i*2+2]=yho[i+1]-yho[i];
    }
    Grider g(X,Y);
    rep(i,N){
        auto [a,b,c]=tate[i];
        ll x1=lwb(xho,a)*2+1;
        ll x2=lwb(xho,b)*2+1;
        ll y=lwb(yho,c)*2+1;
        reps(x,x1,x2+1){
            g.map2d[x][y]=0;
        }
    }
    rep(i,M){
        auto [d,e,f]=yoko[i];
        ll x=lwb(xho,d)*2+1;
        ll y1=lwb(yho,e)*2+1;
        ll y2=lwb(yho,f)*2+1;
        reps(y,y1,y2+1){
            g.map2d[x][y]=0;
        }
    }
    g.qin(lwb(xho,0)*2+1,lwb(yho,0)*2+1);
    g.bfs();
    if(g.val[0][0]!=INF2) dame;
    ll ans=0;
    rep(i,X){
        rep(j,Y){
            if(g.val[i][j]==INF2) continue;
            ans+=xlen[i]*ylen[j];
        }
    }
    cout<< ans <<"\n";
}
//--START----------------------------------
int main() {
    cin.tie(nullptr); ios_base::sync_with_stdio(false);
    // if(isdebug) {ifstream in("input.txt"); cin.rdbuf(in.rdbuf());}
    // if(isdebug) {ofstream out("output.txt"); cout.rdbuf(out.rdbuf());}
    cout << fixed << setprecision(15);
    // ll Qkai; cin>>Qkai; rep(QQ,Qkai) Main();
    Main();
}
//-----------------------------------------