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

    Rankings: Holes

    Emirp Numbers in J in chars.

    # Golfer Points Chars Time
    1st jonahx 1,000 29
    1st ovs-code 🇩🇪 1,000 29
    1st stackofbears 1,000 29
    1st SirBogman 🇺🇸 1,000 29
    5th nwellnhof 🇩🇪 967 30
    5th GrayJoKing 🇦🇺 967 30
    5th primo-ppcg 🇹🇭 967 30
    8th Natanaelel 🇸🇪 879 33
    9th rak1507 🇬🇧 853 34
    10th AshyIsMe 🇦🇺 829 35
    11th jared-hughes 806 36
    11th 4hg 🇺🇸 806 36
    13th nickspoons 🇳🇿 725 40
    14th j-Ewan 707 41
    14th yzhs 🇩🇪 707 41
    16th orthoplex 🇨🇽 659 44
    16th MeWhenI 🇻🇦 659 44
    18th jhonw 644 45
    19th DialFrost 🇸🇬 604 48
    20th diddily 592 49
    21st jhfranklin 🇬🇧 547 53
    22nd Shanethegamer 🇺🇸 433 67
    23rd RustemB 🇷🇺 387 75
    24th Yewzir 🇧🇪 206 141
    25th KatieLG 🇬🇧 200 145
    25th HumanoidCPU 200 145
    25th CaedenHarper 🇨🇦 200 145
    28th retrohun 92 315
    28th jaredcrystal 🇺🇸 92 315
    30th mokymok 🇺🇸 92 316
    31st SpareManiKatti 83 351
    31st snoozingnewt 🇺🇸 83 351
    33rd zwxzwxzwx21 73 400
    34th KatieLG-Transpiler 🇬🇧 43 676