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