시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 1024 MB111100.000%

## 문제

Oliver is a rubber duck that, not only finds bugs, but also likes to paint. His latest painting has $n$ parts, each coloured with a unique colour. After he got a lot of critiques his painting is too predictable, he decided to modify his painting in $t$ iterations. In every iteration he will do the following steps:

1. Oliver will select uniformly at random an index $i$ ($1 ≤ i ≤ n$), and memorize the colour on the $i$-th part od the painting.
2. Again, Oliver will select uniformly at random an index $j$ ($1 ≤ j ≤ n$). He will repaint the $j$-th part of the painting with the colour of the $i$-th part od the painting. If the $j$-th part is already painted in that colour, there is no change. Note that $i$ can be equal to $j$.

Now, Oliver is afraid his painting will become monotonous or boring. He considers a painting good if there are at least $k$ differents colours on it. Help him calculate the probability that his painting will be good at the end.

## 입력

The first line contains the numbers from the task statement $n$, $t$ and $k$ ($2 ≤ k ≤ n ≤ 10$, $1 ≤ t ≤ 10^{18}$).

## 출력

In the first and only line output the answer modulo $10^9 + 7$.

Formally, let $m = 10^9 + 7$. It can be shown that the answer can be expressed as an irreducible fraction $\frac{p}{q}$, where $p$ and $q$ are integers and $q \not\equiv 0 \pmod m$. Output the integer equal to $p · q^{-1} \bmod m$. In other words, output such an integer $x$ that $0 ≤ x < m$ and $x · q \equiv p \pmod m$.

## 서브태스크

번호배점제한
130

$k = n$

240

$t ≤ 1\,000$

340

2 1 2

500000004

10 2 5

1

## 예제 입력 3

3 141592653589793 2

468261332

## 힌트

Clarification of the first example: On the painting there are two colours, so the probability that it remains the same after one iteration is $\frac{1}{2}$.

Clarification of the second example: After two iterations, the number of different colours can’t go from $10$ to less than $5$, so in every case the painting will have at least $5$ different colours.

## 채점 및 기타 정보

• 예제는 채점하지 않는다.