Frame traces

Verbose_formula_var.dat659513 bytesSat Oct 14 15:32:16 2000
Terse_formulavar.dat158239 bytesSat Oct 14 15:47:17 2000