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 Frowny 1,000 29
    1st Bubbler-4 1,000 29
    1st neel11235813 1,000 29
    1st ovs-code 🇩🇪 1,000 29
    1st stackofbears 1,000 29
    1st SirBogman 🇺🇸 1,000 29
    8th nwellnhof 🇩🇪 967 30
    8th GrayJoKing 🇦🇺 967 30
    8th primo-ppcg 🇹🇭 967 30
    11th lynn 935 31
    12th Natanaelel 🇸🇪 879 33
    13th rak1507 🇬🇧 853 34
    14th AshyIsMe 🇦🇺 829 35
    15th jared-hughes 806 36
    15th 4hg 🇺🇸 806 36
    17th nickspoons 🇳🇿 725 40
    18th j-Ewan 707 41
    18th yzhs 🇩🇪 707 41
    20th orthoplex 🇨🇽 659 44
    20th MeWhenI 🇻🇦 659 44
    22nd jhonw 644 45
    23rd DialFrost 🇸🇬 604 48
    24th diddily 592 49
    25th jhfranklin 🇬🇧 547 53
    25th snoozingnewt 🇺🇸 547 53
    27th Shanethegamer 🇺🇸 433 67
    28th RustemB 🇷🇺 387 75
    29th Ludusamo 302 96
    30th Yewzir 🇧🇪 206 141
    31st KatieLG 🇬🇧 200 145
    31st HumanoidCPU 200 145
    31st CaedenHarper 🇨🇦 200 145
    34th retrohun 92 315
    34th jaredcrystal 🇺🇸 92 315
    36th mokymok 🇺🇸 92 316
    37th SpareManiKatti 83 351
    38th zwxzwxzwx21 73 400
    39th KatieLG-Transpiler 🇬🇧 43 676