#include <bits/stdc++.h>

#define long long long int
#define DEBUG
using namespace std;

// @author: pashka

bool lss(long a1, int a2, long b1, int b2) {
    return a1 < b1 || (a1 == b1 && a2 < b2);
}

int main() {
    ios::sync_with_stdio(false);

    int n;
    long m;
    cin >> n >> m;
    vector<long> a(n), da(n), b(n), db(n);
    for (int i = 0; i < n; i++) {
        cin >> a[i] >> da[i] >> b[i] >> db[i];
    }

//    for (int t = 0; t <= m; t++) {
//        vector<long> aa(n);
//        vector<long> bb(n);
//        for (int i = 0; i< n; i++) {
//            aa[i] = a[i] + da[i] * t;
//            bb[i] = b[i] + db[i] * t;
//        }
//        vector<int> r;
//        {
//            vector<pair<long, int>> d;
//            for (int i = 0; i < n; i++) {
//                if (aa[i] < bb[i]) {
//                    d.emplace_back(aa[i], i);
//                }
//            }
//            sort(d.begin(), d.end());
//            for (auto p : d) {
//                r.push_back(p.second);
//            }
//        }
//        {
//            vector<pair<long, int>> d;
//            for (int i = 0; i < n; i++) {
//                if (aa[i] >= bb[i]) {
//                    d.emplace_back(bb[i], i);
//                }
//            }
//            sort(d.rbegin(), d.rend());
//            for (auto p : d) {
//                r.push_back(p.second);
//            }
//        }
//        cout << t << ": ";
//        for (auto x : r) cout << x << " ";
//        cout << "\n";
//    }

    vector<long> e = {0, m + 1};
    for (int t = 0; t < 2; t++) {
        for (int i = 0; i < n; i++) {
            for (int j = 0; j < n; j++) {
                if (i == j) continue;
                if (lss(a[i], i, a[j], j) &&
                    !lss(da[i], i, da[j], j)) {
                    long l = 0;
                    long r = 1;
                    while (lss(a[i] + r * da[i], i, a[j] + r * da[j], j)) {
                        r *= 2;
                    }
                    while (r > l + 1) {
                        long m = l + (r - l) / 2;
                        if (lss(a[i] + m * da[i], i, a[j] + m * da[j], j)) {
                            l = m;
                        } else {
                            r = m;
                        }
                    }
                    if (r < m)
                        e.push_back(r);
                }
            }
        }
        swap(a, b);
        swap(da, db);
    }
    for (int i = 0; i < n; i++) {
        if (lss(a[i], 0, b[i], 0) &&
            !lss(da[i], 0, db[i], 0)) {
            long l = 0;
            long r = 1;
            while (lss(a[i] + r * da[i], 0, b[i] + r * db[i], 0)) {
                r *= 2;
            }
            while (r > l + 1) {
                long m = l + (r - l) / 2;
                if (lss(a[i] + m * da[i], 0, b[i] + m * db[i], 0)) {
                    l = m;
                } else {
                    r = m;
                }
            }
            if (r < m)
                e.push_back(r);
        }
    }

    sort(e.begin(), e.end());
    e.erase(unique(e.begin(), e.end()), e.end());
//    for (auto x: e) {
//        cout << x << "\n";
//    }

    long res = 0;
    for (int ii = 0; ii < (int)e.size() - 1; ii++) {
        long tl = e[ii];
        long tr = e[ii + 1];
        vector<long> aa(n);
        vector<long> bb(n);
        for (int i = 0; i< n; i++) {
            aa[i] = a[i] + da[i] * tl;
            bb[i] = b[i] + db[i] * tl;
        }
        vector<int> r;
        {
            vector<pair<long, int>> d;
            for (int i = 0; i < n; i++) {
                if (aa[i] < bb[i]) {
                    d.emplace_back(aa[i], i);
                }
            }
            sort(d.begin(), d.end());
            for (auto p : d) {
                r.push_back(p.second);
            }
        }
        {
            vector<pair<long, int>> d;
            for (int i = 0; i < n; i++) {
                if (aa[i] >= bb[i]) {
                    d.emplace_back(bb[i], i);
                }
            }
            sort(d.rbegin(), d.rend());
            for (auto p : d) {
                r.push_back(p.second);
            }
        }

        vector<pair<long, long>> g;
        g.push_back({0, 0});
        pair<long, long> cur = {0, 0};
        for (int i : r) {
            cur.first -= a[i];
            cur.second -= da[i];
//            cout << cur.first << " " << cur.second << "\n";
            g.push_back({cur.first, -cur.second});
            cur.first += b[i];
            cur.second += db[i];
        }
        sort(g.begin(), g.end());
        vector<pair<long, long>> st;
//        for (auto p : g) {
//            cout << p.first << "," << p.second << " ";
//        }
//        cout << "\n";
        for (auto p : g) {
            while (st.size() >= 2) {
                pair<long, long> a = st[st.size() - 2];
                pair<long, long> b = st[st.size() - 1];
                long dx1 = b.first - a.first;
                long dy1 = b.second - a.second;
                long dx2 = p.first - a.first;
                long dy2 = p.second - a.second;
                if (dx1 * dy2 - dx2 * dy1 >= 0) {
                    st.pop_back();
                } else {
                    break;
                }
            }
            st.push_back(p);
        }
        while (st.size() >= 2) {
            pair<long, long> a = st[st.size() - 2];
            pair<long, long> b = st[st.size() - 1];
            if (b.second <= a.second) {
                st.pop_back();
            } else {
                break;
            }
        }
        g = st;
//        for (auto p : g) {
//            cout << p.first << "," << p.second << " ";
//        }
//        cout << "\n";

        int k = g.size();
        vector<pair<long, int>> tt;
        tt.push_back({tl, 0});
        for (int i = 0; i < k - 1; i++) {
            long a1 = g[i].first;
            long b1 = g[i].second;
            long a2 = g[i + 1].first;
            long b2 = g[i + 1].second;
            long l = 0;
            long r = 1;
            while (a2 - b2 * r > a1 - b1 * r) r *= 2;
            while (r > l + 1) {
                long m = l + (r - l) / 2;
                if (a2 - b2 * m <= a1 - b1 * m) {
                    r = m;
                } else {
                    l = m;
                }
            }
            r = max(r, tl);
            r = min(r, tr);
            tt.push_back({r, i + 1});
        }
        tt.push_back({tr, k});

        for (int i = 0; i < (int)tt.size() - 1; i++) {
//            cout << "! " << tt[i].first << " " << tt[i].second << "\n";
            auto p = g[tt[i].second];

            long d = (tt[i + 1].first - tt[i].first);
            res += (-p.first) * d;
            res += p.second * tt[i].first * d;
            res += p.second * (d * (d - 1) / 2);

//            for (int t = tt[i].first; t < tt[i + 1].first; t++) {
//                long s = - p.first + t * p.second;
//                res += s;
//                cout << t << " " << s << "\n";
//            }
        }



//        cout << tl << ": ";
//        for (auto x : r) cout << x << " ";
//        cout << "\n";
    }
    cout << (uint64_t)res << "\n";


    return 0;
}