Frame traces

Terse_formula.dat225735 bytesMon Oct 16 12:16:06 2000
Verbose_formula.dat1041554 bytesMon Oct 16 14:28:20 2000