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

    Rankings: Holes

    Emirp Numbers in F# in chars.

    # Golfer Points Chars Time
    1st JayXon 🇺🇸 1,000 52
    1st Lydxn 🇨🇦 1,000 52
    3rd primo-ppcg 🇹🇭 912 57
    4th Steffan153 🇫🇮 813 64
    4th Shanethegamer 🇺🇸 813 64
    6th JDiLenarda 🇫🇷 800 65
    7th lynn 765 68
    8th MeWhenI 🇻🇦 754 69
    9th sean-niemann 🇺🇸 650 80
    10th dokutan 591 88
    11th KatieLG 🇬🇧 364 143
    11th KatieLG-Transpiler 🇬🇧 364 143
    11th HumanoidCPU 364 143
    11th CaedenHarper 🇨🇦 364 143
    15th retrohun 302 172
    16th mokymok 🇺🇸 291 179
    17th Mabeloid 🇳🇴 249 209
    18th SpareManiKatti 235 221
    19th Firefox760 218 238
    20th msbranicky 209 249