ajuste formatação do pseudo-código