The Billiards hole will go live in . Why not try and solve it ahead of time?

Rankings: Holes

√2 in all languages in bytes.

gs
# Golfer Points Bytes Time
600th anter69 🇭🇺 754 73
602nd prplz 🇦🇺 751 62
603rd ordinary-slim 751 64
603rd AtengChen 751 64
605th GrayJoKing 🇦🇺 750 57
606th duckyluuk 🇳🇱 750 62
607th HPWiz 🇳🇿 748 70
608th SirBogman 🇺🇸 748 113
609th sean-niemann 🇺🇸 748 138
610th SirBogman 🇺🇸 747 138
611th sean-niemann 🇺🇸 744 161
612th m-tkach 🇺🇦 744 213
613th primo-ppcg 🇹🇭 743 62
614th Natanaelel 🇸🇪 740 80
615th michelebastione 🇮🇹 739 65
615th randomdude999 739 65
615th munchkinduncan 739 65
615th OllieBoyne 🇬🇧 739 65
615th Manby 739 65
615th lilyyy411 739 65
615th cbondurant 739 65
615th idiot-with-a-keyboard 739 65
615th 5space 739 65
615th trinityy-7 739 65
615th cdesodt 739 65
615th yuchuehw 739 65
615th snoozingnewt 🇺🇸 739 65
615th dokutan 739 65
615th xyangst 739 65
630th dokutan 738 63
631st cywong-amino 🇭🇰 737 68
631st tayloia 🇬🇧 737 68
633rd MeWhenI 🇻🇦 736 103
634th Natanaelel 🇸🇪 735 34
635th annaproxy 735 115
635th Yax42 🇫🇷 735 115
637th lynn 731 63
638th Irratix 🇳🇱 731 81
639th Herbert00709 🇵🇱 731 141
640th MasFlam 730 48
641st kohlrabi 728 66
641st stordev 728 66
641st lmolteno 728 66
641st dillon-duncando 728 66
641st NDR0216 🇹🇼 728 66
641st quimey 728 66
647th stefangimmillaro 728 116
648th SirFireball3521 727 43
649th Herbert00709 🇵🇱 726 64
650th MeWhenI 🇻🇦 726 69
651st jared-hughes 726 142
652nd Herbert00709 🇵🇱 725 63
653rd GolfingSuccess 🇬🇷 725 815
654th roguh 🇬🇹 724 59
655th CatsAreFluffy 722 82
656th LS2021 722 117
657th urojony 🇵🇱 717 67
657th tetraxile 717 67
657th Nibamot 717 67
657th GeorgeStechman 🇬🇧 717 67
657th RandGuy 717 67
657th Ralac07 🇦🇺 717 67
657th inverseLorentz 🇦🇺 717 67
664th dmrichwa 🇺🇸 716 70
664th Naruyoko 716 70
666th MeWhenI 🇻🇦 716 118
667th dokutan 714 64
668th BrenSchaap 711 48
668th jared-hughes 711 48
670th Yewzir 🇧🇪 711 145
671st MeWhenI 🇻🇦 711 193
672nd markus-rekdal 707 68
672nd qoqosz 707 68
672nd giacomogallina 707 68
672nd skps2010 707 68