Directory listing for formula

Frame traces
Terse_formula.dat 225735 bytes Mon Oct 16 12:16:06 2000

Verbose_formula.dat 1041554 bytes Mon Oct 16 14:28:20 2000

Terse_formula.dat	225735 bytes	Mon Oct 16 12:16:06 2000
Verbose_formula.dat	1041554 bytes	Mon Oct 16 14:28:20 2000