Rankings: Holes

Emirp Numbers in Common Lisp in chars.

# Golfer Points Chars Time
1st primo-ppcg 🇹🇭 1,000 76
1st kg583 🇺🇸 1,000 76
1st CLOStrophobic 🇮🇹 1,000 76
4th AlephSquirrel 987 77
4th edsrzf 🇳🇿 987 77
6th Shanethegamer 🇺🇸 905 84
7th dokutan 874 87
8th somebody1234 864 88
9th Yewzir 854 89
10th marcin7Cd 784 97
11th KatieLG 🇬🇧 528 144
11th MeWhenI 🇻🇦 528 144
11th KatieLG-Transpiler 🇬🇧 528 144
11th HumanoidCPU 528 144
11th Mabeloid 🇳🇴 528 144
11th CaedenHarper 🇨🇦 528 144
17th destofr 517 147
18th jaredcrystal 🇺🇸 514 148
19th mokymok 🇺🇸 510 149
19th SpareManiKatti 510 149
19th retrohun 510 149
22nd ai-fischer 481 158
22nd varhammer 🇷🇺 481 158
24th Firefox760 469 162
25th wh3n3v3r 🇨🇿 447 170
26th magnusmalm 406 187
27th tshatrov 358 212
28th sleinen 336 226
29th msbranicky 315 241
30th abailey2020 🇺🇸 297 256
31st c0d3-4-F00d 🇩🇪 192 396