(ARC) 138-dvi.zip
 (ARC) 138-pdf.zip
 (ARC) 138-ps.zip
 (???) 138.css
 (BIN) 138.dvi
 (HTM) 138.html
 (???) 138.xml
 (ARC) 157-dvi.zip
 (ARC) 157-pdf.zip
 (ARC) 157-ps.zip
 (???) 157.css
 (BIN) 157.dvi
 (HTM) 157.html
 (???) 157.xml
 (ARC) 157_1-dvi.zip
 (ARC) 157_1-pdf.zip
 (ARC) 157_1-ps.zip
 (???) 157_1.css
 (BIN) 157_1.dvi
 (???) 157_1.xml
 (ARC) 158-dvi.zip
 (ARC) 158-pdf.zip
 (ARC) 158-ps.zip
 (???) 158.css
 (BIN) 158.dvi
 (HTM) 158.html
 (???) 158.xml
 (ARC) 172-dvi.zip
 (ARC) 172-pdf.zip
 (ARC) 172-ps.zip
 (???) 172.css
 (BIN) 172.dvi
 (HTM) 172.html
 (???) 172.xml