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:
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≤1018).
In the first and only line output the answer modulo 109+7.
Formally, let m=109+7. It can be shown that the answer can be expressed as an irreducible fraction qp, where p and q are integers and q≡0(modm). Output the integer equal to p⋅q−1modm. In other words, output such an integer x that 0≤x<m and x⋅q≡p(modm).
Clarification of the first example: On the painting there are two colours, so the probability that it remains the same after one iteration is 21.
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.