../ discussion 22-Jan-1992 11:47 177 problem 17-Jan-1992 18:23 1187 solution.aux 16-Sep-1998 14:45 147 solution.dvi 16-Sep-1998 14:45 4152 solution.ps 16-Sep-1998 14:45 31238 solution.tex 16-Sep-1998 14:45 5228