Rankings: Holes

Happy Numbers in sed in chars.

# Golfer Points Chars Time
1st btnlq 1,000 80
1st saito-ta 🇯🇵 1,000 80
3rd sisyphus-ppcg 🇦🇺 879 91
3rd ovs-code 🇩🇪 879 91
3rd inventshah 879 91
3rd nwellnhof 🇩🇪 879 91
3rd retrohun 879 91
3rd kritixilithos 879 91
9th MeWhenI 🇻🇦 860 93
10th Steffan153 🇫🇮 808 99
10th pardouin 🇫🇷 808 99
12th galloj 🇨🇿 748 107
13th sean-niemann 🇺🇸 741 108
14th GolfingSuccess 🇬🇷 727 110
15th dokutan 714 112
16th lynn 708 113
16th Natanaelel 🇸🇪 708 113
16th DialFrost 🇸🇬 708 113
19th Waffle3z 580 138
19th KatieLG 🇬🇧 580 138
19th stellartux 580 138
19th Shanethegamer 🇺🇸 580 138
19th HumanoidCPU 580 138
24th KatieLG-Transpiler 🇬🇧 576 139
24th Mabeloid 🇳🇴 576 139
26th zt14427 571 140