#abc295e. [abc295_e]Kth Number

[abc295_e]Kth Number

問題文

00 以上 MM 以下の整数からなる長さ NN の数列 A=(A1,A2,dots,AN)A=(A_1,A_2,\\dots,A_N) があります。

今からすぬけくんが以下の操作 1, 2 を順に行います。

  1. Ai=0A_i=0 を満たすそれぞれの ii について、11 以上 MM 以下の整数を独立かつ一様ランダムに選び、AiA_i をその整数で置き換える。
  2. AA を昇順に並び替える。

すぬけくんが操作 1, 2 を行ったあとの AKA_K の期待値を textmod998244353\\text{mod } 998244353 で出力してください。

「期待値を textmod998244353\\text{mod } 998244353 で出力」とは 求める期待値は必ず有理数となることが証明できます。 またこの問題の制約下では、その値を互いに素な 22 つの整数 PP, QQ を用いて fracPQ\\frac{P}{Q} と表したとき、 RtimesQequivPpmod998244353R \\times Q \\equiv P\\pmod{998244353} かつ 0leqRlt9982443530 \\leq R \\lt 998244353 を満たす整数 RR がただ 11 つ存在することが証明できます。この RR を出力してください。

制約

  • 1leqKleqNleq20001\\leq K \\leq N \\leq 2000
  • 1leqMleq20001\\leq M \\leq 2000
  • 0leqAileqM0\\leq A_i \\leq M
  • 入力は全て整数

入力

入力は以下の形式で標準入力から与えられる。

NN MM KK A1A_1 A2A_2 dots\\dots ANA_N

出力

すぬけくんが操作 1, 2 を行ったあとの AKA_K の期待値を textmod998244353\\text{mod } 998244353 で出力せよ。


入力例 1

3 5 2
2 0 4

出力例 1

3

すぬけくんは操作 1 において A2A_211 以上 55 以下の整数で置き換えます。この整数を xx とすると、

  • x=1,2x=1,2 のとき、すぬけくんが操作 1, 2 を行ったあと A2=2A_2=2 です。
  • x=3x=3 のとき、すぬけくんが操作 1, 2 を行ったあと A2=3A_2=3 です。
  • x=4,5x=4,5 のとき、すぬけくんが操作 1, 2 を行ったあと A2=4A_2=4 です。

よって、A2A_2 の期待値は frac2+2+3+4+45=3\\frac{2+2+3+4+4}{5}=3 です。


入力例 2

2 3 1
0 0

出力例 2

221832080

期待値は frac149\\frac{14}{9} です。


入力例 3

10 20 7
6 5 0 2 0 0 0 15 0 0

出力例 3

617586310