《天天爱打卡》

描述

小 T 同学非常热衷于跑步。为了让跑步更加有趣，他决定制作一款叫做《天天爱打卡》的软件，使得用户每天都可以进行跑步打卡。

开发完成后，小 T 同学计划进行试运行，他找了大 Y 同学来帮忙。试运行共 n 天，编号为从 1 到 n。

对大 Y 同学来说，如果某天他选择跑步打卡，那么他的能量值会减少 d。初始时，他的能量值是 0，并且试运行期间他的能量值可以是负数。

而且大 Y 不会连续跑步打卡超过 k 天；即不能存在 1≤x≤n−k，使得他在第 x 到第 x+k 天均进行了跑步打卡。

小 T 同学在软件中设计了 m 个挑战，第 i（1≤i≤m）个挑战可以用三个正整数 (xi​,yi​,vi​) 描述，表示如果在第 xi​ 天时，用户已经连续跑步打卡至少 yi​ 天（即第 xi​−yi​+1 到第 xi​ 天均完成了跑步打卡），那么小 T 同学就会请用户吃饭，从而使用户的能量值提高 vi​。

现在大 Y 想知道，在软件试运行的 n 天结束后，他的能量值最高可以达到多少？

输入描述

本题的测试点包含有多组测试数据。

输入的第一行包含两个整数 c 和 t，分别表示测试点编号和测试数据组数。对于样例，c 表示该样例与测试点 c 拥有相同的限制条件。

接下来，对于每组测试数据：

• 输入的第一行包含四个正整数 n,m,k,d，分别表示试运行的天数、挑战的个数、大 Y 单次跑步打卡的连续天数限制以及大 Y 跑步打卡减少的能量值。
• 接下来 m 行，每行包含三个正整数 xi​,yi​,vi​，表示一次挑战。

输出描述

输出一行一个整数表示对应的答案。

样例输入 1 

1 1
3 2 2 1
2 2 4
3 2 3

样例输出 1 

2

提示

【样例解释 #1】

在第 1,2 天跑步打卡，第 3 天不跑步打卡，最终会获得 (−1)+(−1)+4=2 的能量值。

【样例解释 #2】

该组样例满足测试点 3 的条件。

【样例解释 #3】

该组样例满足测试点 5 的条件。

【样例解释 #4】

该组样例满足测试点 15 的条件。

【样例解释 #5】

该组样例满足测试点 17 的条件。

【样例解释 #6】

该组样例满足测试点 19 的条件。

【数据范围】

记 li​=xi​−yi​+1，ri​=xi​​；

对于所有测试数据，保证：1≤t≤10，1≤k≤n≤109，1≤m≤105，1≤li​≤ri​≤n，1≤d,vi​≤109。

测试点编号	n≤	m≤	特殊性质
1,2	18	102	无
3,4	102	102	无
5∼7	103	103	无
8,9	103	105	无
10,11	105	103	无
12∼14	105	105	无
15,16	109	105	A
17,18	109	105	B
19∼21	109	105	C
22∼25	109	105	无

特殊性质 A：k≤102；

特殊性质 B：∀1≤i<m，ri​<li+1​；

特殊性质 C：∀1≤i<j≤m，li​<lj​，ri​<rj​。

	
#include<bits/stdc++.h>
#define int long long
#define mk make_pair
#define fi first
#define se second
using namespace std;
typedef pair<int,int>pii;
const int inf=1e18;
inline int read(){
	int x=0,f=1;char ch=getchar();
	while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}
	while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
	return x*f;
}
struct segtree{
	#define ls p<<1
	#define rs p<<1|1
	#define lson l,mid,ls
	#define rson mid+1,r,rs
	struct Node{
		int mx,tag;
	}c[800005];
	void pushup(int p){
		c[p].mx=max(c[ls].mx,c[rs].mx);
	}
	void pushdown(int p){
		if(!c[p].tag)return;
		c[ls].tag+=c[p].tag,c[rs].tag+=c[p].tag;
		c[ls].mx+=c[p].tag,c[rs].mx+=c[p].tag;
		c[p].tag=0;
	}
	void build(int l,int r,int p){
		c[p].tag=0;
		if(l==r){
			c[p].mx=0;
			return;
		}
		int mid=(l+r)>>1;
		build(lson);build(rson);
		pushup(p);
	}
	void add(int l,int r,int p,int L,int R,int k){
		if(L<=l&&r<=R){
			c[p].mx+=k,c[p].tag+=k;
			return;
		}
		int mid=(l+r)>>1;pushdown(p);
		if(L<=mid)add(lson,L,R,k);
		if(R>mid)add(rson,L,R,k);
		pushup(p);
	}
	int ask(int l,int r,int p,int L,int R){
		if(L>R)return -inf;
		if(L<=l&&r<=R){
			return c[p].mx;
		}
		int mid=(l+r)>>1,res=-inf;pushdown(p);
		if(L<=mid)res=max(res,ask(lson,L,R));
		if(R>mid)res=max(res,ask(rson,L,R));
		return res;
	}
	#undef ls
	#undef rs
	#undef lson
	#undef rson
}Tr;
int C,T,l[100005],r[100005],w[100005],b[200005],f[200005];vector<int>v[200005];
void solve(){
	int n=read(),m=read(),k=read(),d=read(),tot=0;
	for(int i=1,x,y;i<=m;i++){
		x=read(),y=read(),l[i]=x-y+1,r[i]=x,w[i]=read();
		b[++tot]=l[i]-1,b[++tot]=r[i]+1;
	}
	sort(b+1,b+tot+1);tot=unique(b+1,b+tot+1)-b-1;
	for(int i=1;i<=m;i++){
		l[i]=lower_bound(b+1,b+tot+1,l[i]-1)-b;
		r[i]=lower_bound(b+1,b+tot+1,r[i]+1)-b;
		v[r[i]].push_back(i);
	}
	Tr.build(1,tot,1);f[1]=0;Tr.add(1,tot,1,1,1,f[1]+b[1]*d);
	for(int i=2,lim=1;i<=tot;i++){
		for(auto x:v[i])Tr.add(1,tot,1,0,l[x],w[x]);
		while(b[i]-b[lim]-1>k)lim++;
		f[i]=max(f[i-1],Tr.ask(1,tot,1,lim,i-1)-(b[i]-1)*d);
		Tr.add(1,tot,1,i,i,f[i]+b[i]*d);
	}
	printf("%lld\n",f[tot]);
	for(int i=0;i<=tot;i++)v[i].clear(),f[i]=0;
}
signed main(){
	C=read(),T=read();
	while(T--){
		solve();
	}
	return 0;
}