Rankings: Holes

Emirp Numbers in F# in bytes.

# Golfer Points Bytes Time
1st primo-ppcg 🇹🇭 1,000 82
1st JayXon 🇺🇸 1,000 82
1st lynn 1,000 82
1st Lydxn 🇨🇦 1,000 82
1st Steffan153 🇫🇮 1,000 82
1st sean-niemann 🇺🇸 1,000 82
7th Shanethegamer 🇺🇸 911 90
8th JDiLenarda 🇫🇷 901 91
9th MeWhenI 🇻🇦 863 95
10th dokutan 719 114
11th KatieLG 🇬🇧 573 143
11th KatieLG-Transpiler 🇬🇧 573 143
11th HumanoidCPU 573 143
11th CaedenHarper 🇨🇦 573 143
15th retrohun 477 172
16th mokymok 🇺🇸 458 179
17th Mabeloid 🇳🇴 392 209
18th SpareManiKatti 371 221
19th Firefox760 345 238
20th msbranicky 329 249