#include<iostream>
#include<iomanip>
#include<map>
#include<unordered_map>
#include<set>
#include<vector>
#include<algorithm>
#include<cmath>
#include<string>
#include<queue>
#include<stack>
#include<functional>
#include<tuple>

using namespace std;

typedef long long ll;
typedef pair<ll, ll> pii;
typedef pair<ll, bool> pib;

typedef vector<bool> vb;

typedef vector<ll> vi;
typedef vector<vi> vvi;
typedef vector<vvi> vvvi;

typedef vector<pii> vpii;
typedef vector<vpii> vvpii;

typedef vector<double> vf;

typedef queue<ll> qi;

typedef long double ld;

#define mp make_pair
#define mt make_tuple
#define pb push_back

#define rep(i, N) for(ll i = 0; i < N; i++)
#define repa(i, a, N) for(ll i = a; i < N; i++)
#define repr(i, N) for(ll i = N-1; i >= 0; i--)

#define drep(i, N, j, M) rep(i, N) rep(j, M)
#define trep(i, N, j, M, k, L) rep(i, N) rep(j, M) rep(k, L)

#define all(A) A.begin(), A.end()
#define uni(A) A.erase(unique(all(A)), A.end())

template<class t, class u>
ostream& operator<<(ostream& os, const pair<t, u>& p) {
	return os << "{" << p.first << "," << p.second << "}";
}

template<class t>
ostream& operator<<(ostream& os, const vector<t>& v) {
	os << "{";
	for (auto e : v)os << e << ",";
	return os << "}" << endl;
}

template<class t, class u>
ostream& operator<<(ostream& os, const unordered_map<t, u>& m) {
	os << "{";
	for (auto itr = m.begin(); itr != m.end(); ++itr) {
		os << "(" << itr->first << ", " << itr->second << "), ";
	}
	return os << "}";
}

template<class t>
ostream& operator<<(ostream& os, const set<t>& m) {
	os << "{";
	for (auto itr = m.begin(); itr != m.end(); ++itr) {
		os << *itr << ", ";
	}
	return os << "}";
}

template<class t>
ostream& operator<<(ostream& os, const multiset<t>& m) {
	os << "{";
	for (auto itr = m.begin(); itr != m.end(); ++itr) {
		os << *itr << ", ";
	}
	return os << "}";
}

const ll LLMAX = numeric_limits<long long>::max() / 3;
const double DMAX = numeric_limits<double>::max() / 3;

const double PI = 3.141592653589793;
const ll MOD = 1e9 + 7;
//const ll MOD = 998244353;

template <std::int_fast64_t Modulus> class modint {
	using i64 = std::int_fast64_t;

public:
	i64 a;

	constexpr modint(const i64 x = 0) noexcept : a(x % Modulus) {}
	constexpr i64 &value() noexcept { return a; }
	constexpr const i64 &value() const noexcept { return a; }
	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 {
		a += rhs.a;
		if (a >= Modulus) {
			a -= Modulus;
		}
		return *this;
	}
	constexpr modint &operator-=(const modint rhs) noexcept {
		if (a < rhs.a) {
			a += Modulus;
		}
		a -= rhs.a;
		return *this;
	}
	constexpr modint &operator*=(const modint rhs) noexcept {
		a = a * rhs.a % Modulus;
		return *this;
	}
	constexpr modint &operator/=(modint rhs) noexcept {
		i64 exp = Modulus - 2;
		while (exp) {
			if (exp % 2) {
				*this *= rhs;
			}
			rhs *= rhs;
			exp /= 2;
		}
		return *this;
	}
};

template<std::int_fast64_t Modulus>
ostream& operator<<(ostream& os, const modint<Modulus>& m) {
	return os << (m.a + Modulus) % Modulus;
}

typedef modint<MOD> mod;

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

void No() { cout << "No" << endl; }
void Yes() { cout << "Yes" << endl; }
void NO() { cout << "NO" << endl; }
void YES() { cout << "YES" << endl; }

vector<ll> fac(1e6+1); //n!(mod M)
vector<ll> ifac(1e6+1); //k!^{M-2} (mod 
ll mpow(ll x, ll n) { //x^n(mod M) ←普通にpow(x,n)では溢れてしまうため，随時mod計算
	ll ans = 1;
	while (n != 0) {
		if (n & 1) ans = ans * x % MOD;
		x = x * x % MOD;
		n = n >> 1;
	}
	return ans;
}

ll comb(ll a, ll b) { //aCbをmod計算
	if (a == 0 && b == 0)return 1;
	if (a < b || a < 0)return 0;
	ll tmp = ifac[a - b] * ifac[b] % MOD;
	return tmp * fac[a] % MOD;
}

void pre_calc_comb() {
	fac[0] = 1;
	ifac[0] = 1;
	for (ll i = 0; i < 1e6; i++) {
		fac[i + 1] = fac[i] * (i + 1) % MOD; // n!(mod M)
		ifac[i + 1] = ifac[i] * mpow(i + 1, MOD - 2) % MOD; // k!^{M-2} (mod M) ←累乗にmpowを採用
	}
}

