Van Eck Sequence in AWK in Chars Play Hole

8^th in AWK and 893^rd overall.

Last tested 13 days ago.