Overall medal counts in Gijswijt’s Sequence in F#. Ranked by golds, then diamonds, then silvers, then bronzes.