fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) fun quicksort [] = [] | quicksort (h::tl) = let val (s, b) = List.foldl (fn (x, (small, big)) => if x <= h then (x::small, big) else (small, x::big)) ([], []) tl in (quicksort s) @ [h] @ (quicksort b) end val () = let val n = readInt () val k = readInt () val a_s = List.tabulate (n, fn _ => readInt ()) val sorted_a_s = List.rev (quicksort a_s) val taked_a_s = List.take (sorted_a_s, k) val filtered_a_s = List.filter (fn a => 0 < a) taked_a_s val ans = List.foldl (fn (a, acc) => a + acc) 0 filtered_a_s in print (Int.toString ans ^ "\n") end