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
    632nd SirBogman 🇺🇸 786 78
    633rd DialFrost 🇸🇬 785 93
    634th 52525rr 784 64
    635th primo-ppcg 🇹🇭 783 132
    635th sean-niemann 🇺🇸 783 132
    637th varhammer 🇷🇺 779 55
    637th fuzzylojik-golf 🇺🇸 779 55
    639th mpldr 🇩🇪 779 117
    640th DialFrost 🇸🇬 777 109
    641st DialFrost 🇸🇬 777 160
    642nd glesnick 776 62
    643rd namelessiw 775 59
    644th PatrickStephansen 🇿🇦 772 65
    645th primo-ppcg 🇹🇭 771 37
    646th billings7 🇬🇧 770 110
    647th SirBogman 🇺🇸 764 61
    648th Secozzi 763 63
    648th georgehulme 763 63
    648th cyxv 763 63
    648th Herbert00709 🇵🇱 763 63
    648th ei14 763 63
    648th LostSyntax21 🇬🇧 763 63
    648th DraigRygbi 763 63
    648th Pyroan 763 63
    656th namelessiw 763 111
    657th jacobly0 🇺🇸 763 163
    658th dokutan 762 46
    659th jared-hughes 760 119
    660th bendapootie 759 120
    660th cure-honey 🇯🇵 759 120
    662nd duckyluuk 🇳🇱 755 62
    663rd primo-ppcg 🇹🇭 755 73
    663rd anter69 🇭🇺 755 73
    665th emgordon154 753 61
    666th GrayJoKing 🇦🇺 752 57
    667th prplz 🇦🇺 752 62
    668th ordinary-slim 751 64
    668th AtengChen 751 64
    670th HPWiz 🇳🇿 750 69
    671st SirBogman 🇺🇸 750 113
    672nd SirBogman 🇺🇸 749 138
    673rd sean-niemann 🇺🇸 749 161
    674th rucin93 🇵🇱 748 136
    675th m-tkach 🇺🇦 748 213