Diamonds in AWK in Chars Play Hole

6^th in AWK and 587^th overall.

Last tested 8 Dec 2025.

Runtime of 2ms.