Directory listing for Aladdin

Frame traces
Terse_Aladdin.dat 424249 bytes Tue Feb 6 12:03:31 2001

Verbose_Aladdin.dat 2095069 bytes Tue Feb 6 12:06:40 2001

Terse_Aladdin.dat	424249 bytes	Tue Feb 6 12:03:31 2001
Verbose_Aladdin.dat	2095069 bytes	Tue Feb 6 12:06:40 2001