D/CVS////
/ex1.pat/1.1/Thu Jun 12 13:35:59 2003//
/ex1.readme/1.1/Thu Jun 12 13:35:59 2003//
/ex1.readme~/1.1/Thu Jun 12 13:35:59 2003//
/ex1.result/1.1/Thu Jun 12 13:35:59 2003//
/ex1.seq/1.1/Thu Jun 12 13:35:59 2003//
