Rankings: Holes

Emirp Numbers in AWK in chars.

# Golfer Points Chars Time
1st primo-ppcg 🇹🇭 1,000 60
1st xsot 🇸🇬 1,000 60
3rd sisyphus-ppcg 🇦🇺 984 61
4th Lydxn 🇨🇦 968 62
5th sean-niemann 🇺🇸 952 63
6th inventshah 625 96
7th MeWhenI 🇻🇦 561 107
8th Yewzir 🇧🇪 500 120
9th bac0id 455 132
10th alphafalfa 438 137
11th dokutan 414 145
12th msbranicky 368 163
13th KatieLG 🇬🇧 351 171
14th retrohun 347 173
15th aksyristos 330 182
15th Shanethegamer 🇺🇸 330 182
15th HumanoidCPU 330 182
18th CatsAreFluffy 323 186
18th Mabeloid 🇳🇴 323 186
20th KatieLG-Transpiler 🇬🇧 317 189
21st DaCuteRaccoon 284 211