rwxr-xr-x 4273/0      0 Jan  4 18:19 1994 papers/
rw-r--r-- 4273/0 237003 Jul 22 20:12 1993 papers/cache.ps
rw-r--r-- 4273/0 201194 Jan  4 18:16 1994 papers/rtgcdraf.ps