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

    Rankings: Holes

    √2 in Common Lisp in chars.

    # Golfer Points Chars Time Submitted
    1st kg583 🇺🇸 1,000 45
    1st edsrzf 🇳🇿 1,000 45
    1st zacjl 1,000 45
    1st DialFrost 🇸🇬 1,000 45
    1st CLOStrophobic 🇮🇹 1,000 45
    1st primo-ppcg 🇹🇭 1,000 45
    1st Steffan153 🇫🇮 1,000 45
    8th marcin7Cd 918 49
    8th ovs-code 🇩🇪 918 49
    10th AlephSquirrel 833 54
    10th fuzzylojik-golf 🇺🇸 833 54
    12th varhammer 🇷🇺 818 55
    13th GrayJoKing 🇦🇺 789 57
    14th roguh 🇬🇹 763 59
    15th dokutan 662 68
    16th Shanethegamer 🇺🇸 372 121
    17th Yewzir 🇧🇪 201 224
    18th KatieLG 🇬🇧 45 1,011
    18th LlamaLad7 🇬🇧 45 1,011
    18th munchkinduncan 45 1,011
    18th voytxt 🇨🇿 45 1,011
    18th MeWhenI 🇻🇦 45 1,011
    18th KatieLG-Transpiler 🇬🇧 45 1,011
    18th msbranicky 45 1,011
    18th Jacob385 45 1,011
    18th HumanoidCPU 45 1,011
    18th bac0id 45 1,011
    18th Mabeloid 🇳🇴 45 1,011
    18th CaedenHarper 🇨🇦 45 1,011
    18th JOrE20 45 1,011
    31st Waffle3z 44 1,014
    31st c0d3-4-F00d 🇩🇪 44 1,014
    31st destofr 44 1,014
    31st olleicua 🇺🇸 44 1,014
    35th guliyevemil1 🇦🇿 44 1,015
    36th mokymok 🇺🇸 44 1,016
    36th ricbuz94 44 1,016
    36th retrohun 44 1,016
    36th rifatx 44 1,016
    36th madeforlosers 44 1,016
    41st rowboat1 44 1,017