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

    Rankings: Holes

    Emirp Numbers in Factor in chars.

    # Golfer Points Chars Time
    1st error256 1,000 42
    1st Kacarott 🇦🇺 1,000 42
    3rd GrayJoKing 🇦🇺 913 46
    3rd Lydxn 🇨🇦 913 46
    3rd ovs-code 🇩🇪 913 46
    3rd Steffan153 🇫🇮 913 46
    3rd primo-ppcg 🇹🇭 913 46
    3rd MeWhenI 🇻🇦 913 46
    3rd Yewzir 🇧🇪 913 46
    3rd pardouin 🇫🇷 913 46
    3rd Shanethegamer 🇺🇸 913 46
    3rd edsrzf 🇳🇿 913 46
    3rd sean-niemann 🇺🇸 913 46
    14th Bubbler-4 764 55
    14th DialFrost 🇸🇬 764 55
    16th GolfingSuccess 🇬🇷 553 76
    17th 4hg 🇺🇸 545 77
    18th chunes3 🇺🇸 483 87
    18th Natanaelel 🇸🇪 483 87
    18th dokutan 483 87
    21st gifti258 457 92
    22nd HumanoidCPU 296 142
    23rd KatieLG 🇬🇧 294 143
    23rd KatieLG-Transpiler 🇬🇧 294 143
    23rd msbranicky 294 143
    23rd Mabeloid 🇳🇴 294 143
    23rd CaedenHarper 🇨🇦 294 143