#agc062e. [agc062_e]Overlap Binary Tree

[agc062_e]Overlap Binary Tree

問題文

奇数 NN 、および非負整数 KK が与えられます。

以下の条件をすべて満たす整数の組の列 ((L1,R1),(L2,R2),dots,(LN,RN))((L_1,R_1),(L_2,R_2),\\dots,(L_N,R_N)) の数を 998244353998244353 で割った余りを求めてください。

  • (L1,R1,L2,R2,dots,LN,RN)(L_1,R_1,L_2,R_2,\\dots,L_N,R_N)11 から 2N2N までの整数の順列
  • L1leqL2leqdotsleqLNL_1 \\leq L_2 \\leq \\dots \\leq L_N
  • LileqRi(1leqileqN)L_i \\leq R_i \\ (1 \\leq i \\leq N)
  • Li+1=RiL_i+1=R_i が成り立つような i(1leqileqN)i\\ (1\\leq i \\leq N) はちょうど KK 個存在する
  • 11 から NN までの番号が付いた NN 頂点の根付き二分木 TT であって、以下が成り立つものが存在する
    • TT において頂点 i,ji,j には祖先・子孫の関係がある iff\\iff 区間 \[L_i,R_i\],\[L_j,R_j\] が共通部分を持つ

ただし、根付き二分木とは、全ての頂点の子の個数が 00 個か 22 個であるような根付き木のことを指します。また、木 TT において頂点 jj が根と頂点 ii を結ぶ単純パス上に存在する、または頂点 ii が根と頂点 jj を結ぶ単純パス上に存在するとき、TT において頂点 i,ji,j には祖先・子孫の関係があるといいます。

制約

  • 1leqN<2times1051 \\leq N < 2 \\times 10^5
  • 0leqKleqN0 \\leq K \\leq N
  • NN は奇数
  • 入力される値はすべて整数

入力

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

NN KK

出力

答えを出力してください。


入力例 1

3 1

出力例 1

2

例えば (L1,R1)=(1,5),(L2,R2)=(2,3),(L3,R3)=(4,6)(L_1,R_1)=(1,5),(L_2,R_2)=(2,3),(L_3,R_3)=(4,6) の場合、Li+1=RiL_i+1=R_i が成り立つのは i=2i=211 個のみです。また、55 番目の条件で述べられている木については、頂点 11 が根であり、その子が頂点 2,32,3 であるような根付き木が該当します。


入力例 2

1 0

出力例 2

0

入力例 3

521 400

出力例 3

0

入力例 4

199999 2023

出力例 4

283903125