Overall medal counts in Gray Code Decoder in TeX. Ranked by golds, then diamonds, then silvers, then bronzes.