rw-r--r--  15/159   1277 Aug 21 10:58 1990 asn.descr
rw-r--r--  15/159  33962 Jul 25 14:10 1989 asn.old
rw-r--r--  15/159  32903 Aug 21 10:48 1990 asn.pl
rw-r--r--  15/159   1862 Aug 21 10:58 1990 asn.pre
rw-r--r--  15/159   4866 Aug 21 10:51 1990 io.pl
rw-r--r--  15/159   3567 Aug 21 10:52 1990 useful.pl