fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val p1 = readInt () val p2 = readInt () val n = readInt () val r_n = List.tabulate (n, fn _ => readInt ()) fun findAns () = let fun findAnsAux nil _ = 0 | findAnsAux (h :: tl) used = if Array.sub (used, h) = true then (p1 + p2) + findAnsAux tl used else (Array.update (used, h, true); findAnsAux tl used) in findAnsAux r_n (Array.array (999, false)) end val ans = findAns () in print (Int.toString ans ^ "\n") end