Directory listing for Aladdin

Frame traces
Terse_Aladdinvar.dat 347497 bytes Mon Jan 29 14:46:19 2001

Verbose_Aladdin_var.dat 1578473 bytes Mon Jan 29 15:16:21 2001

Terse_Aladdinvar.dat	347497 bytes	Mon Jan 29 14:46:19 2001
Verbose_Aladdin_var.dat	1578473 bytes	Mon Jan 29 15:16:21 2001