atcoder#ABC180F. [ABC180F] Unbranched

[ABC180F] Unbranched

Score : 600600 points

Problem Statement

Find the number of graphs with NN labeled vertices and MM unlabeled edges, not necessarily simple or connected, that satisfy the following conditions, modulo (109+7)(10^9+7):

  • There is no self-loop;
  • The degree of every vertex is at most 22;
  • The maximum of the sizes of the connected components is exactly LL.

Constraints

  • 2N3002 \leq N \leq 300
  • 1MN1\leq M \leq N
  • 1LN1 \leq L \leq N
  • All values in input are integers.

Input

Input is given from Standard Input in the following format:

NN MM LL

Output

Print the answer.

3 2 3
3

When the vertices are labeled 11 through NN, the following three graphs satisfy the condition:

  • The graph with edges 121-2 and 232-3;
  • The graph with edges 121-2 and 131-3;
  • The graph with edges 131-3 and 232-3.
4 3 2
6
300 290 140
211917445