Overall medal counts in √2 in F# in bytes. Ranked by golds, then diamonds, then silvers, then bronzes.