### 问题描述 在一个包含 $N$ 个节点的图中，小齐想统计满足以下条件的图的数量： - 图是连通的。 - 从节点 $1$ 到节点 $i$ 的最小距离等于 $D_i$。 - 图包含所有给定的 $M$ 条边（可能包含额外的边）。 - 图中不包含多重边或自环。 ### 输入格式 一行包含两个整数 $N$ 和 $M$。 接下来一行包含 $N$ 个整数，表示节点 $1$ 到节点 $N$ 的最小距离 $D_i$。 接下来的 $M$ 行，每行包含两个整数，表示共享一条边的两个节点。 ### 输出格式 输出满足条件的图的数量，结果需对 $10^9 + 7$ 取模。 ### 样例输入 ``` 3 2 0 1 1 1 2 2 3 ``` ### 样例输出 ``` 1 ``` ### 评测数据规模 $1 \leq N \leq 10^5$，$0 \leq D_i \leq 10^5$，$0 \leq M \leq 10^5$。