Rankings: Holes

√2 in AWK in chars.

# Golfer Points Chars Time
1st Steffan153 🇫🇮 1,000 95
2nd primo-ppcg 🇹🇭 990 96
3rd sean-niemann 🇺🇸 931 102
4th MeWhenI 🇻🇦 368 258
5th retrohun 94 1,014
5th Shanethegamer 🇺🇸 94 1,014
5th Yewzir 🇧🇪 94 1,014
5th voytxt 🇨🇿 94 1,014
5th fuzzylojik-golf 🇺🇸 94 1,014
5th dokutan 94 1,014
5th bac0id 94 1,014
12th cdesodt 94 1,016
12th HumanoidCPU 94 1,016
12th olleicua 🇺🇸 94 1,016
12th madeforlosers 94 1,016
16th KatieLG 🇬🇧 93 1,018
16th rifatx 93 1,018
16th Mabeloid 🇳🇴 93 1,018
19th KatieLG-Transpiler 🇬🇧 93 1,021