(TXT) 00INDEX
 (HTM) index.html
 (BIN) j03.dvi.gz
 (BIN) j03.ps.gz
 (BIN) j04.dvi.gz
 (BIN) j04.ps.gz
 (BIN) j05.dvi.gz
 (BIN) j05.ps.gz
 (BIN) j13.dvi.gz
 (BIN) j13.ps.gz
 (BIN) j16.dvi.gz
 (BIN) j16.ps.gz
 (BIN) j17.dvi.gz
 (BIN) j17.ps.gz
 (BIN) j21.dvi.gz
 (BIN) j21.ps.gz
 (BIN) j22.dvi.gz
 (BIN) j22.ps.gz
 (BIN) j27.dvi.gz
 (BIN) j27.ps.gz