Rankings: Holes

Emirp Numbers in Bash in chars.

# Golfer Points Chars Time
1st dvargas46 🇺🇸 1,000 61
1st saito-ta 🇯🇵 1,000 61
3rd jared-hughes 924 66
3rd primo-ppcg 🇹🇭 924 66
5th orthoplex 🇨🇽 678 90
6th retrohun 635 96
7th btjones0 629 97
8th janbehrens 🇩🇪 570 107
9th MeWhenI 🇻🇦 555 110
10th frankgraziano 545 112
11th ms0rgn 484 126
12th jonahx 462 132
13th JRaspass 🇬🇧 430 142
13th niKK3 430 142
13th andersk 🇺🇸 430 142
13th Codsilla 🇨🇦 430 142
13th KatieLG 🇬🇧 430 142
13th Re-Adventures 🇮🇳 430 142
13th KatieLG-Transpiler 🇬🇧 430 142
13th msbranicky 430 142
13th Shanethegamer 🇺🇸 430 142
13th dokutan 430 142
13th HumanoidCPU 430 142
24th bwenstar 421 145
25th mokymok 🇺🇸 341 179
26th biinari 244 250
27th jaredcrystal 🇺🇸 194 315
27th SpareManiKatti 194 315
29th jayanwar 130 471
30th seanleken 107 569