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 GolfingSuccess 🇬🇷 727 110
14th dokutan 714 112
15th lynn 708 113
15th Natanaelel 🇸🇪 708 113
15th sean-niemann 🇺🇸 708 113
18th Waffle3z 580 138
18th KatieLG 🇬🇧 580 138
18th stellartux 580 138
18th Shanethegamer 🇺🇸 580 138
18th HumanoidCPU 580 138
23rd KatieLG-Transpiler 🇬🇧 576 139
23rd Mabeloid 🇳🇴 576 139
25th zt14427 571 140