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 Spruill-1 468 579
    1,136th MeWhenI 🇻🇦 468 595
    1,137th LucaArgentiUCF 🇮🇹 468 1,037
    1,138th KrausRaus 🇺🇸 467 335
    1,139th Shanethegamer 🇺🇸 466 683
    1,140th olivermrose 🇺🇸 464 296
    1,141st m-tkach 🇺🇦 464 584
    1,142nd msbranicky 464 593
    1,143rd jatloe 462 320
    1,144th MeWhenI 🇻🇦 461 313
    1,145th emgordon154 460 589
    1,146th janbehrens 🇩🇪 459 404
    1,147th albanian-laundromat 🇺🇸 457 609
    1,148th dokutan 456 594
    1,149th dokutan 455 604
    1,150th jesterjunk 454 597
    1,151st jakobkordez 🇸🇮 453 326
    1,152nd janbehrens 🇩🇪 453 345
    1,153rd dokutan 453 615
    1,154th Waffle3z 453 1,070
    1,155th Shanethegamer 🇺🇸 451 530
    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 FortuiteMan 🇫🇷 414 357
    1,190th adamnielson42 🇺🇸 412 359
    1,191st prestosilver 🇺🇸 411 380
    1,192nd msbranicky 410 680
    1,193rd argusdusty 🇺🇸 409 673
    1,194th ndren 408 383
    1,195th adriweb 🇫🇷 405 386
    1,196th madeforlosers 405 1,027
    1,197th FlorianCassayre 🇫🇷 405 2,412
    1,198th prplz 🇦🇺 405 2,413
    1,199th Haksell 404 340
    1,200th Pena86 404 366