Problem Statement
There are $N$ zeros and $M$ ones written on a blackboard. Starting from this state, we will repeat the following operation: select $K$ of the rational numbers written on the blackboard and erase them, then write a new number on the blackboard that is equal to the arithmetic mean of those $K$ numbers. Here, assume that $N + M - 1$ is divisible by $K - 1$.
Then, if we repeat this operation until it is no longer applicable, there will be eventually one rational number left on the blackboard.
Find the number of the different possible values taken by this rational number, modulo $10^9 + 7$.
Constraints
$1 ≦ N, M ≦ 2000$$2 ≦ K ≦ 2000$$N + M - 1$is divisible by$K - 1$.
Input
The input is given from Standard Input in the following format:
N M K
Output
Print the number of the different possible values taken by the rational number that will be eventually left on the blackboard, modulo $10^9 + 7$.
样例
2 2 2
5
3 4 3
9
150 150 14
937426930
题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。