rwxr-xr-x 189/19 0 Jun 30 11:06 1993 package/ rw-r--r-- 189/19 9315 Mar 26 09:09 1993 package/width-16.data rw-r--r-- 189/19 9277 Mar 26 09:16 1993 package/width-17.data rw-r--r-- 189/19 9263 Mar 26 09:24 1993 package/width-18.data rw-r--r-- 189/19 9263 Mar 26 09:28 1993 package/width-19.data rw-r--r-- 189/19 9263 Mar 26 09:30 1993 package/width-20.data rw-r--r-- 189/19 9263 Mar 26 09:32 1993 package/width-21.data rw-r--r-- 189/19 9263 Mar 26 09:34 1993 package/width-22.data rw-r--r-- 189/19 9263 Mar 26 09:36 1993 package/width-23.data rw-r--r-- 189/19 9263 Mar 26 09:39 1993 package/width-24.data rw-r--r-- 189/19 10025 Jun 30 10:56 1993 package/demo.trace rw-r--r-- 189/19 5483 Jun 23 11:14 1993 package/rep.lisp rw-r--r-- 189/19 15659 May 12 11:04 1993 package/search.lisp rw-r--r-- 189/19 5546 Jun 24 04:41 1993 package/tests.lisp rw-r--r-- 189/19 2599 Mar 26 05:35 1993 package/zebra.lisp rw-r--r-- 189/19 8812 Jun 23 06:11 1993 package/random.lisp rw-r--r-- 189/19 2622 Jun 23 04:57 1993 package/readme rw-r--r-- 189/19 5500 Jun 24 06:48 1993 package/fc-bm.lisp rw-r--r-- 189/19 8184 Jun 3 10:19 1993 package/analyse.lisp rw-r--r-- 189/19 2783 Jun 30 10:38 1993 package/random.results