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

    Rankings: Holes

    Emirp Numbers in Raku in chars.

    # Golfer Points Chars Time
    1st primo-ppcg 🇹🇭 1,000 38
    1st nwellnhof 🇩🇪 1,000 38
    1st Lydxn 🇨🇦 1,000 38
    4th GrayJoKing 🇦🇺 974 39
    4th Steffan153 🇫🇮 974 39
    4th Natanaelel 🇸🇪 974 39
    7th AlexDaniel 🇪🇪 950 40
    7th mcreenan 950 40
    7th SirBogman 🇺🇸 950 40
    7th Attero 🇸🇪 950 40
    7th sisyphus-ppcg 🇦🇺 950 40
    7th DialFrost 🇸🇬 950 40
    13th evb0110 927 41
    13th labster 927 41
    13th bluebear94 927 41
    13th hughsimpson 927 41
    17th dan-simon 905 42
    17th m-dango 905 42
    17th scpchicken 🇵🇼 905 42
    17th SirFireball3521 905 42
    17th sean-niemann 🇺🇸 905 42
    22nd phdphil 884 43
    23rd metakuna 844 45
    24th yokasuretsu 826 46
    24th retrohun 826 46
    24th Shanethegamer 🇺🇸 826 46
    27th IAGOAG 809 47
    27th somebody1234 809 47
    27th elisherer 🇮🇱 809 47
    27th o0lit3 🇺🇸 809 47
    27th rucin93 🇵🇱 809 47
    27th prplz 🇦🇺 809 47
    27th BBoehm 🇩🇪 809 47
    27th xiBread 🇺🇸 809 47
    27th krcs 🇵🇱 809 47
    27th MeWhenI 🇻🇦 809 47
    27th trist224 🇫🇷 809 47
    27th neel11235813 809 47
    39th xohmz 792 48
    39th JRaspass 🇬🇧 792 48
    41st bbkr 776 49
    41st itiievskyi 🇺🇦 776 49
    43rd RustemB 🇷🇺 760 50
    43rd ovs-code 🇩🇪 760 50
    45th Indivicivet 717 53
    46th jjatria 704 54
    47th molecules 691 55
    48th alphafalfa 623 61
    49th massung 613 62
    50th titsuki 603 63
    51st FCO 594 64
    52nd jkramer 576 66
    53rd daotoad 551 69
    54th Hans-Giebenrath 528 72
    55th gustawdaniel 494 77
    56th Scimon 481 79
    57th ohmycloud 427 89
    57th ALANVF 427 89
    57th GreenNope 427 89
    60th lancew 🇳🇿 270 141
    60th SpareManiKatti 270 141
    60th KatieLG-Transpiler 🇬🇧 270 141
    60th HumanoidCPU 270 141
    60th KatieLG 🇬🇧 270 141
    60th Mabeloid 🇳🇴 270 141
    66th connernewman 264 144
    66th aw-west 264 144
    68th kittrz9 216 176
    68th mokymok 🇺🇸 216 176
    68th msbranicky 216 176
    71st jaredcrystal 🇺🇸 121 315
    72nd yhm138 45 846