#joi2014ho2. [joi2014ho2]IOI 饅頭 (IOI Manju)

[joi2014ho2]IOI 饅頭 (IOI Manju)

Incredible Okashi Inc. は「途方もなくおいしいお菓子 (incredible okashi)」を製作している会社である.ここでは略して IOI 社と呼ぶ.IOI 社は特製の IOI 饅頭を作ったので,それを販売することになった.IOI 社は MM 種類の饅頭を 11 個ずつ作った.作られた MM 個の饅頭はすべて同じ大きさであるが,ひとつひとつ異なる味なので価格は様々であり,ii 番目 (1leqqileqqM1 \\leqq i \\leqq M) の饅頭の価格は PiP_i 円である.

ところで,あなたは Just Odd Inventions 社を知っているだろうか? この会社の業務は「ただ奇妙な発明 (just odd inventions)」をすることである.ここでは略して JOI 社と呼ぶ.IOI 社は,饅頭を詰めるための高級な箱を JOI 社に発注することになった.JOI 社の製作する饅頭用の箱は NN 種類あり,jj 番目 (1leqqjleqqN1 \\leqq j \\leqq N) の箱は最大で CjC_j 個の饅頭を詰められる大きさであり,販売価格は EjE_j 円である.これらの NN 種類の箱のうちの何種類か (00 種類以上 NN 種類以下) を 11 個ずつ発注し,饅頭をそれらの箱に詰め分けてセットで販売することになった.各饅頭セットの価格は,それに含まれる饅頭の価格の合計である.

すべての饅頭セットが売れるとした場合,IOI 社が得ることができる利益の最大値はいくらだろうか.ここで利益とは,販売した饅頭セットの価格の合計から,発注した箱の価格の合計を引いた値である.なお,箱に詰めなかった饅頭については,IOI 社のスタッフがおいしくいただくため,利益には影響しないものとする.

課題

各饅頭の価格と,各箱の大きさと価格が与えられたとき,IOI 社が得ることができる利益の最大値を求めるプログラムを作成せよ.


入力

標準入力から以下のデータを読み込め.

  • 11 行目には,整数 M,NM, N が空白を区切りとして書かれており,饅頭が MM 個,箱が NN 種類あることを表す.
  • 続く MM 行のうちの ii 行目 (1leqqileqqM1 \\leqq i \\leqq M) には,整数 PiP_i が書かれており,ii 番目の饅頭の価格が PiP_i 円であることを表す.
  • 続く NN 行のうちの jj 行目 (1leqqjleqqN1 \\leqq j \\leqq N) には,整数 Cj,EjC_j, E_j が空白を区切りとして書かれており,jj 番目の箱は最大で CjC_j 個の饅頭を詰められる大きさであり,価格が EjE_j 円であることを表す.

出力

標準出力に,IOI 社が得られる利益の最大値を円単位で表す整数を 11 行で出力せよ.


制限

すべての入力データは以下の条件を満たす.

  • 1leqqMleqq10,0001 \\leqq M \\leqq 10\\,000
  • 1leqqNleqq5001 \\leqq N \\leqq 500
  • 1leqqPileqq10,0001 \\leqq P_i \\leqq 10\\,000 (1leqqileqqM1 \\leqq i \\leqq M).
  • 1leqqCjleqq10,0001 \\leqq C_j \\leqq 10\\,000 (1leqqjleqqN1 \\leqq j \\leqq N).
  • 1leqqEjleqq10,0001 \\leqq E_j \\leqq 10\\,000 (1leqqjleqqN1 \\leqq j \\leqq N).

小課題

小課題 1 [25 点]

Nleqq10N \\leqq 10 を満たす.

小課題 2 [35 点]

Cjleqq10C_j \\leqq 10 (1leqqjleqqN1 \\leqq j \\leqq N) を満たす.

小課題 3 [40 点]

追加の制限はない.


入力例 1

4 3
180
160
170
190
2 100
3 120
4 250

出力例 1

480

この例では,11 番目の箱 (100100 円) と 22 番目の箱 (120120 円) を発注し,たとえば 11 番目の箱に 11 番目の饅頭と 22 番目の饅頭を詰めて 180+160=340180 + 160 = 340 円のセットとして販売,22 番目の箱に 33 番目の饅頭と 44 番目の饅頭を詰めて 170+190=360170 + 190 = 360 円のセットとして販売すると,IOI 社の利益は 700220=480700 - 220 = 480 円となる.


入力例 2

2 2
1000
2000
1 6666
1 7777

出力例 2

0

入力例 3

10 4
200
250
300
300
350
400
500
300
250
200
3 1400
2 500
2 600
1 900

出力例 3

450