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
    1,125th shellbertt 🇨🇦 517 66
    1,125th LostSyntax21 🇬🇧 517 66
    1,128th zuparnowa 517 93
    1,128th henrytranter 517 93
    1,128th NatNgs 517 93
    1,131st Yewzir 🇧🇪 516 52
    1,132nd LukasFolwarczny 🇨🇿 512 94
    1,132nd BlankSpruce 512 94
    1,132nd Bodo171 512 94
    1,135th Lydxn 🇨🇦 511 122
    1,135th h3ra993huskp 🇯🇵 511 122
    1,137th pandapawskat 510 56
    1,138th vcxl-l 510 67
    1,139th XenThe 🇬🇧 507 99
    1,140th nullie 506 95
    1,141st NickTheEASDude 🇺🇸 501 57
    1,142nd Arridian 501 96
    1,142nd VictorFordham 501 96
    1,144th aioobe 499 125
    1,144th SirBogman 🇺🇸 499 125
    1,144th primo-ppcg 🇹🇭 499 125
    1,144th janbehrens 🇩🇪 499 125
    1,144th raphaelimahorn 499 125
    1,144th inventshah 499 125
    1,144th neihousaigaai 499 125
    1,144th cbrt-x 499 125
    1,144th Irratix 🇳🇱 499 125
    1,144th MeWhenI 🇻🇦 499 125
    1,144th bwat2 499 125
    1,144th tigerdan2 🇩🇪 499 125
    1,144th Steffan153 🇫🇮 499 125
    1,144th crizin 🇰🇷 499 125
    1,144th jbloch 499 125
    1,144th bac0id 499 125
    1,160th archaephyrryx 494 120
    1,161st adamnielson42 🇺🇸 492 58
    1,162nd Shanethegamer 🇺🇸 492 112
    1,163rd eggplants 🇯🇵 488 70
    1,164th epic-programmer-guy 487 128
    1,165th targrik 487 187
    1,166th draxler-h 486 99
    1,166th felixcroc 486 99
    1,166th jaydity 486 99
    1,169th JohandeRuiter 🇳🇱 483 210
    1,170th janbehrens 🇩🇪 482 184
    1,171st SniperSmiley 🇺🇸 481 100
    1,172nd FlyingPenguin223 476 60
    1,173rd janbehrens 🇩🇪 476 98
    1,174th petroselo 476 101
    1,174th ejini6969 476 101
    1,174th qwjhvbxi 476 101
    1,177th olleicua 🇺🇸 474 72
    1,178th voidgloom 473 99
    1,179th brian6liu 471 102
    1,179th AodhanDalton 471 102
    1,181st SirBogman 🇺🇸 470 110
    1,182nd m-tkach 🇺🇦 468 73
    1,183rd AaronHe7 467 103
    1,183rd Mikey-Beep 🇬🇧 467 103
    1,185th saito-ta 🇯🇵 466 194
    1,186th eranws 465 108
    1,187th jgbaldwinbrown 465 196
    1,188th cure-honey 🇯🇵 463 280
    1,189th klixel 🇨🇦 462 58
    1,190th mossiegoat 462 104
    1,191st TimCurwick 🇺🇸 461 101
    1,192nd NewDefectus 🇮🇱 460 62
    1,192nd mousetail 🇳🇱 460 62
    1,194th AnnoyedArt1256 460 109
    1,195th boxjelly 458 105
    1,195th ms-tingliang 458 105
    1,195th randolchance 458 105
    1,198th acollett89 456 110
    1,199th galloj 🇨🇿 455 55
    1,200th joonaspu 454 106