rwxr-xr-x 4273/0 0 Jan 14 16:20 1994 userguide/ rw-r--r-- 4273/0 517243 Aug 23 04:48 1993 userguide/userguide-15-29.ps rw-r--r-- 4273/0 240005 Aug 23 04:48 1993 userguide/userguide-30-44.ps rw-r--r-- 4273/0 217002 Aug 23 04:48 1993 userguide/userguide-45-59.ps rw-r--r-- 4273/0 370708 Aug 23 04:48 1993 userguide/userguide-60-74.ps rw-r--r-- 4273/0 192089 Aug 23 04:49 1993 userguide/userguide-75-end.ps rw-r--r-- 4273/0 301657 Aug 23 04:47 1993 userguide/userguide-0-14.ps