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

    Rankings: Holes

    Emirp Numbers in Bash in chars.

    # Golfer Points Chars Time
    1st dvargas46 🇺🇸 1,000 61
    1st saito-ta 🇯🇵 1,000 61
    3rd jared-hughes 924 66
    3rd primo-ppcg 🇹🇭 924 66
    5th orthoplex 🇨🇽 678 90
    6th retrohun 635 96
    7th btjones0 629 97
    8th janbehrens 🇩🇪 570 107
    9th MeWhenI 🇻🇦 555 110
    10th frankgraziano 545 112
    11th ms0rgn 484 126
    12th jonahx 462 132
    13th JRaspass 🇬🇧 430 142
    13th niKK3 430 142
    13th andersk 🇺🇸 430 142
    13th Codsilla 🇨🇦 430 142
    13th KatieLG 🇬🇧 430 142
    13th Re-Adventures 🇮🇳 430 142
    13th KatieLG-Transpiler 🇬🇧 430 142
    13th msbranicky 430 142
    13th Shanethegamer 🇺🇸 430 142
    13th dokutan 430 142
    13th HumanoidCPU 430 142
    13th CaedenHarper 🇨🇦 430 142
    25th bwenstar 421 145
    26th mokymok 🇺🇸 341 179
    27th biinari 244 250
    28th jaredcrystal 🇺🇸 194 315
    28th SpareManiKatti 194 315
    30th jayanwar 130 471
    31st seanleken 107 569