Rankings: Holes

Lucky Numbers in AWK in chars.

# Golfer Lang Points Chars Time
1st primo-ppcg 🇹🇭 AWK 1,000 60
2nd clockworknazo AWK 896 67
3rd MeWhenI 🇻🇦 AWK 811 74
4th sean-niemann 🇺🇸 AWK 741 81
5th retrohun AWK 10 5,830
6th KatieLG 🇬🇧 AWK 10 5,834
7th KatieLG-Transpiler 🇬🇧 AWK 10 5,837