Source files generated with Microsoft Word.

*.gz files generated with Gzip-1.3.12 for Windows.
