Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time Submitted
    1,097th madeforlosers 476 1,019
    1,097th CaedenHarper 🇨🇦 476 1,019
    1,097th JunkIce 476 1,019
    1,097th HumanoidCPU 476 1,019
    1,097th heanyang1 476 1,019
    1,097th gigaprofisi 🇺🇸 476 1,019
    1,097th JOrE20 476 1,019
    1,108th dcc5480 475 311
    1,109th elgan65536 🇺🇸 475 579
    1,110th msbranicky 475 605
    1,111th voytxt 🇨🇿 474 330
    1,112th roupiq 🇵🇱 474 571
    1,113th stefangimmillaro 474 588
    1,114th FortuiteMan 🇫🇷 474 1,022
    1,115th janbehrens 🇩🇪 473 573
    1,116th dokutan 473 608
    1,117th KatieLG-Transpiler 🇬🇧 473 1,053
    1,118th Yewzir 🇧🇪 471 1,010
    1,118th CaedenHarper 🇨🇦 471 1,010
    1,120th KatieLG 🇬🇧 471 1,011
    1,120th KatieLG-Transpiler 🇬🇧 471 1,011
    1,120th klixel 🇨🇦 471 1,011
    1,120th FortuiteMan 🇫🇷 471 1,011
    1,120th voytxt 🇨🇿 471 1,011
    1,120th snoozingnewt 🇨🇦 471 1,011
    1,120th msbranicky 471 1,011
    1,120th madeforlosers 471 1,011
    1,120th HumanoidCPU 471 1,011
    1,120th bac0id 471 1,011
    1,120th Mabeloid 🇳🇴 471 1,011
    1,120th JunkIce 471 1,011
    1,120th heanyang1 471 1,011
    1,120th gigaprofisi 🇺🇸 471 1,011
    1,134th JOrE20 470 1,012
    1,135th Shanethegamer 🇺🇸 468 530
    1,136th Spruill-1 468 579
    1,137th MeWhenI 🇻🇦 468 595
    1,138th LucaArgentiUCF 🇮🇹 468 1,037
    1,139th KrausRaus 🇺🇸 467 335
    1,140th Shanethegamer 🇺🇸 466 683
    1,141st olivermrose 🇺🇸 464 296
    1,142nd m-tkach 🇺🇦 464 584
    1,143rd msbranicky 464 593
    1,144th jatloe 462 320
    1,145th MeWhenI 🇻🇦 461 313
    1,146th emgordon154 460 589
    1,147th janbehrens 🇩🇪 459 404
    1,148th albanian-laundromat 🇺🇸 457 609
    1,149th dokutan 456 594
    1,150th dokutan 455 604
    1,151st jesterjunk 454 597
    1,152nd jakobkordez 🇸🇮 453 326
    1,153rd janbehrens 🇩🇪 453 345
    1,154th dokutan 453 615
    1,155th Waffle3z 453 1,070
    1,156th dokutan 451 922
    1,156th JOrE20 451 922
    1,158th neel11235813 450 925
    1,159th amishtal 448 330
    1,160th LeeCamp 447 331
    1,160th croc54 447 331
    1,160th JunkIce 447 331
    1,163rd JunkIce 445 328
    1,164th edre 445 332
    1,164th tomh1012 445 332
    1,166th Protothor 445 351
    1,167th Andrey2001 443 334
    1,168th tomh1012 440 332
    1,169th codewrite 🇬🇧 440 355
    1,170th KatieLG 🇬🇧 440 945
    1,171st CgTranspiler 439 947
    1,172nd Waffle3z 438 950
    1,173rd trinityy-7 436 339
    1,174th two-bad 🇬🇧 434 360
    1,175th dokutan 433 736
    1,176th saito-ta 🇯🇵 432 1,396
    1,177th Andrey2001 431 339
    1,178th acollett89 429 364
    1,179th SirFireball3521 426 367
    1,179th BREMAUCY 🇫🇷 426 367
    1,181st DialFrost 🇸🇬 425 368
    1,182nd tomh1012 424 369
    1,183rd argusdusty 🇺🇸 423 658
    1,184th ei14 421 351
    1,185th janbehrens 🇩🇪 421 497
    1,186th primo-ppcg 🇹🇭 421 2,322
    1,187th cure-honey 🇯🇵 419 329
    1,188th snoozingnewt 🇨🇦 418 374
    1,189th dokutan 416 596
    1,190th FortuiteMan 🇫🇷 414 357
    1,191st adamnielson42 🇺🇸 412 359
    1,192nd prestosilver 🇺🇸 411 380
    1,193rd msbranicky 410 680
    1,194th argusdusty 🇺🇸 409 673
    1,195th ndren 408 383
    1,196th adriweb 🇫🇷 405 386
    1,197th madeforlosers 405 1,027
    1,198th FlorianCassayre 🇫🇷 405 2,412
    1,199th prplz 🇦🇺 405 2,413
    1,200th Haksell 404 340