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

    Rankings: Holes

    √2 in sed in bytes.

    # Golfer Points Bytes Time
    1st nwellnhof 🇩🇪 1,000 667
    2nd inventshah 991 673
    3rd galloj 🇨🇿 974 685
    4th GolfingSuccess 🇬🇷 818 815
    5th retrohun 788 846
    6th MeWhenI 🇻🇦 755 884
    7th dokutan 710 940
    8th IanUtley 696 959
    9th Anonymousellama21 666 1,001
    10th Waffle3z 665 1,003
    10th voytxt 🇨🇿 665 1,003
    10th DaCuteRaccoon 665 1,003
    10th KatieLG 🇬🇧 665 1,003
    10th Betuaredead 665 1,003
    10th klixel 🇨🇦 665 1,003
    10th Yewzir 🇧🇪 665 1,003
    10th snoozingnewt 🇺🇸 665 1,003
    10th Shanethegamer 🇺🇸 665 1,003
    10th fuzzylojik-golf 🇺🇸 665 1,003
    10th HumanoidCPU 665 1,003
    10th bac0id 665 1,003
    10th madeforlosers 665 1,003
    10th CaedenHarper 🇨🇦 665 1,003
    24th KatieLG-Transpiler 🇬🇧 664 1,004
    24th Liastrae 664 1,004
    24th olleicua 🇺🇸 664 1,004
    24th rifatx 664 1,004
    24th Mabeloid 🇳🇴 664 1,004
    29th rowboat1 664 1,005
    29th ricbuz94 664 1,005
    29th msbranicky 664 1,005
    32nd saito-ta 🇯🇵 478 1,396