Rankings: Holes

Emirp Numbers in Factor in bytes.

# Golfer Points Bytes Time
1st GrayJoKing 🇦🇺 1,000 57
1st Bubbler-4 1,000 57
1st Lydxn 🇨🇦 1,000 57
1st ovs-code 🇩🇪 1,000 57
1st Steffan153 🇫🇮 1,000 57
1st primo-ppcg 🇹🇭 1,000 57
1st Kacarott 🇦🇺 1,000 57
1st error256 1,000 57
1st pardouin 🇫🇷 1,000 57
1st sean-niemann 🇺🇸 1,000 57
1st DialFrost 🇸🇬 1,000 57
12th Yewzir 🇧🇪 826 69
13th MeWhenI 🇻🇦 803 71
14th Shanethegamer 🇺🇸 792 72
14th edsrzf 🇳🇿 792 72
16th GolfingSuccess 🇬🇷 750 76
17th 4hg 🇺🇸 740 77
18th chunes3 🇺🇸 655 87
18th Natanaelel 🇸🇪 655 87
20th gifti258 620 92
21st dokutan 559 102
22nd HumanoidCPU 401 142
23rd KatieLG 🇬🇧 399 143
23rd KatieLG-Transpiler 🇬🇧 399 143
23rd msbranicky 399 143
23rd Mabeloid 🇳🇴 399 143
23rd CaedenHarper 🇨🇦 399 143