Frame traces

Verbose_formula_256.dat352660 bytesSat Oct 14 15:32:16 2000
Terse_formula256.dat85066 bytesSat Oct 14 15:47:17 2000