Frame traces

Verbose_formula_64.dat350602 bytesSat Oct 14 15:32:16 2000
Terse_formula64.dat70928 bytesSat Oct 14 15:47:17 2000