A16504 | N-MEX (Counting Version)

[Builder Base Attack（第二阶段）——Supercell，Clash of Clans](https://www.youtube.com/watch?v=BxkYr8NwdwY) 这是该题目的计数版本。与其他版本的区别在于，本题需要统计满足 $0 \leq b_i \leq n$ 的构造方案数量。只有你完成了本题的所有版本，才可以进行 hack。

大师建筑师不喜欢重复性的任务——修补基地、升级城镇大厅十五次、还有更多关于 MEX 的编程题。所以，这不是一个普通的 MEX 题目。

对于任意正整数 $k$，定义整数集合 $S$ 的 $k$-mex 为 $S$ 中未出现的第 $k$ 小非负整数。例如，$[1, 2, 1]$ 的 $1$-mex 和 $2$-mex 分别是 $0$ 和 $3$。

给定正整数 $n$，考虑一个非负整数数组 $[a_1, \ldots, a_n]$。计算有多少个满足如下条件的非负整数数组 $[b_1, \ldots, b_n]$：

- 对所有 $1 \leq i \leq n$，$[b_1, \ldots, b_i]$ 的第 $(n-i+1)$-mex 等于 $a_i$。
- 另外，对所有 $1 \leq i \leq n$，有 $0 \leq b_i \leq n$。

由于方案数可能非常大，请输出方案数对 $10^9+7$ 取模的结果。

每组测试包含多个测试用例。第一行为测试用例组数 $t$（$1 \leq t \leq 10^4$）。每组测试用例描述如下。

每个测试用例的第一行包含一个整数 $n$（$1 \leq n \leq 2\times 10^5$），表示数组 $a$ 的长度。

第二行为 $n$ 个整数 $a_1, \ldots, a_n$（$0 \leq a_i \leq 10^9$）。

保证所有测试用例中 $n$ 的总和不超过 $2\times 10^5$。

对每个测试用例，输出一个整数——满足条件的数组 $b$ 的数量，对 $10^9+7$ 取模。