rw-r--r-- 4273/0 25272 Jul 23 13:58 1993 opaque.dvi rw-r--r-- 4273/0 63071 Jul 23 13:58 1993 opaque.ps