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,126th lukechampine 518 176
    1,127th jackkav 518 196
    1,128th Secozzi 517 66
    1,128th shellbertt 🇨🇦 517 66
    1,128th LostSyntax21 🇬🇧 517 66
    1,131st zuparnowa 517 93
    1,131st henrytranter 517 93
    1,131st NatNgs 517 93
    1,134th Yewzir 🇧🇪 516 52
    1,135th LukasFolwarczny 🇨🇿 512 94
    1,135th BlankSpruce 512 94
    1,135th Bodo171 512 94
    1,138th pandapawskat 510 56
    1,139th vcxl-l 510 67
    1,140th XenThe 🇬🇧 507 99
    1,141st nullie 506 95
    1,142nd NickTheEASDude 🇺🇸 501 57
    1,143rd Arridian 501 96
    1,143rd VictorFordham 501 96
    1,145th msbranicky 495 229
    1,146th archaephyrryx 494 120
    1,147th adamnielson42 🇺🇸 492 58
    1,148th Shanethegamer 🇺🇸 492 112
    1,149th eggplants 🇯🇵 488 70
    1,150th targrik 487 187
    1,151st draxler-h 486 99
    1,151st felixcroc 486 99
    1,151st jaydity 486 99
    1,154th JohandeRuiter 🇳🇱 483 210
    1,155th janbehrens 🇩🇪 482 184
    1,156th SniperSmiley 🇺🇸 481 100
    1,157th FlyingPenguin223 476 60
    1,158th janbehrens 🇩🇪 476 98
    1,159th petroselo 476 101
    1,159th ejini6969 476 101
    1,159th qwjhvbxi 476 101
    1,162nd olleicua 🇺🇸 474 72
    1,163rd voidgloom 473 99
    1,164th brian6liu 471 102
    1,164th AodhanDalton 471 102
    1,166th SirBogman 🇺🇸 470 110
    1,167th m-tkach 🇺🇦 468 73
    1,168th AaronHe7 467 103
    1,168th Mikey-Beep 🇬🇧 467 103
    1,170th saito-ta 🇯🇵 466 194
    1,171st eranws 465 108
    1,172nd jgbaldwinbrown 465 196
    1,173rd cure-honey 🇯🇵 463 280
    1,174th klixel 🇨🇦 462 58
    1,175th TimCurwick 🇺🇸 462 101
    1,176th NewDefectus 🇮🇱 460 62
    1,176th mousetail 🇳🇱 460 62
    1,178th AnnoyedArt1256 460 109
    1,179th boxjelly 458 105
    1,179th ms-tingliang 458 105
    1,179th randolchance 458 105
    1,182nd acollett89 456 110
    1,183rd galloj 🇨🇿 455 55
    1,184th lukehewittvandy 455 249
    1,185th joonaspu 454 106
    1,186th user189032 453 131
    1,187th TorbjornBak 449 107
    1,188th cure-honey 🇯🇵 447 302
    1,189th ZakkkkAttackkkk 🇵🇭 446 64
    1,190th Richard-White2 446 254
    1,191st BlankSpruce 442 234
    1,192nd Pena86 441 109
    1,192nd dhruvkumaragrawal85 441 109
    1,194th hiddicop 🇸🇪 438 78
    1,194th boxjelly 438 78
    1,194th Yewzir 🇧🇪 438 78
    1,197th Urbi111 437 110
    1,198th roupiq 🇵🇱 432 66
    1,199th tadd 432 79
    1,199th dokutan 432 79