/3a6/1.1.1.1/Thu Aug 15 21:24:35 1996//
/a4/1.1.1.1/Thu Aug 15 21:24:35 1996//
/a4monoid/1.1.1.1/Thu Aug 15 21:24:35 1996//
/ab1/1.1.1.1/Thu Aug 15 21:24:35 1996//
/ab2/1.1.1.1/Thu Aug 15 21:24:35 1996//
/c2/1.1.1.1/Thu Aug 15 21:24:35 1996//
/cosets/1.1.1.1/Thu Aug 15 21:24:35 1996//
/d22/1.1.1.1/Thu Aug 15 21:24:35 1996//
/degen1/1.1.1.1/Thu Aug 15 21:24:35 1996//
/degen2/1.1.1.1/Thu Aug 15 21:24:35 1996//
/degen3/1.1.1.1/Thu Aug 15 21:24:35 1996//
/degen4a/1.1.1.1/Thu Aug 15 21:24:36 1996//
/degen4b/1.1.1.1/Thu Aug 15 21:24:36 1996//
/degen4c/1.1.1.1/Thu Aug 15 21:24:36 1996//
/e8/1.1.1.1/Thu Aug 15 21:24:36 1996//
/f2/1.1.1.1/Thu Aug 15 21:24:36 1996//
/f25/1.1.1.1/Thu Aug 15 21:24:36 1996//
/f25monoid/1.1.1.1/Thu Aug 15 21:24:36 1996//
/f27/1.1.1.1/Thu Aug 15 21:24:36 1996//
/f27_2gen/1.1.1.1/Thu Aug 15 21:24:36 1996//
/f27monoid/1.1.1.1/Thu Aug 15 21:24:36 1996//
/heinnilp/1.1.1.1/Thu Aug 15 21:24:36 1996//
/l32ext/1.1.1.1/Thu Aug 15 21:24:36 1996//
/m11/1.1.1.1/Thu Aug 15 21:24:36 1996//
/nilp2/1.1.1.1/Thu Aug 15 21:24:36 1996//
/nonhopf/1.1.1.1/Thu Aug 15 21:24:36 1996//
/s16/1.1.1.1/Thu Aug 15 21:24:37 1996//
/s3/1.1.1.1/Thu Aug 15 21:24:37 1996//
/s4/1.1.1.1/Thu Aug 15 21:24:37 1996//
/s9/1.1.1.1/Thu Aug 15 21:24:37 1996//
/verifynilp/1.1.1.1/Thu Aug 15 21:24:37 1996//
D
