编程题
### 问题描述
给出一个方程 $x_1+x_2+……x_n=m$。存在一个含有 $n$ 个整数的数组 $Y$,其中第 $i$ 个整数记为 $y_i$。问在满足 $x_i\geq y_i$ 的条件下,方程的非负整数解有多少组?
注:若 $m=5,n=3$,所有的 $y_i=0$,则 $x_1=1,x_2=2,x_3=2$ 和 $x_1=2,x_2=1,x_3=2$ 被认为是不同的解。
方案数可能会很大,请输出方案数对 $10^9+7$ 取模后的结果。
### 输入格式
输入共两行。
第一行为 $2$ 个正整数 $m,n$,含义如题目所述。
第二行为 $n$ 个整数,其中第 $i$ 个整数表示 $y_i$。
### 输出格式
输出 $1$ 个整数表示答案。
### 样例输入
```text
5 3
1 1 2
```
### 样例输出
```text
3
```
### 说明
对于 $10$% 的数据,$y_i=1$。
对于 $20$%~$30$% 的数据,$y_i=0$。
对于 $40$%~$50$% 的数据,$m,n\leq 6$。
对于 $100$% 的数据,$1\leq n\leq m\leq 10^6$,$0\leq y_i\leq 10^6$。