Frame traces

Terse_formula_10.dat210618 bytesMon Oct 16 12:16:06 2000
Verbose_formula_10.dat1026442 bytesMon Oct 16 12:16:06 2000