#include <bits/stdc++.h>
using namespace std;
#define MOD 1000000007
//#define MOD 998244353
#define INF 1145141919810893364
//#define INF 810114514
#define PI 3.141592653589
typedef long long ll;
typedef pair<ll,ll> PP;
#define int ll
#define setdouble setprecision
#define REP(i,n) for(int i=0;i<(n);++i)
#define OREP(i,n) for(int i=1;i<=(n);++i)
#define RREP(i,n) for(int i=(n)-1;i>=0;--i)
#define GOODBYE do { cout << "0" << endl; return 0; } while (false)
#define MM <<" "<<
#define Endl endl
#define debug false
#define debug2 false

class compress{
    private:
    std::vector<int> E;
    std::map<int,int> G;
    
    public:
    void init(std::vector<long long> A){
        E.clear();
        sort(A.begin(),A.end());
        for(int i=0;i<A.size();i++){
            if(i==0 || A[i]!=A[i-1]){
                E.push_back(A[i]);
                G[A[i]] = (int)E.size();
            }
        }
    }
    
    int size(){
        return (int)E.size();
    }
    
    int value(int x){
        if(0<=x && x<(int)E.size()){
            return E[x];
        }else{
            return 0;
        }
    }
    
    int index(int X){
        return (upper_bound(E.begin(),E.end(),X))-E.begin()-1;
    }
    
};




signed main(void){
    int N,M;
    vector<int> A,B,C,D,E,F;
    vector<int> x,y;
    cin >> N >> M;
    REP(i,N){
        int a;
        cin >> a;A.push_back(a);x.push_back(a);
        cin >> a;B.push_back(a);x.push_back(a);
        cin >> a;C.push_back(a);y.push_back(a);
    }
    REP(i,M){
        int a;
        cin >> a;D.push_back(a);x.push_back(a);
        cin >> a;E.push_back(a);y.push_back(a);
        cin >> a;F.push_back(a);y.push_back(a);
    }
    
    x.push_back(-INF);
    x.push_back(INF);
    y.push_back(-INF);
    y.push_back(INF);
    
    compress X,Y;
    X.init(x);Y.init(y);
    
    const int MEM = 3020;
    bool wallx[MEM][MEM]={},wally[MEM][MEM]={};
    REP(i,N){
        int a = X.index(A[i]);
        int b = X.index(B[i]);
        int c = Y.index(C[i]);
        //cout << "x! " << a << " " << b << " " << c << endl;
        for(int i=a;i<b;i++){
            wally[c][i]=true;
        }
    }
    REP(i,M){
        int d = X.index(D[i]);
        int e = Y.index(E[i]);
        int f = Y.index(F[i]);
        for(int i=e;i<f;i++){
            wallx[i][d]=true;
        }
    }
    
    int Ans=0;
    queue<pair<int,int>> que;
    bool Map[MEM][MEM];
    int xs = X.index(0),ys = Y.index(0);
    que.push({xs,ys});
    Map[xs][ys]=true;
    bool infinity=false;
    
    int dx[4]={1,0,-1,0};
    int dy[4]={0,1,0,-1};
    
    while(!que.empty()){
        int s = que.front().first;
        int t = que.front().second;
        que.pop();
        //cout << X.value(s) << " " << Y.value(t) << endl;
        int Xe = (X.value(s+1)-X.value(s));
        int Ye = (Y.value(t+1)-Y.value(t));
        if(X.value(s+1)==INF || X.value(s)==-INF){
            infinity=true;
        }
        if(Y.value(t+1)==INF || Y.value(t)==-INF){
            infinity=true;
        }
        Ans+=Xe*Ye;
        REP(k,4){
            
            if(s+dx[k]<0 || X.size()<=s+dx[k]){
                continue;
            }
            if(t+dy[k]<0 || Y.size()<=t+dy[k]){
                continue;
            }
            if(k==0 && wallx[t][s+1]){continue;}
            if(k==1 && wally[t+1][s]){continue;}
            if(k==2 && wallx[t][s]){continue;}
            if(k==3 && wally[t][s]){continue;}
            
            if(!Map[s+dx[k]][t+dy[k]]){
                Map[s+dx[k]][t+dy[k]]=true;
                que.push({s+dx[k],t+dy[k]});
            }
        }
        
    }
    if(infinity){
        cout << "INF" << endl;
    }else{
        cout << Ans << endl;
    }
    
    
    
    
    
    
    
    #if debug
    cout << "  ";
    REP(j,10){
        if(X.value(j)>=0)cout << "+";
        if(X.value(j)==-INF){
            cout << "-I ";
        }else{
            cout << X.value(j) << " ";
        }
    }cout << endl;
    REP(i,10){
        if(Y.value(i)>=0)cout << "+";
        if(Y.value(i)==-INF){
            cout << "-I ";
        }else{
            cout << Y.value(i) << " ";
        }
        REP(j,10){
            cout << wallx[i][j] << "  ";
        }cout << endl;
    }cout << endl;
    #endif
    
    #if debug
    cout << "  ";
    REP(j,10){
        if(X.value(j)>=0)cout << "+";
        if(X.value(j)==-INF){
            cout << "-I ";
        }else{
            cout << X.value(j) << " ";
        }
    }cout << endl;
    REP(i,10){
        if(Y.value(i)>=0)cout << "+";
        if(Y.value(i)==-INF){
            cout << "-I ";
        }else{
            cout << Y.value(i) << " ";
        }
        REP(j,10){
            cout << wally[i][j] << "  ";
        }cout << endl;
    }cout << endl;
    #endif
    
    return 0;
}




Measured memory_bytes: 30844