rw-r--r-- 4273/0 144228 Jul 23 13:58 1993 rrc.dvi rw-r--r-- 4273/0 571842 Jul 23 13:58 1993 rrc.ps