Frame traces

Verbose_formula_16.dat145871 bytesSat Oct 14 15:32:16 2000
Terse_formula16.dat29474 bytesSat Oct 14 15:47:17 2000