rwxr-xr-x 4273/0      0 Jul 10 17:40 1994 ./corlithm/
rw-r--r-- 4273/0    377 Jul 10 17:40 1994 ./corlithm/CONTENTS
rw-r--r-- 4273/0  27039 Aug  9 18:14 1990 ./corlithm/correlit.hms