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

    Rankings: Holes

    Emirp Numbers in TeX in chars.

    # Golfer Points Chars Time
    1st jared-hughes 1,000 107
    1st lifthrasiir 🇰🇷 1,000 107
    3rd sisyphus-ppcg 🇦🇺 922 116
    4th jmerle 🇳🇱 799 134
    5th Steffan153 🇫🇮 793 135
    5th annaproxy 793 135
    5th Shanethegamer 🇺🇸 793 135
    5th lynn 793 135
    5th JayXon 🇺🇸 793 135
    5th ovs-code 🇩🇪 793 135
    5th Lydxn 🇨🇦 793 135
    5th dokutan 793 135
    5th MeWhenI 🇻🇦 793 135
    5th Yewzir 🇧🇪 793 135
    5th KatieLG 🇬🇧 793 135
    16th f-tucker 743 144
    17th CatsAreFluffy 629 170
    17th KatieLG-Transpiler 🇬🇧 629 170
    17th Mabeloid 🇳🇴 629 170
    17th RYSF13 🇨🇳 629 170