Rankings: Holes

Happy Numbers in TeX in chars.

# Golfer Points Chars Time
1st jared-hughes 1,000 83
2nd lynn 892 93
3rd sisyphus-ppcg 🇦🇺 874 95
3rd Lydxn 🇨🇦 874 95
5th ovs-code 🇩🇪 847 98
6th jmerle 🇳🇱 830 100
7th JayXon 🇺🇸 814 102
8th Steffan153 🇫🇮 783 106
8th annaproxy 783 106
8th scpchicken 🇵🇼 783 106
8th neel11235813 783 106
8th dokutan 783 106
8th MeWhenI 🇻🇦 783 106
8th Yewzir 🇧🇪 783 106
8th KatieLG 🇬🇧 783 106
16th CatsAreFluffy 606 137
16th zt14427 606 137
16th KatieLG-Transpiler 🇬🇧 606 137
16th HumanoidCPU 606 137
16th wuzekai518 606 137
16th Mabeloid 🇳🇴 606 137
16th cdesodt 606 137