O presente documento resulta de uma conversão automática simplificada para HTML das estruturas de dados que compõem o documento principal na versão Java. Desta forma, desalinhamentos, tipografia inadequada entre outros problemas de formatação podem ocorrer em algumas partes.