atcoder#KEYENCE2019F. Paper Cutting

Paper Cutting

Score : 900900 points

Problem Statement

There is a rectangular sheet of paper with height H+1H+1 and width W+1W+1. We introduce an xyxy-coordinate system so that the four corners of the sheet are (0,0)(0, 0), (W+1,0)(W + 1, 0), (0,H+1)(0, H + 1) and (W+1,H+1)(W + 1, H + 1).

This sheet can be cut along the lines x=1,2,...,Wx = 1,2,...,W and the lines y=1,2,...,Hy = 1,2,...,H. Consider a sequence of operations of length KK where we choose KK of these H+WH + W lines and cut the sheet along those lines one by one in some order.

Let the score of a cut be the number of pieces of paper that exist just after the cut. The score of a sequence of operations is the sum of the scores of all of the KK cuts.

Find the sum of the scores of all possible sequences of operations of length KK. Since this value can be extremely large, print the number modulo 109+710^9 + 7.

Constraints

  • 1H,W1071 \leq H,W \leq 10^7
  • 1KH+W1 \leq K \leq H + W
  • H,WH, W and KK are integers.

Input

Input is given from Standard Input in the following format:

HH WW KK

Output

Print the sum of the scores, modulo 109+710^9 + 7.

2 1 2
34

Let x1x_1, y1y_1 and y2y_2 denote the cuts along the lines x=1x = 1, y=1y = 1 and y=2y = 2, respectively. The six possible sequences of operations and the score of each of them are as follows:

  • y1,y2y_1, y_2: 2+3=52 + 3 = 5
  • y2,y1y_2, y_1: 2+3=52 + 3 = 5
  • y1,x1y_1, x_1: 2+4=62 + 4 = 6
  • y2,x1y_2, x_1: 2+4=62 + 4 = 6
  • x1,y1x_1, y_1: 2+4=62 + 4 = 6
  • x1,y2x_1, y_2: 2+4=62 + 4 = 6

The sum of these is 3434.

30 40 50
616365902

Be sure to print the sum modulo 109+710^9 + 7.