% Verbatim copying and distribution of this entire document is permitted in

% any medium, provided this notice is preserved.

% FILTER_PS:  \input{generate-ps-file}

% FILTER_PDF: \input{generate-pdf-file}

% FILTER_HTML: \input{generate-html-file}