rwxr-xr-x 4273/0      0 Sep 23 20:23 1993 mop/
rw-r--r-- 1918/0 2031312 Jul 27 17:11 1993 mop/mop.ps
rw-r--r-- 1918/0 287964 Jul 26 16:55 1993 mop/mop.dvi