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

    Rankings: Holes

    Happy Numbers in J in chars.

    # Golfer Points Chars Time
    1st primo-ppcg 🇹🇭 1,000 28
    1st nwellnhof 🇩🇪 1,000 28
    3rd Frowny 966 29
    4th Bubbler-4 933 30
    4th ovs-code 🇩🇪 933 30
    6th HPWiz 🇳🇿 875 32
    7th stackofbears 848 33
    8th lynn 824 34
    8th jared-hughes 824 34
    8th Natanaelel 🇸🇪 824 34
    8th SirBogman 🇺🇸 824 34
    12th jslip 800 35
    12th rak1507 🇬🇧 800 35
    14th orthoplex 🇨🇽 778 36
    15th yzhs 🇩🇪 737 38
    16th j-Ewan 700 40
    17th ashtraypettingzoo 🇺🇸 651 43
    18th 4hg 🇺🇸 596 47
    19th nlc 549 51
    20th saltysylvi 538 52
    21st Shanethegamer 🇺🇸 483 58
    22nd diddily 329 85
    23rd KatieLG 🇬🇧 241 116
    23rd HumanoidCPU 241 116
    23rd CaedenHarper 🇨🇦 241 116
    23rd MeWhenI 🇻🇦 241 116
    27th RustemB 🇷🇺 230 122
    28th dokutan 219 128
    29th retrohun 105 266
    29th jiaminglimjm 🇲🇾 105 266
    31st mokymok 🇺🇸 105 267
    32nd KatieLG-Transpiler 🇬🇧 48 587