题目背景

由于在沙县帝国送外卖送的好,阿什尼被兰州帝国的$HR$挖到公司当$CEO$.

额~,一个专门管理兰州帝国外卖部的$CEO$

题目描述

为了伟大的外卖事业(他似乎已经忘了自己的初衷?),为了帝国的国祚.阿什尼决定引用无人机来送外卖(看来又要有很多人失业了!)

所有的客户同样都在一条街道上,阿什尼可以决定无人机初始在$s$这个位置开始送外卖.无人机的速度为$v$

每一个客户都有一个固定的生气值$A$,和一个随时间面增长的生气值$d$,如果客户在时间$t$接收到外卖,那他的生气总量为$d \times t + A$

阿什尼想找一个专业的程序员,来为无人机设计一个智能系统.它能帮无人机送算出把所有客户的外卖送完后,客户的生气总量和最小是多少.从而帮无人来规划送外卖的路线.

输入格式

• 第一行三个数,客户的数量$n$,速度$v$,起始位置$s$
• 接下来$n$行,每行三个数,客户的位置$p$,$A,d$

输出格式

一个整数,最小生气总量和向在取整.

输入样例

3 1 1000
1010 0 100
998 0 300
996 0 3

3 1 1000
1010 0 100
998 0 3
996 0 3

输出样例

2084

1138

提示

• $1 <= v <= 100,1<=n<=1000,1<=s<=5 \times 10^5$

• $1<=p<=5 \times 10^5,0<=A,d<=5 \times 10^5$

• 函数fabs求一个数的绝对值,返回类型为double

• 函数floor()求一个double类型的向下取整.