template <class T> class SegTree {
	int n;
	vector<T> data;
	T def;
	function<T(T, T)> operation;
	function<T(T, T)> update;
	T _query(int a, int b, int k, int l, int r) {
		if (r <= a || b <= l) return def;
		if (a <= l && r <= b)
			return data[k];
		else {
			T c1 = _query(a, b, 2 * k + 1, l, (l + r) / 2);
			T c2 = _query(a, b, 2 * k + 2, (l + r) / 2, r);
			return operation(c1, c2);
		}
	}

public:
	SegTree(size_t _n, T _def, function<T(T, T)> _operation,
		function<T(T, T)> _update)
		: def(_def), operation(_operation), update(_update) {
		n = 1;
		while (n < _n) {
			n *= 2;
		}
		data = vector<T>(2 * n - 1, def);
	}

	void change(int i, T x) {
		i += n - 1;
		data[i] = update(data[i], x);
		while (i > 0) {
			i = (i - 1) / 2;
			data[i] = operation(data[i * 2 + 1], data[i * 2 + 2]);
		}
	}

	T query(int a, int b) {
		return _query(a, b, 0, 0, n);
	}

	T operator[](int i) {
		return data[i + n - 1];
	}
};

vector< ll > divisor(ll n) {
	vector< ll > ret;
	for (ll i = 1; i * i <= n; i++) {
		if (n % i == 0) {
			ret.push_back(i);
			if (i * i != n) ret.push_back(n / i);
		}
	}
	sort(begin(ret), end(ret));
	return (ret);
}

/*
SegTree<ll> st(N, LLMAX,
    // a: left child, b: right child
	[](ll a, ll b) {return min(a, b); },
	// d: old, x: query
	[](ll d, ll x) {return x; });
// */

ll gcd(ll a, ll b)
{
	if (a == 0)
		return b;
	if (b == 0)
		return a;

	if (a%b == 0)
	{
		return(b);
	}
	else
	{
		return(gcd(b, a%b));
	}
}


ll N, M, K;
ll ans = 0;

int main() {
	cin >> N >> M;

	typedef tuple<ll, ll, ll> tt;
	vector<tt> V(N);
	vector<tt> H(M);

	vi X(0);
	vi Y(0);

	rep(i, N) {
		ll a, b, c;
		cin >> a >> b >> c;
		V[i] = mt(c, a, b);
		X.pb(c);
	}
	sort(all(V));

	rep(i, M) {
		ll d, e, f;
		cin >> d >> e >> f;
		H[i] = mt(d, e, f);
		Y.pb(d);
	}
	sort(all(H));

	sort(all(X));
	uni(X);
	sort(all(Y));
	uni(Y);


	ll xs = X.size();
	ll ys = Y.size();
	vvi Wv(xs, vi(ys, false));
	vvi Wh(xs, vi(ys, false));

	for (auto v : V) {
		ll a, b, c;
		c = get<0>(v);
		a = get<1>(v);
		b = get<2>(v);

		ll x = lower_bound(all(X), c) - X.begin();
		ll ym = lower_bound(all(Y), a) - Y.begin();
		ll yM = upper_bound(all(Y), b) - Y.begin();
		yM--;

		repa(y, ym, yM) {
			Wv[x][y] = true;
		}
	}

	for (auto h : H) {
		ll d, e, f;
		d = get<0>(h);
		e = get<1>(h);
		f = get<2>(h);

		ll y = lower_bound(all(Y), d) - Y.begin();
		ll xm = lower_bound(all(X), e) - X.begin();
		ll xM = upper_bound(all(X), f) - X.begin();
		xM--;

		repa(x, xm, xM) {
			Wh[x][y] = true;
		}
	}

	ll ox, oy;
	ox = lower_bound(all(X), 0) - X.begin();
	oy = lower_bound(all(Y), 0) - Y.begin();

	queue<pii> que;
	que.push(mp(ox, oy));

	map<pii, bool> U;
	U[mp(ox, oy)] = true;
	ans = 0;
	while (que.empty() == false) {
		auto c = que.front();
		que.pop();

		ll xi = c.first;
		ll yi = c.second;
		if (xi == 0 || yi == 0 || xi == xs || yi == ys) {
			cout << "INF" << endl;
			return 0;
		}

		ll s = (X[xi] - X[xi - 1]) * (Y[yi] - Y[yi - 1]);
		ans += s;

		if (!Wv[xi - 1][yi-1]) {
			auto n = mp(xi - 1, yi);
			if (!U[n]) {
				U[n] = true;
				que.push(n);
			}
		}
		if (!Wv[xi][yi-1]) {
			auto n = mp(xi + 1, yi);

			if (!U[n]) {
				U[n] = true;
				que.push(n);
			}
		}
		if (!Wh[xi-1][yi - 1]) {
			auto n = mp(xi, yi - 1);
			if (!U[n]) {
				U[n] = true;
				que.push(n);
			}
		}
		if (!Wh[xi-1][yi]) {
			auto n = mp(xi, yi + 1);
			if (!U[n]) {
				U[n] = true;
				que.push(n);
			}
		}
	}


	cout << ans << endl;

	return 0;
}


Measured memory_bytes: 96952