Overall medal counts in Factorial Factorisation in AWK. Ranked by golds, then diamonds, then silvers, then bronzes.