../ ctib4tex.dvi 30-Jun-2002 23:00 38808 ctib4tex.pdf 30-Jun-2002 23:00 380462 ctib4tex.ps 03-Jul-2002 14:04 285520 ctib4tex.tex 30-Jun-2002 23:00 21845