Happy Numbers (Long) in AWK in Chars Play Hole

1^st in AWK and 87^th overall.

Last tested 12 days ago.