rwxr-xr-x 4273/0 0 Oct 25 21:50 1993 tables/ rw-r--r-- 4273/0 12288 May 19 17:20 1993 tables/deftable.lisp