Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    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