GCLC - redireccionar o Output
 figures.errors
 figure.err
Eukleides - redireccionar os stderror
 figure.err

GCLCprover
 proof_proof.tex - para as informaes resultantes de uma prova