../ chinos1.clu 02-Jul-1996 13:36 13040 chinos1.inc 02-Jul-1996 13:36 353 chinos1.mak 02-Jul-1996 13:36 955 chinos1.pgm 02-Jul-1996 13:36 2905 chinos1m.lah 02-Jul-1996 13:36 195 chinos1m.occ 02-Jul-1996 13:36 2872 chinos1t.lah 02-Jul-1996 13:36 171 chinos1t.occ 02-Jul-1996 13:36 542 chinos1w.occ 02-Jul-1996 13:36 2243 datos.dat 02-Jul-1996 13:36 1612