题目描述

小明喜欢钓鱼。

从他家出门，向东直走，在坐标$x_1,x_2,...,x_n$米处，分别有一处鱼塘。

第$i$个鱼塘，每$5$分钟可以钓到的鱼，可以用两个参数$a_i,b_i$表示。

在每个鱼塘钓鱼的第$i$个$5$分钟，可以钓到$max(0,a_i-(i-1)\times b_i)$条鱼。

小明出门每走一米，也需要花费$1$分钟（他的渔具太重了）。

小明的老婆$T$分钟后会回家，所以小明出门钓鱼必须在$T$分钟后赶回来。

问：小明最多能钓到多少条鱼。

输入格式

第一行两个数字$n,T$。

第二行$n$个数字表示$x_i$。

接下来$n$行，每行两个数字$a_i,b_i$。

输出格式

一个数字表示答案。

样例输入1

2 60
10 20
10 5
10 0

样例输出1

40

样例解释

走到第二个鱼塘，再回来，需要$40$分钟，第一个鱼塘钓鱼$1$次，第二个鱼塘钓鱼$3$次，一共获得$40$条鱼。

数据范围

$n\leq 100,0\leq b_i\leq a_i \leq 10^9,1\leq x_1<x_2<...<x_n\leq 10^5$。

对于30%的数据：$T\leq 500$。

对于70%的数据：$T\leq 5\times 10^5$。

对于100%的数据：$T\leq 10^9$。