formatação de varios dias corrigida.
correção de uma coisa na formatação de saída e mais correção dos predicados compostos.