../ story.alw 02-Oct-1990 00:00 12671 story.e72 02-Oct-1990 00:00 8572 story.eps 02-Oct-1990 00:00 5937 story.err 02-Oct-1990 00:00 476 story.imp 02-Oct-1990 00:00 4885 story.jep 02-Oct-1990 00:00 6176 story.tex 02-Oct-1990 00:00 375 story.tos 02-Oct-1990 00:00 10535