Update abstracao.txt