Rankings: Holes

Lucky Numbers in AWK in chars.

# Golfer Points Chars Time
1st primo-ppcg 🇹🇭 1,000 60
2nd clockworknazo 896 67
3rd MeWhenI 🇻🇦 811 74
4th sean-niemann 🇺🇸 741 81
5th DialFrost 🇸🇬 682 88
6th alphafalfa 385 156
7th dokutan 17 3,611
8th KatieLG 🇬🇧 17 3,629
9th retrohun 10 5,830
9th HumanoidCPU 10 5,830
11th Mabeloid 🇳🇴 10 5,834
12th KatieLG-Transpiler 🇬🇧 10 5,837