Pangram Grep in AWK in Bytes Play Hole

2^nd in AWK and 264^th overall.

Last tested 22 Oct 2025.

Runtime of 14ms.