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

    Rankings: Holes

    Emirp Numbers in Common Lisp in chars.

    # Golfer Points Chars Time
    1st primo-ppcg 🇹🇭 1,000 76
    1st kg583 🇺🇸 1,000 76
    1st CLOStrophobic 🇮🇹 1,000 76
    1st edsrzf 🇳🇿 1,000 76
    5th AlephSquirrel 987 77
    6th Shanethegamer 🇺🇸 905 84
    7th dokutan 874 87
    8th somebody1234 864 88
    9th Yewzir 🇧🇪 854 89
    10th marcin7Cd 784 97
    11th KatieLG 🇬🇧 528 144
    11th MeWhenI 🇻🇦 528 144
    11th KatieLG-Transpiler 🇬🇧 528 144
    11th HumanoidCPU 528 144
    11th Mabeloid 🇳🇴 528 144
    11th CaedenHarper 🇨🇦 528 144
    17th destofr 517 147
    18th jaredcrystal 🇺🇸 514 148
    19th mokymok 🇺🇸 510 149
    19th SpareManiKatti 510 149
    19th retrohun 510 149
    22nd ai-fischer 481 158
    22nd varhammer 🇷🇺 481 158
    24th Firefox760 469 162
    25th wh3n3v3r 🇨🇿 447 170
    26th magnusmalm 406 187
    27th tshatrov 358 212
    28th sleinen 336 226
    29th msbranicky 315 241
    30th abailey2020 🇺🇸 297 256
    31st c0d3-4-F00d 🇩🇪 192 396