atcoder#KEYENCE2019F. Paper Cutting

Paper Cutting

配点 : 900900

問題文

縦の長さが H+1H+1,横の長さが W+1W+1 の長方形の紙が机に置かれています.xyxy 座標系を,紙の四隅の座標がそれぞれ (0,0)(0, 0), (W+1,0)(W + 1, 0), (0,H+1)(0, H + 1), (W+1,H+1)(W + 1, H + 1) となるように定めます.

この紙は,直線 x=1,2,...,Wx = 1,2,...,W と直線 y=1,2,...,Hy = 1,2,...,H に沿って切ることができます.これらの H+WH + W 本の直線から KK 本を選び,それらの直線に沿って何らかの順序で一回ずつ紙を切断していくという長さ KK の操作列を考えます.

紙の 11 回の切断のスコアを,その直後の時点で存在する紙の破片の個数とします.操作列のスコアは,KK 回すべての切断のスコアの和です.

考えられる全ての長さ KK の操作列のスコアの和を計算してください.この値は非常に大きくなることがあるので,109+710^9 + 7 で割った余りを出力してください.

制約

  • 1H,W1071 \leq H,W \leq 10^7
  • 1KH+W1 \leq K \leq H + W
  • H,W,KH, W, K は整数

入力

入力は以下の形式で標準入力から与えられる.

HH WW KK

出力

スコアの和を 109+710^9 + 7 で割った余りを出力せよ.

2 1 2
34

直線 x=1x = 1 に沿った切断を x1x_1,直線 y=1y = 1 に沿った切断を y1y_1,直線 y=2y = 2 に沿った切断を y2y_2 と表記します.考えられる 66 通りの操作列とそれぞれのスコアは次の通りです.

  • 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

これらの和は 3434 です.

30 40 50
616365902

スコアの和を 109+710^9 + 7 で割った余りを出力することを忘れないでください.