# include "bits/stdc++.h" using namespace std; using LL = long long; using ULL = unsigned long long; const double PI = acos(-1); templateconstexpr T INF() { return ::std::numeric_limits::max(); } templateconstexpr T HINF() { return INF() / 2; } template T_char TL(T_char cX) { return tolower(cX); }; template T_char TU(T_char cX) { return toupper(cX); }; const int vy[] = { -1, -1, -1, 0, 1, 1, 1, 0 }, vx[] = { -1, 0, 1, 1, 1, 0, -1, -1 }; const int dx[4] = { -1,0,1,0 }, dy[4] = { 0,-1,0,1 }; int popcnt(unsigned long long n) { int cnt = 0; for (int i = 0; i < 64; i++)if ((n >> i) & 1)cnt++; return cnt; } int d_sum(LL n) { int ret = 0; while (n > 0) { ret += n % 10; n /= 10; }return ret; } int d_cnt(LL n) { int ret = 0; while (n > 0) { ret++; n /= 10; }return ret; } LL gcd(LL a, LL b) { if (b == 0)return a; return gcd(b, a%b); }; LL lcm(LL a, LL b) { LL g = gcd(a, b); return a / g*b; }; # define ALL(qpqpq) (qpqpq).begin(),(qpqpq).end() # define UNIQUE(wpwpw) (wpwpw).erase(unique(ALL((wpwpw))),(wpwpw).end()) # define LOWER(epepe) transform(ALL((epepe)),(epepe).begin(),TL) # define UPPER(rprpr) transform(ALL((rprpr)),(rprpr).begin(),TU) # define FOR(i,tptpt,ypypy) for(LL i=(tptpt);i<(ypypy);i++) # define REP(i,upupu) FOR(i,0,upupu) # define INIT std::ios::sync_with_stdio(false);std::cin.tie(0) # pragma warning(disable:4996) int n, m; int x[101010], a[101010], b[101010]; vector ga[101010], gb[101010]; int ac2, ac3; int main() { cin >> n >> m; REP(i, n) { cin >> x[i] >> a[i] >> b[i]; x[i]++; ga[a[i]].emplace_back(i); gb[b[i]].emplace_back(i); if (x[i] >= 2)ac2++; if (x[i] >= 3)ac3++; } int ret = n, r = 100001; REP(i, 100001) { REP(j, ga[i].size()) { if (x[ga[i][j]] == 3)ac3--; if (x[ga[i][j]] == 2)ac2--; x[ga[i][j]]--; } while (ac2 < m&&--r >= 0) { REP(j, gb[r].size()) { x[gb[r][j]]++; if (x[gb[r][j]] == 3)ac3++; if (x[gb[r][j]] == 2)ac2++; } } if (ac2 >= m&&ret > ac3)ret = ac3; } cout << ret << endl; }