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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    1,050th Irratix 🇳🇱 413 764
    1,052nd msrawson 412 391
    1,053rd msbranicky 412 680
    1,054th martinnorling 🇸🇪 406 396
    1,055th CatsAreFluffy 405 473
    1,056th FlorianCassayre 🇫🇷 405 2,412
    1,057th prplz 🇦🇺 405 2,413
    1,058th ETHproductions 🇺🇸 404 420
    1,059th prplz 🇦🇺 402 477
    1,060th orthoplex 🇨🇽 402 2,431
    1,061st msbranicky 398 683
    1,062nd Yewzir 🇧🇪 397 728
    1,063rd djeedjay 🇳🇱 396 687
    1,064th Alex-x90 🇺🇸 396 729
    1,065th bendapootie 394 2,483
    1,066th Lv0Sys 🇵🇱 393 410
    1,067th dymowski 393 431
    1,068th MeWhenI 🇻🇦 393 585
    1,069th gastropner 393 692
    1,070th Irratix 🇳🇱 393 735
    1,071st Pena86 392 432
    1,072nd TimCurwick 🇺🇸 392 452
    1,073rd c0d3-4-F00d 🇩🇪 389 436
    1,074th dokutan 389 591
    1,075th MichalMarsalek 🇨🇿 389 2,511
    1,076th alangodfrey 388 415
    1,077th dokutan 387 583
    1,078th Jacob385 386 1,076
    1,079th stefangimmillaro 385 2,539
    1,080th prplz 🇦🇺 383 711
    1,081st atazzam 🇺🇸 381 422
    1,082nd dokutan 380 591
    1,083rd Yewzir 🇧🇪 380 716
    1,084th Irratix 🇳🇱 380 717
    1,084th Alex-x90 🇺🇸 380 717
    1,086th guliyevemil1 🇦🇿 380 738
    1,087th primo-ppcg 🇹🇭 379 718
    1,088th nwellnhof 🇩🇪 379 740
    1,088th Yewzir 🇧🇪 379 740
    1,090th primo-ppcg 🇹🇭 378 742
    1,091st Waffle3z 378 2,586
    1,092nd retrohun 377 1,100
    1,093rd Just4FunCoder 376 2,596
    1,094th primo-ppcg 🇹🇭 375 562
    1,095th GrayJoKing 🇦🇺 373 2,619
    1,096th elgan65536 372 2,628
    1,097th msbranicky 369 1,319
    1,098th MeWhenI 🇻🇦 367 558
    1,099th KatieLG 🇬🇧 366 1,330
    1,100th Yax42 🇫🇷 365 578
    1,101st dokutan 360 569
    1,102nd dokutan 360 2,716
    1,103rd KatieLG-Transpiler 🇬🇧 358 1,360
    1,104th msbranicky 357 591
    1,105th voytxt 🇨🇿 351 1,057
    1,105th scpchicken 🇵🇼 351 1,057
    1,105th adriweb 🇫🇷 351 1,057
    1,105th HumanoidCPU 351 1,057
    1,105th bac0id 351 1,057
    1,105th CaedenHarper 🇨🇦 351 1,057
    1,111th dokutan 349 596
    1,112th iznax 349 604
    1,113th msbranicky 348 648
    1,114th Shanethegamer 🇺🇸 348 661
    1,115th msbranicky 347 2,814
    1,116th primo-ppcg 🇹🇭 345 516
    1,117th Shanethegamer 🇺🇸 345 1,077
    1,118th retrohun 345 1,409
    1,119th Kacarott 🇦🇺 345 2,831
    1,120th madeforlosers 344 1,078
    1,120th Mabeloid 🇳🇴 344 1,078
    1,120th heanyang1 344 1,078
    1,120th gigaprofisi 🇺🇸 344 1,078
    1,124th FortuiteMan 344 1,080
    1,125th msbranicky 343 1,082