/arithml.cfg/1.1/Fri Mar  8 19:57:17 2002//
/arithml.elf/1.1/Fri Mar  8 19:57:26 2002//
/arithml.quy/1.2/Wed Apr 17 18:34:33 2002//
/foll.cfg/1.1/Fri Mar  8 19:57:56 2002//
/foll.elf/1.2/Wed Apr 17 18:34:33 2002//
/foll.quy/1.2/Wed Apr 17 18:34:33 2002//
/tab.cfg/1.1/Fri Mar  8 19:58:30 2002//
/warren.elf/1.2/Wed Apr 17 18:34:33 2002//
D
