(BIN) mart3.dvi
 (HTM) mart3.html
 (DOC) mart3.pdf
 (TXT) mart3.ps
 (TXT) mart3.tex