编程题
### 问题描述
给定一个包含 $N$ 个整数的数组。对数组的每个元素,乐乐可以应用以下操作:将其值增加 $1$。乐乐可以对同一元素应用多次操作。
乐乐应该计算满足以下属性的子数组的数量:它们可以通过最多 $M$ 次操作变成单调递增。
### 输入格式
第一行包含两个整数值 $N$ 和 $M$。
第二行包含 $N$ 个整数值,表示数组的元素 $x_i$。
### 输出格式
输出一个整数,表示所需子数组的数量。
### 样例输入
```
6 6
5 4 1 1 5 5
```
### 样例输出
```
18
```
### 评测数据规模
$1 \leq N \leq 10^6$,$1 \leq M \leq 10^{15}$,$1 \leq x_i \leq 10^9$。