../ trap.fot 09-Aug-1993 11:00 1704 trap.log 09-Aug-1993 11:00 14123 trap.mf 09-Aug-1993 11:00 11842 trap.pl 09-Aug-1993 11:00 10388 trap.typ 09-Aug-1993 11:00 4550 trap1.base 09-Aug-1993 11:00 34060 trap1.in 09-Aug-1993 11:00 14 trap1.log 09-Aug-1993 11:00 4946 trap2.in 09-Aug-1993 11:00 14 trap2.log 09-Aug-1993 11:00 299 trapin.log 09-Aug-1993 11:00 4584 trapman.tex 09-Aug-1993 11:00 18248