#abc180f. [abc180_f]Unbranched

[abc180_f]Unbranched

問題文

頂点にラベルが付き辺にはラベルが付いていない NN 頂点 MM 辺の単純とも連結とも限らないグラフであって、以下の条件を満たすものの個数を 109+710^9+7 で割ったあまりを求めてください。

  • 自己ループを持たない
  • すべての頂点の次数が 22 以下である
  • 各連結成分のサイズを並べたとき、その最大値がちょうど LL である

制約

  • 2leqNleq3002 \\leq N \\leq 300
  • 1leqMleqN1\\leq M \\leq N
  • 1leqLleqN1 \\leq L \\leq N
  • 入力はすべて整数

入力

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

NN MM LL

出力

答えを出力せよ。


入力例 1

3 2 3

出力例 1

3

頂点に 11 から NN の番号を付けたとき、以下の 33 通りのグラフが条件を満たします。

  • 121-2 間と 232-3 間に辺がある。
  • 121-2 間と 131-3 間に辺がある。
  • 131-3 間と 232-3 間に辺がある。

入力例 2

4 3 2

出力例 2

6

入力例 3

300 290 140

出力例 3

211917445