Problem Statement
For non-negative integers $x$ and $k$, the $k$-th lowest digit of $x$ is the remainder when $\bigl\lfloor \frac{x}{10^k}\bigr\rfloor$ is divided by $10$. For instance, the $0$-th, $1$-st, $2$-nd, and $3$-rd lowest digits of $123$ are $3$, $2$, $1$, and $0$, respectively.
You are given positive integers $N$, $M$, $K$, and sequences of non-negative integers $A = (A_1, \ldots, A_N)$ and $B = (B_1, \ldots, B_N)$.
Consider rearranging $A$ by the following process.
- Do the following
$M$times. - Choose an integer
$k$such that$0\leq k \leq K - 1$.- Then, perform a stable sort on
$A$by$k$-th lowest digit. That is, let$A^{(d)}$be the subsequence of$A$composed of all elements of$A$whose$k$-th lowest digits are$d$, and replace$A$with the concatenation of$A^{(0)}, A^{(1)}, \ldots, A^{(9)}$in this order.
- Then, perform a stable sort on
There are $K^M$ ways to execute this process. How many of them end up making $A$ equal $B$? Find this count modulo $998244353$.
Constraints
$1\leq N\leq 2\times 10^5$$1\leq M\leq 10^9$$1\leq K\leq 18$$0\leq A_i < 10^K$$0\leq B_i < 10^K$$A$and$B$are equal as multisets. That is, every integer$x$occurs the same number of times in$A$and$B$.
Input
The input is given from Standard Input in the following format:
N M K
A_1 \ldots A_N
B_1 \ldots B_N
Output
Print the number, modulo $998244353$, of ways to execute the process that end up making $A$ equal $B$.
样例
3 2 3
74 42 54
42 54 74
5
2 1 1
2 3
3 2
0
5 100 4
0 12 34 56 78
0 12 34 56 78
982924732
题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。