Rankings: Holes

Prime Numbers in F# in chars.

# Golfer Points Chars Time
1st JayXon 🇺🇸 1,000 42
1st Lydxn 🇨🇦 1,000 42
1st btnlq 1,000 42
4th primo-ppcg 🇹🇭 875 48
5th prplz 🇦🇺 857 49
5th lynn 857 49
5th MeWhenI 🇻🇦 857 49
5th Steffan153 🇫🇮 857 49
5th Shanethegamer 🇺🇸 857 49
5th Yewzir 🇧🇪 857 49
5th dokutan 857 49
5th edsrzf 🇳🇿 857 49
13th JDiLenarda 🇫🇷 656 64
13th SirBogman 🇺🇸 656 64
15th brianberns 600 70
15th albert-du 600 70
17th KatieLG 🇬🇧 538 78
17th janbehrens 🇩🇪 538 78
17th KatieLG-Transpiler 🇬🇧 538 78
17th HumanoidCPU 538 78
21st ze-h 🇺🇸 519 81
22nd DialFrost 🇸🇬 477 88
23rd hyvyys 472 89
23rd madex 🇩🇪 472 89
25th Betuaredead 429 98
26th mokymok 🇺🇸 408 103
26th msbranicky 408 103
28th retrohun 393 107
29th Florian-Mt 341 123
30th Bejofo 316 133
30th Mabeloid 🇳🇴 316 133
32nd tomh1012 311 135
33rd MaxElf999 302 139
34th zt14427 290 145