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 GrayJoKing 🇦🇺 967 30
    5th primo-ppcg 🇹🇭 967 30
    7th Natanaelel 🇸🇪 879 33
    8th rak1507 🇬🇧 853 34
    9th AshyIsMe 🇦🇺 829 35
    10th jared-hughes 806 36
    10th 4hg 🇺🇸 806 36
    12th nickspoons 🇳🇿 725 40
    13th j-Ewan 707 41
    13th yzhs 🇩🇪 707 41
    15th orthoplex 🇨🇽 659 44
    15th MeWhenI 🇻🇦 659 44
    17th jhonw 644 45
    18th DialFrost 🇸🇬 604 48
    19th diddily 592 49
    20th jhfranklin 🇬🇧 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
    30th snoozingnewt 🇺🇸 83 351
    32nd zwxzwxzwx21 73 400
    33rd KatieLG-Transpiler 🇬🇧 43 676