Gray Code Encoder in AWK in Bytes Play Hole

1^st in AWK and 30^th overall.

Last tested 8 days ago.