creation date: Wed Dec 2 19:46:14 MET 1998

92#1 
A^23=id
B^2=id (A)
C^2=B (A^22 B)
92#2 
A^2=id
B^23=id (A)
C^2=A (A B)
92#3 
A^23=id
B^2=id (A)
C^2=id (A^22 B)
92#4 
A^23=id
B^2=id (A)
C^2=id (A B)

last updated: Wed Dec 2 19:46:31 MET 1998 , Anton Betten