// Begin include: "../../template/template.hpp" using namespace std; // intrinstic #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include // Begin include: "util.hpp" namespace yamada { using ll = long long; using i32 = int; using u32 = unsigned int; using i64 = long long; using u64 = unsigned long long; using i128 = __int128_t; using u128 = __uint128_t; using lld = long double; template using vc = vector; template using VV = vector>; template using VVV = vector>>; template using VVVV = vector>>>; using vl = vector; using vd = vector; using vs = vector; using vb = vector; using vvl = vector>; using vvvl = vector>>; using vvvvl = vector>>>; template using minpq = priority_queue, greater>; template using maxpq = priority_queue, less>; template struct pr : pair { template pr(Args... args) : pair(args...) {} using pair::first; using pair::second; pr &operator+=(const pr &r) { first += r.first; second += r.second; return *this; } pr &operator-=(const pr &r) { first -= r.first; second -= r.second; return *this; } pr &operator*=(const pr &r) { first *= r.first; second *= r.second; return *this; } template pr &operator*=(const S &r) { first *= r, second *= r; return *this; } pr operator+(const pr &r) const { return pr(*this) += r; } pr operator-(const pr &r) const { return pr(*this) -= r; } pr operator*(const pr &r) const { return pr(*this) *= r; } template pr operator*(const S &r) const { return pr(*this) *= r; } pr operator-() const { return pr{-first, -second}; } }; using pl = pr; using vp = vc; using vvp = VV; constexpr int inf = 1001001001; constexpr long long infLL = 4004004004004004004LL; template inline bool amin(T &x, U y) { return (y < x) ? (x = y, true) : false; } template inline bool amax(T &x, U y) { return (x < y) ? (x = y, true) : false; } template inline T Max(const vector &v) { return *max_element(begin(v), end(v)); } template inline T Min(const vector &v) { return *min_element(begin(v), end(v)); } template inline long long Sum(const vector &v) { return accumulate(begin(v), end(v), T(0)); } template int lb(const vector &v, const T &a) { return lower_bound(begin(v), end(v), a) - begin(v); } template int ub(const vector &v, const T &a) { return upper_bound(begin(v), end(v), a) - begin(v); } constexpr long long TEN(int n) { long long ret = 1, x = 10; for (; n; x *= x, n >>= 1) ret *= (n & 1 ? x : 1); return ret; } template vector mkrui(const vector &v, bool rev = false) { vector ret(v.size() + 1); if (rev) { for (int i = int(v.size()) - 1; i >= 0; i--) ret[i] = v[i] + ret[i + 1]; } else { for (int i = 0; i < int(v.size()); i++) ret[i + 1] = ret[i] + v[i]; } return ret; }; template vector mkuni(const vector &v) { vector ret(v); sort(ret.begin(), ret.end()); ret.erase(unique(ret.begin(), ret.end()), ret.end()); return ret; } template vector mkord(int n, F f) { vector ord(n); iota(begin(ord), end(ord), 0); sort(begin(ord), end(ord), f); return ord; } template vector mkinv(vector &v) { int max_val = *max_element(begin(v), end(v)); vector inv(max_val + 1, -1); for (int i = 0; i < (int)v.size(); i++) inv[v[i]] = i; return inv; } vector mkiota(int n) { vector ret(n); iota(ret.begin(), ret.end(), 0); return ret; } // g o f vector p_mrg(vector f, const vector &g) { for (int i = 0; i < (int)f.size(); i++) f[i]=g[f[i]]; return f; } // f: old_idx -> new_idx template vector p_shf(const vector& f, const vector& A, const bool inv = false) { int n = A.size(); vector ret(n); if (!inv) for (int i = 0; i < n; i++) ret[f[i]] = A[i]; else for (int i = 0; i < n; i++) ret[i] = A[f[i]]; return ret; } template T mkrev(const T &v) { T w{v}; reverse(begin(w), end(w)); return w; } template bool nxp(T &v) { return std::next_permutation(begin(v), end(v)); } template void nxp(int n, F f) { vector a(n); iota(begin(a), end(a), 0); do { f(a); } while (nxp(a)); } // 返り値の型は入力の T に依存 // i 要素目 : [0, a[i]) template vector> product(const vector &a) { vector> ret; vector v; auto dfs = [&](auto rc, int i) -> void { if (i == (int)a.size()) { ret.push_back(v); return; } for (int j = 0; j < a[i]; j++) v.push_back(j), rc(rc, i + 1), v.pop_back(); }; dfs(dfs, 0); return ret; } template vector Digit(T a, const U &x, int siz = -1) { vector ret; while (a > 0) { ret.emplace_back(a % x); a /= x; } if (siz >= 0) while ((int)ret.size() < siz) ret.emplace_back(0); return ret; } // F : function(void(T&)), mod を取る操作 // T : 整数型のときはオーバーフローに注意する template T Power(T a, long long n, const T &I, const function &f) { T res = I; for (; n; f(a = a * a), n >>= 1) { if (n & 1) f(res = res * a); } return res; } // T : 整数型のときはオーバーフローに注意する template T Power(T a, long long n, const T &I = T{1}) { return Power(a, n, I, function{[](T &) -> void {}}); } template T Rev(const T &v) { T res = v; reverse(begin(res), end(res)); return res; } template vector Transpose(const vector &v) { using U = typename T::value_type; if(v.empty()) return {}; int H = v.size(), W = v[0].size(); vector res(W, T(H, U{})); for (int i = 0; i < H; i++) for (int j = 0; j < W; j++) res[j][i] = v[i][j]; return res; } template vector Rotate(const vector &v, int clockwise = true) { using U = typename T::value_type; int H = v.size(), W = v[0].size(); vector res(W, T(H, U{})); for (int i = 0; i < H; i++) for (int j = 0; j < W; j++) { if (clockwise) res[W - 1 - j][i] = v[i][j]; else res[j][H - 1 - i] = v[i][j]; } return res; } template T bisect(T ok, T bad, F pred) { if (ok == bad) return ok; while (bad - ok > 1) { T mid = ok + (bad - ok) / 2; (pred(mid) ? ok : bad) = mid; } return bad; } template T bisect_double(T ok, T bad, F pred, int iter = 100) { if (ok == bad) return ok; while (iter--) { T mid = ok + (bad - ok) / 2; (pred(mid) ? ok : bad) = mid; } return bad; } template bool inLR(T L, T x, T R){ return (L <= x && x < R); } bool YESNO(bool b) { std::cout << (b ? "YES\n" : "NO\n"); return b; } bool YesNo(bool b) { std::cout << (b ? "Yes\n" : "No\n"); return b; } bool yesno(bool b) { std::cout << (b ? "yes\n" : "no\n"); return b; } bool is_square(uint64_t n) { if (n < 2) return true; uint64_t r = static_cast(sqrtl(static_cast(n))); if (r * r == n) return true; ++r; return r * r == n; } template struct CumulativeSum { std::vector S; CumulativeSum(std::vector &A) { int N = A.size(); S.resize(N + 1); for (int i = 0; i < N; i++) S[i + 1] = S[i] + A[i]; } T query(int l, int r) { return (l <= r ? S[r] - S[l] : (T)0); } T query() { return S.back(); } inline T operator()(int l, int r) { return query(l, r); } inline T operator()() { return query(); } }; long long Floor(long long a, long long b) { assert(b != 0); if (b < 0) a = -a, b = -b; return a / b - (a % b < 0); } long long Under(long long a, long long b) { assert(b != 0); if (b < 0) a = -a, b = -b; return a / b - (a % b <= 0); } long long Ceil(long long a, long long b) { assert(b != 0); if (b < 0) a = -a, b = -b; return a / b + (a % b > 0); } long long Over(long long a, long long b) { assert(b != 0); if (b < 0) a = -a, b = -b; return a / b + (a % b >= 0); } long long Modulo(long long a, long long b) { assert(b > 0); long long c = a % b; return c < 0 ? c + b : c; } } // namespace yamada // End include: "util.hpp" // Begin include: "bitop.hpp" namespace yamada { __attribute__((target("popcnt"))) inline int popcnt(const u64 &a) { return __builtin_popcountll(a); } inline int lsb(const u64 &a) { return a ? __builtin_ctzll(a) : 64; } inline int msb(const u64 &a) { return a ? 63 - __builtin_clzll(a) : -1; } template inline int gbit(const T &a, int i) { return (a >> i) & 1; } template inline void sbit(T &a, int i, bool b) { if (gbit(a, i) != b) a ^= T(1) << i; } constexpr long long PW(int n) { return 1LL << n; } constexpr long long MSK(int n) { return (1LL << n) - 1; } } // namespace yamada // End include: "bitop.hpp" // Begin include: "inout.hpp" namespace yamada { template ostream &operator<<(ostream &os, const array &v); template istream &operator>>(istream &is, array &v); template ostream &operator<<(ostream &os, const vector &v); template istream &operator>>(istream &is, vector &v); template ostream &operator<<(ostream &os, const pair &p); template istream &operator>>(istream &is, pair &p); template ostream &operator<<(ostream &os, const pair &p) { os << p.first << " " << p.second; return os; } template istream &operator>>(istream &is, pair &p) { is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const vector &v) { int s = (int)v.size(); for (int i = 0; i < s; i++) os << (i ? " " : "") << v[i]; return os; } template istream &operator>>(istream &is, vector &v) { for (auto &x : v) is >> x; return is; } template ostream &operator<<(ostream &os, const array &v) { for (int i = 0; i < K; i++) os << (i ? " " : "") << v[i]; return os; } template istream &operator>>(istream &is, array &v) { for (auto &x : v) is >> x; return is; } istream &operator>>(istream &is, __int128_t &x) { string S; is >> S; x = 0; int flag = 0; for (auto &c : S) { if (c == '-') { flag = true; continue; } x *= 10; x += c - '0'; } if (flag) x = -x; return is; } istream &operator>>(istream &is, __uint128_t &x) { string S; is >> S; x = 0; for (auto &c : S) { x *= 10; x += c - '0'; } return is; } ostream &operator<<(ostream &os, __int128_t x) { if (x == 0) return os << 0; if (x < 0) os << '-', x = -x; string S; while (x) S.push_back('0' + x % 10), x /= 10; reverse(begin(S), end(S)); return os << S; } ostream &operator<<(ostream &os, __uint128_t x) { if (x == 0) return os << 0; string S; while (x) S.push_back('0' + x % 10), x /= 10; reverse(begin(S), end(S)); return os << S; } void in() {} template void in(T &t, U &...u) { cin >> t; in(u...); } void out() { cout << "\n"; } template void out(const T &t, const U &...u) { cout << t; if constexpr (sizeof...(u)) { cout << sep; out(u...); } else out(); } void fout() { cout << endl; } template void fout(const T &t, const U &...u) { cout << t; if constexpr (sizeof...(u)) { cout << sep; fout(u...); } else fout(); } void wout() {} template void wout(const T &t, const U &...u) { cout << t; if constexpr (sizeof...(u)) { cout << sep; wout(u...); } else wout(); } template std::string toFraction(const mint &a) { for (int deno = 1; deno <= iter; deno++) { mint inv = ((mint)deno).inverse(); for (int nume = 0; nume <= iter; nume++) { mint val = inv * nume; if (val == a) { if (deno == 1) return std::to_string(nume); return std::to_string(nume) + "/" + std::to_string(deno); } else if (-val == a) { if (deno == 1) return std::to_string(-nume); return std::to_string(-nume) + "/" + std::to_string(deno); } } } return "NF"; } void mout() { cout << endl; } template void mout(const mint &a, const U &...u) { std::cout << toFraction(a); if constexpr (sizeof...(u)) { cout << sep; mout(u...); } else mout(); } template void mout(std::vector &A) { for (int i = 0; i < (int)A.size(); i++) { std::cout << toFraction(A[i], iter) << (i == (int)A.size() - 1 ? "\n" : " "); } } struct IoSetupYamada { IoSetupYamada() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); cerr << fixed << setprecision(7); } } iosetupyamada; } // namespace yamada // End include: "inout.hpp" // Begin include: "macro.hpp" #define each(x, v) for (auto&& x : v) #define each2(x, y, v) for (auto&& [x, y] : v) #define each3(x, y, z, v) for (auto&& [x, y, z] : v) #define each4(x, y, z, w, v) for (auto&& [x, y, z, w] : v) #define all(v) (v).begin(), (v).end() #define rep1(a) for (long long _ = 0; _ < (long long)(a); ++_) #define rep2(i, a) for (long long i = 0; i < (long long)(a); ++i) #define rep3(i, a, b) for (long long i = a; i < (long long)(b); ++i) #define rep4(i, a, b, c) for (long long i = a; i < (long long)(b); i += c) #define overload4(a, b, c, d, e, ...) e #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define rep1r(a) for (long long i = (long long)(a)-1; i >= 0LL; --i) #define rep2r(i, a) for (long long i = (long long)(a)-1; i >= 0LL; --i) #define rep3r(i, a, b) for (long long i = (long long)(b)-1; i >= (long long)(a); --i) #define overload3(a, b, c, d, ...) d #define repr(...) overload3(__VA_ARGS__, rep3r, rep2r, rep1r)(__VA_ARGS__) #define eb emplace_back #define mkp make_pair #define mkt make_tuple #define fi first #define se second #define vv(type, name, h, ...) \ vector > name(h, vector(__VA_ARGS__)) #define vvv(type, name, h, w, ...) \ vector>> name( \ h, vector>(w, vector(__VA_ARGS__))) #define vvvv(type, name, a, b, c, ...) \ vector>>> name( \ a, vector>>( \ b, vector>(c, vector(__VA_ARGS__)))) #define ini(...) \ int __VA_ARGS__; \ in(__VA_ARGS__) #define inl(...) \ long long __VA_ARGS__; \ in(__VA_ARGS__) #define ins(...) \ string __VA_ARGS__; \ in(__VA_ARGS__) #define in2(s, t) \ for (int i = 0; i < (int)s.size(); i++) { \ in(s[i], t[i]); \ } #define in3(s, t, u) \ for (int i = 0; i < (int)s.size(); i++) { \ in(s[i], t[i], u[i]); \ } #define in4(s, t, u, v) \ for (int i = 0; i < (int)s.size(); i++) { \ in(s[i], t[i], u[i], v[i]); \ } #define die(...) \ do { \ yamada::out(__VA_ARGS__);\ return; \ } while (0) // End include: "macro.hpp" namespace yamada { void solve(); } int main() { yamada::solve(); } // End include: "../../template/template.hpp" // Begin include: "../../segment-tree/lamda-segment-tree.hpp" template struct SegmentTree { int N; int size; vector seg; const F f; const T I; SegmentTree(F _f, const T &I_) : N(0), size(0), f(_f), I(I_) {} SegmentTree(int _N, F _f, const T &I_) : f(_f), I(I_) { init(_N); } SegmentTree(const vector &v, F _f, T I_) : f(_f), I(I_) { init(v.size()); for (int i = 0; i < (int)v.size(); i++) { seg[i + size] = v[i]; } build(); } void init(int _N) { N = _N; size = 1; while (size < N) size <<= 1; seg.assign(2 * size, I); } void set(int k, T x) { seg[k + size] = x; } void build() { for (int k = size - 1; k > 0; k--) { seg[k] = f(seg[2 * k], seg[2 * k + 1]); } } void update(int k, T x) { k += size; seg[k] = x; while (k >>= 1) { seg[k] = f(seg[2 * k], seg[2 * k + 1]); } } void add(int k, T x) { k += size; seg[k] += x; while (k >>= 1) { seg[k] = f(seg[2 * k], seg[2 * k + 1]); } } // query to [a, b) T query(int a, int b) { T L = I, R = I; for (a += size, b += size; a < b; a >>= 1, b >>= 1) { if (a & 1) L = f(L, seg[a++]); if (b & 1) R = f(seg[--b], R); } return f(L, R); } T query() { return seg[1]; } T &operator[](const int &k) { return seg[k + size]; } // check(a[l] * ... * a[r-1]) が true となる最大の r // (右端まですべて true なら N を返す) template int max_right(int l, C check) { assert(0 <= l && l <= N); assert(check(I) == true); if (l == N) return N; l += size; T sm = I; do { while (l % 2 == 0) l >>= 1; if (!check(f(sm, seg[l]))) { while (l < size) { l = (2 * l); if (check(f(sm, seg[l]))) { sm = f(sm, seg[l]); l++; } } return l - size; } sm = f(sm, seg[l]); l++; } while ((l & -l) != l); return N; } // check(a[l] * ... * a[r-1]) が true となる最小の l // (左端まで true なら 0 を返す) template int min_left(int r, C check) { assert(0 <= r && r <= N); assert(check(I) == true); if (r == 0) return 0; r += size; T sm = I; do { r--; while (r > 1 && (r % 2)) r >>= 1; if (!check(f(seg[r], sm))) { while (r < size) { r = (2 * r + 1); if (check(f(seg[r], sm))) { sm = f(seg[r], sm); r--; } } return r + 1 - size; } sm = f(seg[r], sm); } while ((r & -r) != r); return 0; } }; // End include: "../../segment-tree/lamda-segment-tree.hpp" const int K=6; void yamada::solve() { inl(N,Q); vc> lrc(N); in(lrc); each3(l,r,c,lrc)--l; vvl ids(N+1); // iにもあり、i-1にもある rep(i,N){ auto[l,r,c]=lrc[i]; rep(d,l+1,r)ids[d].eb(i); } each(is,ids)while(is.size(),K>>; auto check=[&](ll i,ll j)->bool{ // disjoint か if(i<0 || j<0)return 1; auto[l,r,c]=lrc[i]; auto[L,R,C]=lrc[j]; return r<=L || R<=l; }; auto dheck=[&](ll i,ll L,ll R)->bool{ // L,R に包含されているか if(i<0)return 1; auto[l,r,c]=lrc[i]; return L<=l && r<=R; }; T ti; get<0>(ti)=infLL; auto F=[&](T X,T Y)->T{ if(X==ti)return Y; if(Y==ti)return X; auto& A=get<2>(X); auto& B=get<2>(Y); T ans; auto&[L,R,C]=ans; each(c1,C)each(c,c1)c=-infLL; L=get<0>(X); R=get<1>(Y); ll M=get<1>(X); rep(idsi,K)rep(idsj,K)rep(idsk,K){ ll a=A[idsi][idsk]; ll b=B[idsk][idsj]; if(a<0 || b<0)continue; ll i=ids[L][idsi]; ll j=ids[R][idsj]; ll k=ids[M][idsk]; if(!check(i,j))continue; assert(check(j,k)); assert(check(k,i)); if(!dheck(k,L,R))continue; ll c=a+b; if(k>=0)c+=lrc[k][2]; amax(C[idsi][idsj],c); } return ans; }; vc init(N); { vvl ids2(N); rep(i,N){ auto[l,r,c]=lrc[i]; rep(d,l,r)ids2[d].eb(i); } rep(d,N){ auto&[L,R,C]=init[d]; L=d,R=d+1; each(c1,C)each(c,c1)c=-infLL; rep(idsi,K)rep(idsj,K){ ll i=ids[L][idsi]; ll j=ids[R][idsj]; if(!check(i,j))continue; C[idsi][idsj]=0; if(i>=0 || j>=0)continue; each(k,ids2[d]){ if(dheck(k,d,d+1))amax(C[idsi][idsj],lrc[k][2]); } } } } SegmentTree seg(init,F,ti); while(Q--){ inl(I,J); --I; --J; if(!check(I,J)){ out(-1); continue; } if(lrc[I]>lrc[J])swap(I,J); auto[l,r,c]=lrc[I]; auto[L,R,C]=lrc[J]; ll ans=c+C; if(l-0)ans+=get<2>(seg.query(0,l))[K-1][K-1]; if(L-r)ans+=get<2>(seg.query(r,L))[K-1][K-1]; if(N-R)ans+=get<2>(seg.query(R,N))[K-1][K-1]; out(ans); } }