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