「Wdoi-2」禁断之门对面,是此世还是彼世

题目背景

或许是后户之国轻易不与外界联系,或许是神职所限,又或许是性格喜好的原因,摩多罗作为最初建立幻想乡的几位贤者之一,和其他贤者之间的联系并不频繁。其他如八云紫、茨木华扇等贤者均亲身走在幻想乡之中,而摩多罗却置身之外。 耗费神力发动全幻想乡级别的异变,看似规模宏大,其实并未对幻想乡造成真正的伤害,只是让一群笨蛋妖精狂躁了些而已。 谁也不知道门后的秘神心中真正的想法。

题目描述

给定一场长度为 $n$ 的正整数序列 $a$ 和一个长度为 $m$ 的正整数序列 $b$。 现在蓝根据序列 $a$ 与序列 $b$ 构造了一个 $n$ 行 $m$ 列的正整数矩阵 $A$ 满足 $A_{i,j}=a_ib_j$,你需要构造 $n+1$ 行 $t$ 列的正整数矩阵 $B$ 满足以下条件: - 矩阵的每个元素取值在 $[1,m]$ 间; - 矩阵同一行的元素**两两**不相同; - 矩阵的每列**相邻元素**不同; - 在所有满足上面三项要求的矩阵中**最小化**下式: $$f(B)=\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{t}\sum\limits_{k=\min(B_{i,j},B_{i+1,j})}^{\max(B_{i,j},B_{i+1,j})}A_{i,k}$$ 请输出构造出的 $B$ 矩阵的 $f(B)$ 的值模 $10^9+7$ 的结果。

输入输出格式

输入格式


第一行三个整数 $n,m,t$。 接下来一行 $n$ 个整数 $a_1,a_2,\cdots a_n$,含义如题面中所述。 接下来一行 $m$ 个整数 $b_1,b_2,\cdots b_m$,含义如题面中所述。

输出格式


输出一行,表示构造出的 $B$ 矩阵的 $f(B)$ 的值模 $10^9+7$ 的结果。

输入输出样例

输入样例 #1

2 2 2
9 9
6 1

输出样例 #1

252

输入样例 #2

10 10 10
2 8 10 10 10 2 5 8 9 3
2 1 5 2 10 7 8 9 10 6

输出样例 #2

8040

说明

### 样例解释 1 根据题意,可以构造出矩阵 $A=\begin{bmatrix}54 & 9 \\ 54 & 9 \end{bmatrix}$。 你需要构造出的 $3$ 行 $2$ 列的矩阵 $B=\begin{bmatrix}1 & 2 \\ 2 & 1 \\ 1 & 2 \end{bmatrix}$,此时 $f(B)=252$ 为最小值 可以证明 $f(B)=252$ 为所有情况中,$f(B)$ 的最小值。 ### 数据范围及约定 $$ \def\arraystretch{1.5} \begin{array}{|c|c|c|c|c|c|}\hline \textbf{Subtask} & \bm{n \le } & \bm{m \le } & \bm{t \le } & \textbf{特殊性质} & \textbf{分值}\\\hline 1 & 10 & 10 & 10 & - & 5 \\\hline 2 & 100 & 100 & 100 & - & 5 \\\hline 3 & 10^3 & 10^3 & 10^3 & - & 15 \\\hline 4 & 5\times 10^4 & 5\times 10^4 & 5\times 10^4 & - & 30 \\\hline 5 & 5\times 10^5 & 5\times 10^5 & 5\times 10^5 & \textbf{A} & 10 \\\hline 6 & 5\times 10^5 & 5\times 10^5 & 5\times 10^5 & \textbf{B} & 10 \\\hline 7 & 5\times 10^5 & 5\times 10^5 & 5\times 10^5 & - & 25 \\\hline \end{array}$$ - **特殊性质** $\textbf{A}$:保证 $a_i=1$; - **特殊性质** $\textbf{B}$:保证 $m=t$。 对于全部数据,保证 $1\le a_i, b_i\le 10^9$,$1\le n, m, t\le 5\times 10^5 $,$t\le m$。保证数据有解。