#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i = 0; i < int(n); i++)
using ll = long long;
using P = pair<int, int>;

// Aの難易度は0から上げていく、Bの難易度は100001から2完の人数を満たすまで尺取り式に下げていく

int main() {
    cin.tie(0);
    ios_base::sync_with_stdio(false);
    
    int n, m; cin >> n >> m;
    vector<int> x(n), a(n), b(n);
    rep(i, n) cin >> x[i] >> a[i] >> b[i];
    // a_li[x] = a[i] = xなるiのリスト
    vector<vector<int>> a_li(100002), b_li(100002);
    rep(i, n) {
        a_li[a[i]].push_back(i);
        b_li[b[i]].push_back(i);
    }

    int INF = 1e9;
    int ans = INF;
    int a_diff = 0, b_diff = 100001;
    int nikan = 0, sankan = 0;
    rep(i, n) {
        x[i]++; // この時点でAは全員正解できるため
        if (x[i] >= 2) nikan++;
        if (x[i] >= 3) sankan++;
    }
    for (; a_diff <= 100001; a_diff++) {
        // 二冠の人数が足りるまでb_diffを下げていく
        while (b_diff > 0 && nikan < m) {
            b_diff--;
            for (auto elem : b_li[b_diff]) {
                x[elem]++;
                if (x[elem] == 2) nikan++;
                if (x[elem] == 3) sankan++;
            }
        }
        if (nikan < m) break;
        ans = min(ans, sankan);

        // a_diffを上げる処理、a[i] = a_diffなるiについてx[i]--
        for (auto elem : a_li[a_diff]) {
            x[elem]--;
            if (x[elem] == 1) nikan--;
            if (x[elem] == 2) sankan--;
        }
    }
    cout << ans << endl;
    return 0;
}