Rankings: Holes

Emirp Numbers in GolfScript in chars.

gs
# Golfer Points Chars Time
1st primo-ppcg 🇹🇭 1,000 30
2nd MeWhenI 🇻🇦 968 31
3rd saito-ta 🇯🇵 882 34
3rd clockworknazo 882 34
3rd pardouin 🇫🇷 882 34
6th sisyphus-ppcg 🇦🇺 857 35
6th lynn 857 35
8th ovs-code 🇩🇪 833 36
9th AlephSquirrel 750 40
10th SirBogman 🇺🇸 732 41
11th emgordon154 682 44
12th Natanaelel 🇸🇪 469 64
13th Herbert00709 🇵🇱 455 66
14th dokutan 395 76
15th KatieLG 🇬🇧 219 137
15th KatieLG-Transpiler 🇬🇧 219 137
15th CatsAreFluffy 219 137
15th HumanoidCPU 219 137
15th Shanethegamer 🇺🇸 219 137
15th Mabeloid 🇳🇴 219 137
21st retrohun 213 141
22nd Firefox760 160 187