rwxr-xr-x 4273/0 0 Mar 7 17:53 1994 defn_099/ rw-r--r-- 4273/0 570976 Mar 7 16:22 1994 defn_099/defn_099.dvi rw-r--r-- 4273/0 830371 Mar 7 16:24 1994 defn_099/defn_099.ps