√2 in sed in Chars Play Hole

9^th in sed and 1,299^th overall.

Last tested 8 Dec 2025.

Runtime of 1ms.