3.Card

Format

Input

读入格式如下:
n m k

Output

输出满足条件输入方案的数量 mod 10^9+7

Sample 1

Input

1 1 1

Output

17

Sample 2

Input

4 2 2 

Output

1227

Limitation

3s, 256MiB for each test case.