ex6 initial files.
beautified ex6-aux.pl