Overall medal counts in Hilbert Curve in F# in chars. Ranked by golds, then diamonds, then silvers, then bronzes.