B. 蛋糕

内存限制:512 MiB 时间限制:1000 ms 标准输入输出
题目类型:传统 评测方式:文本比较

题目描述

再过 天就是 Kate 的生日了,Coffee 打算送它一些蛋糕。在 Coffee 和 Kate 的世界,蛋糕是做不出来的,而是种出来了。

Coffee 收藏着 个蛋糕种子。第 个蛋糕种子需要在室内培育连续 天才能长成幼苗,之后将它移栽到室外,再经过 天后就会结出一个美味度为 的蛋糕。移栽蛋糕苗、为室外的蛋糕浇水以及收取成熟的蛋糕花费的时间对于 Coffee 来说可以忽略不计,但由于长成幼苗前的蛋糕比较娇嫩,照顾起来也更麻烦,Coffee 每天最多只会照顾一棵蛋糕幼苗。

更具体地,如果 Coffee 在第 天开始室内培育第 个蛋糕种子,那么它的室内培育工作会占用 Coffee 第 天,并会在 天结出蛋糕。在第 天,Coffee 不会开始或同时培养其他种子。

Coffee 希望在 Kate 生日时,送给 Kate 的蛋糕们的美味度总和尽量大。也就是说,在接下来的 天内,Kate 最多能收获蛋糕的美味度总和最大是多少?注意,即使一个蛋糕苗在第 天前已经被移出了室外,只要它在 Kate 的生日前没能结出蛋糕,它的美味度就不会被计算到总美味度中。

输入格式

第一行,两个用空格隔开的整数 与 。

第二到 行,每行用三个数表示 。

输出格式

一个整数,表示 Coffee 在 Kate 生日时,能送给 Kate 的蛋糕的美味度总和最大值。

样例

样例输入

3 6
6 1 100
2 2 20
3 1 30

样例输出

50

样例解释

Coffee 在第 天开始培育第 个蛋糕种子,它的室内培育工作会占用 Coffee 第 天,并会在第 天结出蛋糕,获得 美味度。

Coffee 在第 天开始培育第 个蛋糕种子,它的室内培育工作会占用 Coffee 第 天,并会在第 天结出蛋糕,获得 美味度。

数据范围与提示

对于 的数据,

对于 的数据,