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
6th Shanethegamer 🇺🇸 911 90
7th JDiLenarda 🇫🇷 901 91
8th MeWhenI 🇻🇦 863 95
9th dokutan 719 114
10th KatieLG 🇬🇧 573 143
10th KatieLG-Transpiler 🇬🇧 573 143
10th HumanoidCPU 573 143
13th retrohun 477 172
14th mokymok 🇺🇸 458 179
15th Mabeloid 🇳🇴 392 209
16th SpareManiKatti 371 221
17th Firefox760 345 238
18th msbranicky 329 249