考虑每个小区间的的贡献，显然是只用到了覆盖了这个小区间的值里面第 \(k\) 大。

倘若我们已经知道了覆盖当前区间的值都有多少个，我们就可以在线段树上二分找第 \(k\)大。

现在我们并不知道，我们可以用差分+线段树上修改的方法来完成对当前 值的出现次数 的维护。

#include<algorithm>
#include<iostream>
#include<cstdio>
#define lson (k<<1)
#define rson ((k<<1)|1)
using namespace std;
int n, m, k, tot, r, a, b, c;
long long ans;
const int N = 100010;
int s[N << 2];
struct node
{
	int x, y, k;
} p[N << 2];
int my(node a, node b) {return a.x < b.x;}
void pushup(int k) {s[k] = s[lson] + s[rson];}
void change(int k, int l, int r, int pos, int val)
{
	if (l == r)
	{
		s[k] += val;
		return;
	}
	int mid = (l + r) >> 1;
	if (pos <= mid)change(lson, l, mid, pos, val);
	else change(rson, mid + 1, r, pos, val);
	pushup(k);
}
int ask(int k, int l, int r, int v)
{
	if (l == r)return l;
	int mid = (l + r) >> 1;
	return v <= s[rson] ? ask(rson, mid + 1, r, v) : ask(lson, l, mid, v - s[rson]);
}
signed main()
{
	cin >> n >> m >> k;
	for (int i = 1; i <= n; ++i)
	{
		scanf("%d%d%d", &c, &a, &b); a += m; b += m; r = max(r, c);
		if (a <= b)p[++tot] = (node) {a, c, 1}, p[++tot] = (node) {b, c, -1};
		else p[++tot] = (node) {a, c, 1}, p[++tot] = (node) {2 * m, c, -1}, p[++tot] = (node) {0, c, 1}, p[++tot] = (node) {b, c, -1};
	}
	sort(p + 1, p + 1 + tot, my);
	for (int i = 1; i <= tot; ++i)
	{
		a = ask(1, 0, r, k); ans += (long long)a * a * (p[i].x - p[i - 1].x);
		change(1, 0, r, p[i].y, p[i].k);
	}
	cout << ans;
	return 0;
}