Frame tracesTerse_formula_10_14_18.dat188904 bytesMon Oct 16 12:16:06 2000 Verbose_formula_10_14_18.dat1004728 bytesMon Oct 16 12:16:06 2000