rwxr-xr-x 4273/0      0 Dec 27 21:55 1993 as/
rw-r--r-- 4273/0 929007 Aug 18 23:16 1993 as/as.2.ps
rw-r--r-- 4273/0 769278 Aug 18 23:16 1993 as/as.3.ps
rw-r--r-- 4273/0 914403 Aug 18 23:16 1993 as/as.4.ps
rw-r--r-- 4273/0 931469 Aug 18 23:16 1993 as/as.5.ps
rw-r--r-- 4273/0 844877 Aug 18 23:17 1993 as/as.6.ps
rw-r--r-- 4273/0 761031 Aug 18 23:17 1993 as/as.7.ps
rw-r--r-- 4273/0 888373 Aug 18 23:16 1993 as/as.1.ps