rwxr-xr-x 4273/0      0 Mar  7 17:53 1994 defn_096/
rw-r--r-- 4273/0 676380 Jul 26 16:05 1993 defn_096/defn_096.dvi