%%TITLE%%

This document is available in the following formats:

• HTML (%%HTML_MONO_SIZE%%K characters) - entirely on one web page.
• HTML - with one web page per node.
• HTML compressed (%%HTML_MONO_GZ_SIZE%%K gzipped characters) - entirely on one web page.
• HTML compressed (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file) - with one web page per node.
• Info document (%%INFO_TGZ_SIZE%%K characters gzipped tar file).
• ASCII text (%%ASCII_SIZE%%K characters).
• ASCII text compressed (%%ASCII_GZ_SIZE%%K gzipped characters).
• TeX dvi file (%%DVI_GZ_SIZE%%K characters gzipped).
• PostScript file (%%PS_GZ_SIZE%%K characters gzipped).
• PDF file (%%PDF_SIZE%%K characters).
• Texinfo source (%%TEXI_TGZ_SIZE%%K characters gzipped tar file)

(This page was generated by the %%SCRIPTNAME%% script.)