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

Rankings: Holes

√2 in Prolog in bytes.

# Golfer Points Bytes Time
1st GrayJoKing 🇦🇺 1,000 49
1st btnlq 1,000 49
1st IanUtley 1,000 49
4th Lydxn 🇨🇦 980 50
5th annaproxy 942 52
5th ovs-code 🇩🇪 942 52
7th sean-niemann 🇺🇸 925 53
8th Steffan153 🇫🇮 891 55
9th primo-ppcg 🇹🇭 790 62
10th lynn 778 63
11th HumanEquivalentUnit 73 668
12th Yewzir 70 703
13th dokutan 57 858
14th MeWhenI 🇻🇦 48 1,014
14th mokymok 🇺🇸 48 1,014
14th voytxt 🇨🇿 48 1,014
14th retrohun 48 1,014
14th Shanethegamer 🇺🇸 48 1,014
14th olleicua 🇺🇸 48 1,014
14th HumanoidCPU 48 1,014
14th bac0id 48 1,014
14th rifatx 48 1,014
14th Mabeloid 🇳🇴 48 1,014
14th madeforlosers 48 1,014
14th CaedenHarper 🇨🇦 48 1,014
26th KatieLG 🇬🇧 48 1,016
27th rowboat1 48 1,017
27th KatieLG-Transpiler 🇬🇧 48 1,017
27th ricbuz94 48 1,017