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

    Rankings: Holes

    Emirp Numbers in J in bytes.

    # Golfer Points Bytes 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 GrayJoKing 🇦🇺 967 30
    8th primo-ppcg 🇹🇭 967 30
    10th lynn 935 31
    11th Natanaelel 🇸🇪 879 33
    12th rak1507 🇬🇧 853 34
    13th AshyIsMe 🇦🇺 829 35
    14th jared-hughes 806 36
    14th nwellnhof 🇩🇪 806 36
    14th 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
    26th Shanethegamer 🇺🇸 433 67
    27th RustemB 🇷🇺 387 75
    28th Ludusamo 302 96
    29th Yewzir 🇧🇪 206 141
    30th KatieLG 🇬🇧 200 145
    30th HumanoidCPU 200 145
    30th CaedenHarper 🇨🇦 200 145
    30th snoozingnewt 🇺🇸 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