bobo 有一个大小为 $n \times m$ 的矩阵,其中的元素均为 $[1, k]$ 之间的整数。
请找出至少包含一个鞍点(saddle point)的矩阵数量,结果对 $(10^9 + 7)$ 取模。
注意:鞍点是指一个位置 $(i, j)$,它是第 $i$ 行的严格最大值,同时也是第 $j$ 列的严格最大值。
输入包含 3 个整数 $n, m, k$ ($1 \le n, m \le 500, 1 \le k \le 10$)。
输出一个整数,表示矩阵的数量。
样例
输入格式 1
2 2 2
输出格式 1
6
输入格式 2
500 500 2
输出格式 2
48326276