rwxr-xr-x 4273/0 0 Jan 4 18:13 1994 surveys/ rw-r--r-- 4273/0 388177 Jul 22 20:14 1993 surveys/gcsurvey.ps rw-r--r-- 4273/0 103185 Jul 22 20:14 1993 surveys/heaps.bib rw-r--r-- 4273/0 295335 Jul 22 20:14 1993 surveys/dgcsurvey.ps rw-r--r-- 4273/0 89116 Jul 22 20:14 1993 surveys/dgcsurvey.table2.ps