Rankings: Holes

Emirp Numbers in sed in bytes.

# Golfer Points Bytes Time
1st sisyphus-ppcg 🇦🇺 1,000 125
1st GolfingSuccess 🇬🇷 1,000 125
1st MeWhenI 🇻🇦 1,000 125
1st ovs-code 🇩🇪 1,000 125
1st inventshah 1,000 125
1st lynn 1,000 125
1st nwellnhof 🇩🇪 1,000 125
1st galloj 🇨🇿 1,000 125
1st Steffan153 🇫🇮 1,000 125
1st btnlq 1,000 125
1st sean-niemann 🇺🇸 1,000 125
1st JayXon 🇺🇸 1,000 125
1st Lydxn 🇨🇦 1,000 125
1st dokutan 1,000 125
1st retrohun 1,000 125
1st kritixilithos 1,000 125
1st pardouin 🇫🇷 1,000 125
18th error256 919 136
19th Waffle3z 731 171
19th KatieLG 🇬🇧 731 171
19th Shanethegamer 🇺🇸 731 171
19th HumanoidCPU 731 171
23rd KatieLG-Transpiler 🇬🇧 727 172
23rd Mabeloid 🇳🇴 727 172
25th saito-ta 🇯🇵 532 235