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

    Rankings: Holes

    √2 in all languages in bytes.

    # Golfer Points Bytes Time
    600th Natanaelel 🇸🇪 813 42
    600th emgordon154 813 42
    603rd flawr 812 73
    603rd annaproxy 812 73
    605th didion0 🇺🇸 809 62
    606th Chinay-Domitrix 🇺🇸 808 58
    607th Yax42 🇫🇷 807 105
    607th AdrienHache 🇫🇷 807 105
    609th SirBogman 🇺🇸 806 31
    609th betaveros 806 31
    611th jerrandolph 806 113
    612th sean-niemann 🇺🇸 804 168
    613th Yewzir 🇧🇪 803 57
    614th glassala 802 60
    615th Jeremy-Stafford 801 74
    616th chunes3 🇺🇸 800 52
    617th Yewzir 🇧🇪 799 78
    618th AlephSquirrel 797 63
    618th gigaprofisi 🇺🇸 797 63
    618th Yax42 🇫🇷 797 63
    621st Mukundan314 794 43
    621st csharpython 794 43
    623rd Steffan153 🇫🇮 794 54
    623rd AlephSquirrel 794 54
    625th fuzzylojik-golf 🇺🇸 793 40
    626th Herbert00709 🇵🇱 793 128
    627th lifthrasiir 🇰🇷 792 316
    628th MeWhenI 🇻🇦 790 59
    629th Waffle3z 788 61
    629th tomtheisen 🇺🇸 788 61
    629th fgrosshans 🇫🇷 788 61
    629th FortuiteMan 🇫🇷 788 61
    633rd SirBogman 🇺🇸 786 78
    634th DialFrost 🇸🇬 785 93
    635th 52525rr 784 64
    636th primo-ppcg 🇹🇭 783 132
    636th sean-niemann 🇺🇸 783 132
    638th varhammer 🇷🇺 779 55
    638th fuzzylojik-golf 🇺🇸 779 55
    640th mpldr 🇩🇪 779 117
    641st DialFrost 🇸🇬 777 109
    642nd DialFrost 🇸🇬 777 160
    643rd glesnick 776 62
    644th namelessiw 775 59
    645th PatrickStephansen 🇿🇦 772 65
    646th primo-ppcg 🇹🇭 771 37
    647th billings7 🇬🇧 770 110
    648th SirBogman 🇺🇸 764 61
    649th Secozzi 763 63
    649th georgehulme 763 63
    649th cyxv 763 63
    649th Herbert00709 🇵🇱 763 63
    649th ei14 763 63
    649th LostSyntax21 🇬🇧 763 63
    649th DraigRygbi 763 63
    649th Pyroan 763 63
    657th namelessiw 763 111
    658th jacobly0 🇺🇸 763 163
    659th dokutan 762 46
    660th jared-hughes 760 119
    661st bendapootie 759 120
    661st cure-honey 🇯🇵 759 120
    663rd duckyluuk 🇳🇱 755 62
    664th primo-ppcg 🇹🇭 755 73
    664th anter69 🇭🇺 755 73
    666th emgordon154 753 61
    667th GrayJoKing 🇦🇺 752 57
    668th prplz 🇦🇺 752 62
    669th ordinary-slim 751 64
    669th AtengChen 751 64
    671st HPWiz 🇳🇿 750 69
    672nd SirBogman 🇺🇸 750 113
    673rd SirBogman 🇺🇸 749 138
    674th sean-niemann 🇺🇸 749 161
    675th rucin93 🇵🇱 748 136