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
    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
    7th marcin7Cd 918 49
    7th ovs-code 🇩🇪 918 49
    9th Steffan153 🇫🇮 833 54
    9th AlephSquirrel 833 54
    11th varhammer 🇷🇺 818 55
    12th GrayJoKing 🇦🇺 789 57
    13th roguh 🇬🇹 763 59
    14th Shanethegamer 🇺🇸 372 121
    15th Yewzir 🇧🇪 201 224
    16th dokutan 199 226
    17th KatieLG 🇬🇧 45 1,011
    17th LlamaLad7 🇬🇧 45 1,011
    17th munchkinduncan 45 1,011
    17th voytxt 🇨🇿 45 1,011
    17th MeWhenI 🇻🇦 45 1,011
    17th KatieLG-Transpiler 🇬🇧 45 1,011
    17th msbranicky 45 1,011
    17th Jacob385 45 1,011
    17th HumanoidCPU 45 1,011
    17th bac0id 45 1,011
    17th Mabeloid 🇳🇴 45 1,011
    17th CaedenHarper 🇨🇦 45 1,011
    29th Waffle3z 44 1,014
    29th c0d3-4-F00d 🇩🇪 44 1,014
    29th destofr 44 1,014
    29th olleicua 🇺🇸 44 1,014
    33rd guliyevemil1 🇦🇿 44 1,015
    34th mokymok 🇺🇸 44 1,016
    34th ricbuz94 44 1,016
    34th retrohun 44 1,016
    34th rifatx 44 1,016
    34th madeforlosers 44 1,016
    39th rowboat1 44 1,017