#c221101. 不定方程的解

不定方程的解

不定方程的解

题目描述

给出不定方程 ∑i=1nxi=m\sum_{i=1}^nx_i=m 和 nn 个限制条件 xi≤bix_i\leq b_i,其中 m,bi∈Nm,b_i \in \mathbb{N}. 求方程的非负整数解的个数。

由于答案很大,输出对109+710^9 + 7取模的结果。

输入格式

第一行两个整数n,m(1≤n≤10,1≤m≤109)n, m (1\leq n\leq 10, 1\leq m \leq 10^9),接下来一行nn个整数b1,b2,…,bn(1≤bi≤m)b_1, b_2, \dots, b_n (1\leq b_i\leq m)。

输出格式

一个数,表示答案。

样例输入

3 5
2 3 4

样例输出

11