/Makefile/1.1.1.1/Thu Jul 25 12:50:19 2002//
/cpt5.fsm/1.1.1.1/Thu Jul 25 12:50:19 2002//
/cpt5.pat/1.1.1.1/Thu Jul 25 12:50:19 2002//
D
