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