../ story.alw 02-Oct-1990 07:00 12K story.e72 02-Oct-1990 07:00 8572 story.eps 02-Oct-1990 07:00 5937 story.err 02-Oct-1990 07:00 476 story.imp 02-Oct-1990 07:00 4885 story.jep 02-Oct-1990 07:00 6176 story.tex 02-Oct-1990 07:00 375 story.tos 02-Oct-1990 07:00 10K