#include using namespace std; #define ll long long #define rep(i,n) for(int i=0;i=0;i--) #define rrep2(i,n,k) for(int i=n-1;i>=n-k;i--) #define vll(n,i) vector(n,i) #define v2ll(n,m,i) vector>(n,vll(m,i)) #define v3ll(n,m,k,i) vector>>(n,v2ll(m,k,i)) #define v4ll(n,m,k,l,i) vector>>>(n,v3ll(m,k,l,i)) #define all(v) v.begin(),v.end() #define chmin(k,m) k = min(k,m) #define chmax(k,m) k = max(k,m) #define Pr pair #define Tp tuple #define riano_ std::ios::sync_with_stdio(false);std::cin.tie(nullptr) #pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math") //Graph struct graph { long long N; vector>> G; vector par_v; vector par_e; int edge_count = 0; graph(long long n) { N = n; G = vector>>(N); par_v = vector(N,-1); par_e = vector(N,-1); } void unite(long long a,long long b,long long cost = 1,bool directed = false){ G[a].emplace_back(b,cost,edge_count); if(!directed) G[b].emplace_back(a,cost,edge_count); edge_count++; } }; //map add template void add(map &cnt,T a,ll n = 1){ if(cnt.count(a)) cnt[a] += n; else cnt[a] = n; } const ll mod = 998244353; template struct modint{ uint64_t val; constexpr modint(const int64_t val_=0) noexcept:val((val_%int64_t(mod)+int64_t(mod))%int64_t(mod)){} constexpr modint operator-() const noexcept{ return modint(*this)=mod-val; } constexpr modint operator+(const modint rhs) const noexcept{ return modint(*this)+=rhs; } constexpr modint operator-(const modint rhs) const noexcept{ return modint(*this)-=rhs; } constexpr modint operator*(const modint rhs) const noexcept{ return modint(*this)*=rhs; } constexpr modint operator/(const modint rhs) const noexcept{ return modint(*this)/=rhs; } constexpr modint &operator+=(const modint rhs) noexcept{ val+=rhs.val; val-=((val>=mod)?mod:0); return (*this); } constexpr modint &operator-=(const modint rhs) noexcept{ val+=((val>=1; } return (*this)*=now; } modint & operator++(){ val++; if (val == mod) val = 0; return *this; } modint operator++(int){ modint res = *this; ++*this; return res; } constexpr bool operator==(const modint rhs) noexcept{ return val==rhs.val; } constexpr bool operator!=(const modint rhs) noexcept{ return val!=rhs.val; } friend constexpr ostream &operator<<(ostream& os,const modint x) noexcept{ return os<<(x.val); } friend constexpr istream &operator>>(istream& is,modint& x) noexcept{ uint64_t t; is>>t,x=t; return is; } }; typedef modint mint; mint pw(long long a,long long b,long long m = mod){ if(a%m==0) return mint(0); if(b==0) return mint(1); else if(b%2==0){ long long x = pw(a,b/2,m).val; return mint(x*x); } else{ long long x = pw(a,b-1,m).val; return mint(a*x); } } mint modinv(long long a, long long m = mod) { long long b = m, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } u %= m; return mint(u); } #define vm(n,i) vector(n,i) #define v2m(n,m,i) vector>(n,vm(m,i)) #define v3m(n,m,k,i) vector>>(n,v2m(m,k,i)) #define v4m(n,m,k,l,i) vector>>>(n,v3m(m,k,l,i)) void out(vector &v){ for(ll x:v) cout << x << " "; cout << "\n"; return; } //segment tree //1-indexed all class segtree { public: ll n; vector A; segtree(ll k){ n = 1; while(n(2*n,0); } //a[i]にxを加算する void add(ll i,ll x){ int index = n-1+i; A[index] += x; while(index>1){ index /= 2; A[index] = A[2*index]+A[2*index+1]; } } //a[i]をにする void replace(ll i,ll x){ int index = n-1+i; A[index] = x; while(index>1){ index /= 2; A[index] = A[2*index]+A[2*index+1]; } } //a[i]+a[i+1]+…+a[j]を求める ll sum(ll i,ll j){ return rangesum(i,j,1,1,n); } // a,b求める区間 k区間番号 c,d区間の始終点(k=1,c=1,d=nで入力する) ll rangesum(ll a,ll b,ll k,ll c,ll d){ //単位元の設定 ll el = 0; if(d4e5 の時はvが足りなくなるので注意 struct unionfind { //自身が親であれば、その集合に属する頂点数に-1を掛けたもの //そうでなければ親のid vector r; vector lp; vector cnt; vector repr; vector per; unionfind(long long N,vector v=vector(4e5+2,0)) { //vで代表点の優先順位をinput r = vector(N, -1); lp = vector(N,false); cnt = vector(N, 0); repr = vector(N, -1); rep(i,N) repr[i] = i; per = v; } long long root(long long x) { if (r[x] < 0) return x; return r[x] = root(r[x]); } bool unite(long long x, long long y) { x = root(x); y = root(y); if (x == y){ lp[x] = true; return false; } long long tmp = 0; if (r[x] > r[y]) swap(x, y); tmp = repr[x]; if(per[repr[x]]>per[repr[y]]){ tmp = repr[y]; } r[x] += r[y]; cnt[x] += cnt[y]; r[y] = x; repr[x] = tmp; lp[x] = (lp[x]||lp[y]); return true; } long long size(long long x) { return max(-r[root(x)],0LL); } long long count(long long x){ return cnt[root(x)]; } long long represent(long long x){ return repr[root(x)]; } // 2つのデータx, yが属する木が同じならtrueを返す bool same(long long x, long long y) { long long rx = root(x); long long ry = root(y); return rx == ry; } //閉路の存在判定 bool loop(ll x){ return lp[root(x)]; } //重みをつける場合 void eval(ll i,ll x){ cnt[i] = x; } void eval_add(ll i,ll x = 1){ cnt[i] += x; } }; int main(){ riano_; ll ans = 0; ll N,M,K,H,W,Q,L,R,T,C,A,B; cin >> N >> M; ans -= (N+M); //main関数内で segtree seq(2e5+1); //などと宣言し seq.replace(i,x); //のように使う 1-indexed 注意!!!!!! vector y_perm; set tate; rep(i,N){ ll a,b,c; cin >> a >> b >> c; y_perm.emplace_back(a,b,c); } rep(i,M){ ll p,q,r; cin >> p >> q >> r; y_perm.emplace_back(q,-1,p); y_perm.emplace_back(r,1e9,p); tate.insert(p); } sort(all(y_perm)); for(auto[a,b,c]:y_perm){ if(b==-1){ seq.add(c,1); } else if(b==1e9){ seq.add(c,-1); } else{ ans += seq.sum(b,c); } } //main関数内で unionfind uf(2e5+1); set s; s.insert(make_pair(1e9,1e9)); s.insert(make_pair(0,0)); set num; num.insert(0); num.insert(1e9); for(auto[a,b,c]:y_perm){ if(b==-1){ auto itr = s.lower_bound(make_pair(c,1e9)); itr--; if((*itr).second>c){ ll k,l; auto itr2 = num.lower_bound(c); k = *itr2; itr2--; l = *itr2; ll n = (*itr).first,m = (*itr).second; s.erase(itr); s.insert(make_pair(n,l)); s.insert(make_pair(k,m)); } s.insert(make_pair(c,c)); num.insert(c); } else if(b==1e9){ auto itr = s.lower_bound(make_pair(c,1e9)); itr--; num.erase(c); if((*itr).second>=c){ ll k,l; auto itr2 = num.lower_bound(c); k = *itr2; itr2--; l = *itr2; ll n = (*itr).first,m = (*itr).second; s.erase(itr); if(n!=c) s.insert(make_pair(n,l)); if(m!=c) s.insert(make_pair(k,m)); } } else{ auto itr = num.lower_bound(b); auto itr2 = num.lower_bound(c+1); if(itr==itr2){ ans++; continue; } set er_list; auto itr3 = s.lower_bound(make_pair(b,1e9)); itr3--; if((*itr3).second