Diamonds in AWK in Chars Play Hole

1^st in AWK and 58^th overall.

Last tested 8 Dec 2025.

Runtime of 2ms.