../ DVIPRINT 09-Feb-1997 04:22 29K DVIPRINT.000 09-Feb-1997 04:22 114K FLIB 09-Feb-1997 04:22 25K PTOFRONT 09-Feb-1997 04:22 1416 SHOWDVI 09-Feb-1997 04:22 207K SHOWMAG 09-Feb-1997 04:22 12K SPECIALH 09-Feb-1997 04:22 104K TRANS.TBL 08-May-1997 18:16 324