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

    Rankings: Holes

    Happy Numbers in sed in chars.

    # Golfer Points Chars Time
    1st btnlq 1,000 80
    1st saito-ta 🇯🇵 1,000 80
    3rd sisyphus-ppcg 🇦🇺 879 91
    3rd ovs-code 🇩🇪 879 91
    3rd inventshah 879 91
    3rd nwellnhof 🇩🇪 879 91
    3rd retrohun 879 91
    3rd kritixilithos 879 91
    9th MeWhenI 🇻🇦 860 93
    10th Steffan153 🇫🇮 808 99
    10th pardouin 🇫🇷 808 99
    10th sean-niemann 🇺🇸 808 99
    13th galloj 🇨🇿 748 107
    14th GolfingSuccess 🇬🇷 727 110
    15th dokutan 714 112
    16th lynn 708 113
    16th Natanaelel 🇸🇪 708 113
    16th DialFrost 🇸🇬 708 113
    19th stefangimmillaro 690 116
    20th Waffle3z 580 138
    20th KatieLG 🇬🇧 580 138
    20th stellartux 580 138
    20th Shanethegamer 🇺🇸 580 138
    20th HumanoidCPU 580 138
    25th KatieLG-Transpiler 🇬🇧 576 139
    25th Mabeloid 🇳🇴 576 139
    27th zt14427 571 140