题目描述

Y 同学有一个长度为 nn 的非负整数序列 a1,a2,,ana_1,a_2,\dots,a_n,以及一个初始为 00 的变量 resres。接下来会独立重复 kk 次操作:每次等概率选择一个下标 xx,先把所有 ixi\ne xaia_i 的乘积加到 resres 上,然后令 axa_x 减少 11

注意某些 aia_i 在操作过程中可能变成负数,乘积仍按普通整数乘法理解。Y 同学关心所有随机选择下 resres 的期望值。

可以证明该期望能写成最简分数 P/QP/Q,且 QQ 在模 109+710^9+7 意义下可逆。请输出 PQ1P\cdot Q^{-1}109+710^9+7 取模的值。

输入格式

第一行包含两个整数 n,kn,k

第二行包含 nn 个整数 a1,a2,,ana_1,a_2,\dots,a_n

输出格式

输出一行一个整数,表示期望值在模 109+710^9+7 意义下的值。

样例

样例输入 #1

2 1
2 3

样例输出 #1

500000006

数据范围与约定

对于 100%100\% 的数据,保证 1n50001\le n\le50001k1091\le k\le10^90ai1090\le a_i\le10^9

测试点编号 分值 范围 特殊性质
141\sim4 1616 n8n\le8k8k\le8
585\sim8 n5000n\le5000 保证 knk\le n
9129\sim12 1818 保证存在 ai=0a_i=0
131613\sim16 2020 n800n\le800
172217\sim22 3030 n5000n\le5000

特殊性质 A:保证 knk\le n。 特殊性质 B:保证存在 ai=0a_i=0