(TXT) 00INDEX
 (HTM) index.html
 (BIN) j01.dvi.gz
 (BIN) j01.ps.gz
 (BIN) j02.dvi.gz
 (BIN) j02.ps.gz
 (BIN) j07.dvi.gz
 (BIN) j07.ps.gz
 (BIN) j08.dvi.gz
 (BIN) j08.ps.gz
 (BIN) j09.dvi.gz
 (BIN) j09.ps.gz
 (BIN) j10.dvi.gz
 (BIN) j10.ps.gz
 (BIN) j11.dvi.gz
 (BIN) j11.ps.gz
 (BIN) j19.dvi.gz
 (BIN) j19.ps.gz