rw-r--r-- 4273/0 19768 Jul 23 13:58 1993 macinsch.dvi rw-r--r-- 4273/0 85805 Jul 23 13:58 1993 macinsch.ps