Gray Code Encoder in AWK in Chars Play Hole

1^st in AWK and 66^th overall.

Last tested 4 days ago.