再过 天就是 Kate 的生日了,Coffee 打算送它一些蛋糕。在 Coffee 和 Kate 的世界,蛋糕是做不出来的,而是种出来了。
Coffee 收藏着 个蛋糕种子。第 个蛋糕种子需要在室内培育连续 天才能长成幼苗,之后将它移栽到室外,再经过 天后就会结出一个美味度为 的蛋糕。移栽蛋糕苗、为室外的蛋糕浇水以及收取成熟的蛋糕花费的时间对于 Coffee 来说可以忽略不计,但由于长成幼苗前的蛋糕比较娇嫩,照顾起来也更麻烦,Coffee 每天最多只会照顾一棵蛋糕幼苗。
更具体地,如果 Coffee 在第 天开始室内培育第 个蛋糕种子,那么它的室内培育工作会占用 Coffee 第 天,并会在 天结出蛋糕。在第 天,Coffee 不会开始或同时培养其他种子。
Coffee 希望在 Kate 生日时,送给 Kate 的蛋糕们的美味度总和尽量大。也就是说,在接下来的 天内,Kate 最多能收获蛋糕的美味度总和最大是多少?注意,即使一个蛋糕苗在第 天前已经被移出了室外,只要它在 Kate 的生日前没能结出蛋糕,它的美味度就不会被计算到总美味度中。