#include <stdio.h>
int main(void) {
#include <stdio.h>
int main(void) {
int stasiun_cnt, robot_cnt;
if (scanf("%d %d", &stasiun_cnt
, &robot_cnt
) != 2) return 0;
long long harga_s[105];
for (int x = 1; x <= stasiun_cnt; x++) {
scanf("%lld", &harga_s
[x
]); }
long long bobot_r[2005];
for (int x = 1; x <= robot_cnt; x++) {
scanf("%lld", &bobot_r
[x
]); }
int slot_isi[105] = {0};
int status_posisi[2005] = {0};
int antrean[2005];
int f_idx = 0, r_idx = 0;
long long kas_bengkel = 0;
int total_kejadian = 2 * robot_cnt;
for (int ev = 0; ev < total_kejadian; ev++) {
int log_ev;
if (log_ev > 0) {
int cur_r = log_ev;
int target_slot = -1;
for (int s = 1; s <= stasiun_cnt; s++) {
if (slot_isi[s] == 0) {
target_slot = s;
break;
}
}
if (target_slot != -1) {
slot_isi[target_slot] = cur_r;
status_posisi[cur_r] = target_slot;
kas_bengkel += bobot_r[cur_r] * harga_s[target_slot];
} else {
antrean[r_idx++] = cur_r;
}
} else {
int cur_r = -log_ev;
int released_slot = status_posisi[cur_r];
slot_isi[released_slot] = 0;
status_posisi[cur_r] = 0;
if (f_idx < r_idx) {
int next_r = antrean[f_idx++];
slot_isi[released_slot] = next_r;
status_posisi[next_r] = released_slot;
kas_bengkel += bobot_r[next_r] * harga_s[released_slot];
}
}
}
printf("%lld\n", kas_bengkel
); return 0;
}
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgkjaW5jbHVkZSA8c3RkaW8uaD4KCmludCBtYWluKHZvaWQpIHsKICAgIGludCBzdGFzaXVuX2NudCwgcm9ib3RfY250OwogICAgaWYgKHNjYW5mKCIlZCAlZCIsICZzdGFzaXVuX2NudCwgJnJvYm90X2NudCkgIT0gMikgcmV0dXJuIDA7CiAgICAKICAgIGxvbmcgbG9uZyBoYXJnYV9zWzEwNV07CiAgICBmb3IgKGludCB4ID0gMTsgeCA8PSBzdGFzaXVuX2NudDsgeCsrKSB7CiAgICAgICAgc2NhbmYoIiVsbGQiLCAmaGFyZ2Ffc1t4XSk7CiAgICB9CiAgICAKICAgIGxvbmcgbG9uZyBib2JvdF9yWzIwMDVdOwogICAgZm9yIChpbnQgeCA9IDE7IHggPD0gcm9ib3RfY250OyB4KyspIHsKICAgICAgICBzY2FuZigiJWxsZCIsICZib2JvdF9yW3hdKTsKICAgIH0KICAgIAogICAgaW50IHNsb3RfaXNpWzEwNV0gPSB7MH07CiAgICBpbnQgc3RhdHVzX3Bvc2lzaVsyMDA1XSA9IHswfTsKICAgIAogICAgaW50IGFudHJlYW5bMjAwNV07CiAgICBpbnQgZl9pZHggPSAwLCByX2lkeCA9IDA7CiAgICAKICAgIGxvbmcgbG9uZyBrYXNfYmVuZ2tlbCA9IDA7CiAgICAKICAgIGludCB0b3RhbF9rZWphZGlhbiA9IDIgKiByb2JvdF9jbnQ7CiAgICBmb3IgKGludCBldiA9IDA7IGV2IDwgdG90YWxfa2VqYWRpYW47IGV2KyspIHsKICAgICAgICBpbnQgbG9nX2V2OwogICAgICAgIHNjYW5mKCIlZCIsICZsb2dfZXYpOwogICAgICAgIAogICAgICAgIGlmIChsb2dfZXYgPiAwKSB7CiAgICAgICAgICAgIGludCBjdXJfciA9IGxvZ19ldjsKICAgICAgICAgICAgCiAgICAgICAgICAgIGludCB0YXJnZXRfc2xvdCA9IC0xOwogICAgICAgICAgICBmb3IgKGludCBzID0gMTsgcyA8PSBzdGFzaXVuX2NudDsgcysrKSB7CiAgICAgICAgICAgICAgICBpZiAoc2xvdF9pc2lbc10gPT0gMCkgewogICAgICAgICAgICAgICAgICAgIHRhcmdldF9zbG90ID0gczsKICAgICAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgfQogICAgICAgICAgICAKICAgICAgICAgICAgaWYgKHRhcmdldF9zbG90ICE9IC0xKSB7CiAgICAgICAgICAgICAgICBzbG90X2lzaVt0YXJnZXRfc2xvdF0gPSBjdXJfcjsKICAgICAgICAgICAgICAgIHN0YXR1c19wb3Npc2lbY3VyX3JdID0gdGFyZ2V0X3Nsb3Q7CiAgICAgICAgICAgICAgICBrYXNfYmVuZ2tlbCArPSBib2JvdF9yW2N1cl9yXSAqIGhhcmdhX3NbdGFyZ2V0X3Nsb3RdOwogICAgICAgICAgICB9IGVsc2UgewogICAgICAgICAgICAgICAgYW50cmVhbltyX2lkeCsrXSA9IGN1cl9yOwogICAgICAgICAgICB9CiAgICAgICAgICAgIAogICAgICAgIH0gZWxzZSB7CiAgICAgICAgICAgIGludCBjdXJfciA9IC1sb2dfZXY7CiAgICAgICAgICAgIAogICAgICAgICAgICBpbnQgcmVsZWFzZWRfc2xvdCA9IHN0YXR1c19wb3Npc2lbY3VyX3JdOwogICAgICAgICAgICBzbG90X2lzaVtyZWxlYXNlZF9zbG90XSA9IDA7CiAgICAgICAgICAgIHN0YXR1c19wb3Npc2lbY3VyX3JdID0gMDsKICAgICAgICAgICAgCiAgICAgICAgICAgIGlmIChmX2lkeCA8IHJfaWR4KSB7CiAgICAgICAgICAgICAgICBpbnQgbmV4dF9yID0gYW50cmVhbltmX2lkeCsrXTsKICAgICAgICAgICAgICAgIHNsb3RfaXNpW3JlbGVhc2VkX3Nsb3RdID0gbmV4dF9yOwogICAgICAgICAgICAgICAgc3RhdHVzX3Bvc2lzaVtuZXh0X3JdID0gcmVsZWFzZWRfc2xvdDsKICAgICAgICAgICAgICAgIGthc19iZW5na2VsICs9IGJvYm90X3JbbmV4dF9yXSAqIGhhcmdhX3NbcmVsZWFzZWRfc2xvdF07CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICB9CiAgICAKICAgIHByaW50ZigiJWxsZFxuIiwga2FzX2JlbmdrZWwpOwogICAgcmV0dXJuIDA7Cn0KfQo=