Rankings: Holes

Emirp Numbers in TeX in bytes.

# Golfer Points Bytes Time
1st jared-hughes 1,000 114
2nd sisyphus-ppcg 🇦🇺 983 116
3rd jmerle 🇳🇱 851 134
4th Steffan153 🇫🇮 844 135
4th annaproxy 844 135
4th Shanethegamer 🇺🇸 844 135
4th lynn 844 135
4th JayXon 🇺🇸 844 135
4th ovs-code 🇩🇪 844 135
4th Lydxn 🇨🇦 844 135
4th dokutan 844 135
4th MeWhenI 🇻🇦 844 135
4th Yewzir 🇧🇪 844 135
4th KatieLG 🇬🇧 844 135
15th f-tucker 792 144
16th CatsAreFluffy 671 170
16th KatieLG-Transpiler 🇬🇧 671 170
16th Mabeloid 🇳🇴 671 170