Card Number Validation in AWK in Chars Play Hole

9^th in AWK and 724^th overall.

Last tested 8 Dec 2025.

Runtime of 2ms.