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

Rankings: Holes

√2 in all languages in bytes.

# Golfer Points Bytes Time
1,714th LorenzoDeGaspari 100 1,019
1,714th isaiah0311 100 1,019
1,714th Haksell 🇦🇶 100 1,019
1,714th Shanethegamer 🇺🇸 100 1,019
1,714th HumanoidCPU 100 1,019
1,714th olleicua 🇺🇸 100 1,019
1,714th Jacob385 100 1,019
1,714th NDR0216 🇹🇼 100 1,019
1,714th bac0id 100 1,019
1,714th rifatx 100 1,019
1,714th rifatx 100 1,019
1,714th voytxt 🇨🇿 100 1,019
1,714th Mabeloid 🇳🇴 100 1,019
1,714th Mabeloid 🇳🇴 100 1,019
1,714th olleicua 🇺🇸 100 1,019
1,714th Shanethegamer 🇺🇸 100 1,019
1,714th madeforlosers 100 1,019
1,714th madeforlosers 100 1,019
1,714th CaedenHarper 🇨🇦 100 1,019
1,714th CaedenHarper 🇨🇦 100 1,019
1,714th HumanoidCPU 100 1,019
1,747th Shanethegamer 🇺🇸 100 1,035
1,747th bac0id 100 1,035
1,747th HumanoidCPU 100 1,035
1,747th CaedenHarper 🇨🇦 100 1,035
1,751st NDR0216 🇹🇼 100 1,036
1,752nd JGDoerrer 100 1,037
1,753rd guliyevemil1 🇦🇿 99 1,021
1,753rd KatieLG 🇬🇧 99 1,021
1,753rd mokymok 🇺🇸 99 1,021
1,756th kkoenig 99 1,022
1,757th KatieLG-Transpiler 🇬🇧 99 1,023
1,758th TheAristos 99 1,024
1,759th kittrz9 99 1,025
1,759th Waffle3z 99 1,025
1,759th BoTie 🇺🇸 99 1,025
1,762nd tclune 99 1,031
1,763rd destofr 99 1,040
1,763rd madeforlosers 99 1,040
1,765th Ethernet3 🇳🇱 99 1,041
1,765th retrohun 99 1,041
1,765th olleicua 🇺🇸 99 1,041
1,768th Jacob385 99 1,044
1,769th Mabeloid 🇳🇴 99 1,047
1,770th rifatx 99 1,048
1,770th gigaprofisi 🇺🇸 99 1,048
1,772nd voytxt 🇨🇿 99 1,049
1,773rd lynn 98 527
1,774th LucaArgentiUCF 🇮🇹 98 1,035
1,775th destofr 98 1,039
1,776th KatieLG 🇬🇧 98 1,059
1,776th JOrE-Softwares 98 1,059
1,778th MichalMarsalek 🇨🇿 97 803
1,779th ricbuz94 96 1,059
1,780th KatieLG-Transpiler 🇬🇧 96 1,082
1,780th ricbuz94 96 1,082
1,782nd Waffle3z 95 1,070
1,783rd rowboat1 95 1,089
1,784th rowboat1 94 1,076
1,785th primo-ppcg 🇹🇭 94 2,355
1,786th dokutan 92 599
1,787th KatieLG 🇬🇧 92 921
1,788th dokutan 91 996
1,789th iznax 91 2,431
1,790th prplz 🇦🇺 91 2,436
1,791st dokutan 90 600
1,792nd JRaspass 🇬🇧 90 1,007
1,792nd andersk 🇺🇸 90 1,007
1,792nd bendapootie 90 1,007
1,792nd Codsilla 🇨🇦 90 1,007
1,792nd RustemB 🇷🇺 90 1,007
1,792nd rvdnieuwendijk 🇳🇱 90 1,007
1,792nd KatieLG 🇬🇧 90 1,007
1,792nd BoTie 🇺🇸 90 1,007
1,792nd frankgraziano 90 1,007