#joi2015yod. [joi2015yo_d]シルクロード (Silk Road)

[joi2015yo_d]シルクロード (Silk Road)

問題

現在カザフスタンがある地域には,古くは「シルクロード」と呼ばれる交易路があった.

シルクロード上には N+1N + 1 個の都市があり,西から順に都市 00, 都市 11, ldots\\ldots, 都市 NN と番号がつけられている.都市 i1i - 1 と都市 ii の間の距離 (1leqqileqqN1 \\leqq i \\leqq N) は DiD_i である.

貿易商である JOI 君は,都市 00 から出発して,都市を順番に経由し,都市 NN まで絹を運ぶことになった.都市 00 から都市 NN まで MM 日以内に移動しなければならない.JOI 君は,それぞれの日の行動として,以下の 22 つのうちいずれか 11 つを選ぶ.

  • 移動:現在の都市から 11 つ東の都市へ 11 日かけて移動する.現在都市 i1i - 1 (1leqqileqqN1 \\leqq i \\leqq N) にいる場合は,都市 ii に移動する.
  • 待機:移動を行わず,現在いる都市で 11 日待機する.

移動は大変であり,移動するたびに疲労度が溜まっていく.シルクロードでは日毎に天候の変動があり,天候が悪い日ほど移動には苦労を要する.

JOI 君が絹を運ぶのに使える MM 日間のうち jj 日目 (1leqqjleqqM1 \\leqq j \\leqq M) の天候の悪さは CjC_j であることが分かっている.都市 i1i - 1 から都市 ii (1leqqileqqN1 \\leqq i \\leqq N) に jj 日目 (1leqqjleqqM1 \\leqq j \\leqq M) に移動する場合,疲労度が DitimesCjD_i \\times C_j だけ溜まってしまう.移動を行わず待機している日は疲労度は溜まらない.

JOI 君は,それぞれの日の行動をうまく選ぶことで,できるだけ疲労度を溜めずに移動したい.JOI 君が MM 日以内に都市 NN に移動するときの,移動を開始してから終了するまでに溜まる疲労度の合計の最小値を求めよ.


入力

入力は 1+N+M1 + N + M 行からなる.

11 行目には,22 つの整数 N,MN, M (1leqqNleqqMleqq1,0001 \\leqq N \\leqq M \\leqq 1\\,000) が空白を区切りとして書かれている.これは,シルクロードが N+1N + 1 個の都市からなり,JOI 君が絹を都市 00 から都市 NN まで MM 日以内に運ばなければならないことを表す.

続く NN 行のうちの ii 行目 (1leqqileqqN1 \\leqq i \\leqq N) には,整数 DiD_i (1leqqDileqq1,0001 \\leqq D_i \\leqq 1\\,000) が書かれている.これは,都市 i1i - 1 と都市 ii の間の距離が DiD_i であることを表す.

続く MM 行のうちの jj 行目 (1leqqjleqqM1 \\leqq j \\leqq M) には,整数 CjC_j (1leqqCjleqq1,0001 \\leqq C_j \\leqq 1\\,000) が書かれている.これは,jj 日目の天候の悪さが CjC_j であることを表す.

出力

JOI 君が MM 日以内に都市 NN に移動するときの,移動を開始してから終了するまでに溜まる疲労度の合計の最小値を 11 行で出力せよ.


入力例 1

3 5
10
25
15
50
30
15
40
30

出力例 1

1125

入出力例 11 において,溜まる疲労度の合計を最小にするように JOI 君が移動するには次のようにする.

  • 11 日目は待機する.
  • 22 日目に都市 00 から都市 11 へ移動する.このとき溜まる疲労度は 10times30=30010 \\times 30 = 300 である.
  • 33 日目に都市 11 から都市 22 へ移動する.このとき溜まる疲労度は 25times15=37525 \\times 15 = 375 である.
  • 44 日目は待機する.
  • 55 日目に都市 22 から都市 33 へ移動する.このとき溜まる疲労度は 15times30=45015 \\times 30 = 450 である.

JOI 君がこのように移動した場合に溜まる疲労度の合計は 300+375+450=1,125300 + 375 + 450 = 1\\,125 である.これが最小値である.


入力例 2

2 6
99
20
490
612
515
131
931
1000

出力例 2

31589