Hemkör
문제
Carl har just flyttat hemifrån, och har insett att han numera behöver köpa mat själv. Eftersom det är jobbigt att gå till butiken beställer han istället maten online på hemsidan Hemkör, som levererar matvaror direkt till dörren.
Carl håller nu på att köpa mat för de kommande århundradena. Totalt har Carl planerat att äta måltider (numrerade från till ) under de nästa dagarna. Den :te måltiden tänker Carl äta dagar från idag, och kräver totalt kilo mat. Carl är inte kräsen -- så länge han har kilo ingredienser spelar det inte någon roll vilka ingredienser han använder.
På Hemkör finns det olika matvaror till salu. Den :te varan har en vikt kilo, en kostnad kronor och ett utgångsdatum som är dagar från idag (en vara kan användas fram till och med dagen den går ut). Carl kan köpa hur många exemplar av varje matvara som han vill.
Carl har kommit fram till att det går att köpa matvaror så att han kan laga samtliga måltider. Kan du hjälpa honom beställa matvaror på ett sådant sätt att det dessutom blir så billigt som möjligt?
입력
Den första raden innehåller de positiva heltalen och . Sedan följer rader, en för varje måltid. Den :te raden innehåller heltalen och .
Sedan följer rader, en för varje vara. Den :te raden innehåller heltalen , och .
출력
Skriv ut ett tal -- den minimala kostnaden för att köpa mat till alla måltiderna.
예제
예제 1
2 3 1 4 10 1 4 10 10 2 2 5 4 3 5
12
예제 2
2 3 1 2 10 1 2 10 20 1 2 5 2 3 15
5