(BIN) example1.dvi
 (TXT) example1.log
 (TXT) example1.ps
 (TXT) example1.tex