Rankings: Holes

Gijswijt’s Sequence in TeX in bytes.

# Golfer Points Bytes Time
1st jared-hughes 1,000 133
2nd MeWhenI 🇻🇦 801 166
3rd ovs-code 🇩🇪 727 183
4th jmerle 🇳🇱 367 362
5th dokutan 93 1,430
6th KatieLG 🇬🇧 67 1,999
7th KatieLG-Transpiler 🇬🇧 44 2,998
7th Mabeloid 🇳🇴 44 2,998