题目描述

小 P 来到了 NOIP2044 的赛场上，他发现第二题的题目是这样的：给你一个长度为 $n$ 的字符串，该字符串由至多 $m$ 种不同的字符组成，其中第 $i$ 种字符的出现次数不超过 $c_i$，问你这个字符串的后缀数组是什么。

聪明的小 P 想到了一个新的问题希望你来帮忙解答：在题目给定的限制下，能有多少种不同的答案。也就是所有由 $m$ 种字符组成，其中第 $i$ 种字符出现次数不超过 $c_i$，且长度为 $n$ 的字符串，共有多少种不同的后缀数组。

由于答案很大，你只用输出答案对 $10^9+7$ 取模后的数。

对于一个字符串 $s=s_1s_2\cdots s_n$，记 $\operatorname{suf}(i)$ 表示 $i$ 这个位置到末尾的子串。后缀数组为一个 $1$ 到 $n$ 的排列 $p_1,p_2,\cdots,p_n$，满足 $\operatorname{suf}(p_1) < \operatorname{suf}(p_2) < \cdots < \operatorname{suf}(p_n)$。对于两个字符串 $s$ 和 $t$，令 $i$ 为第一个使得 $s_i \neq t_i$ 的位置，那么我们 $s_i$ 和 $t_i$ 中小的对应的字符串更小，如果 $i$ 不存在，那么长度小的字符串更小。

对于字符串之间的大小关系，我们规定第 $1$ 个字符最小，第 $2$ 个字符次小，以此类推。

输入格式

输入的第一行包含两个正整数 $n,m$，表示字符串的长度为 $n$，共有 $m$ 种字符。

接下来一行，包含 $m$ 个非负整数 $c_1,c_2,\cdots,c_m$，表示每种字符最多的出现次数。

输出格式

输出共一行，包含一个整数，表示答案。

样例输入 #1

3 2
2 2

样例输出 #1

5

样例说明 #1

我们记 $a$ 为第一种字符，$b$ 为第二种字符，那么共有 $aab,aba,abb,baa,bab,bba$ 这六种可能的字符串。它们的后缀数组为

所以共有 $5$ 种不同的结果。

样例输入 #2

10 5
2 3 4 3 2

样例输出 #2

1003811

数据规模与约定

对于前 $5\%$ 的测试点，$1\le n,m\leq6$。

另有 $10\%$ 的测试点，$1\le n,m\leq10$。

另有 $20\%$ 的测试点，$1\le n,m\leq500$。其中有 $5\%$ 的测试点 $m = 2$，$5\%$ 的测试点 $m = 3$，$10\%$ 的测试点 $c_1=c_2=\cdots=c_m=n$。

另有 $15\%$ 的测试点，$1\le n,m\leq50$。

另有 $20\%$ 的测试点，$1\le n,m\leq200$。

另有 $30\%$ 的测试点，$1\le n,m\leq500$。

数据保证 $0 \leq c_1,c_2,\cdots,c_m \leq n$，$c_1+c_2+\cdots+c_m \geq n$。