group = < U, V, J, B |
U^4,
V^8,
[U,J],
[V,J],
J^-3*V^2,
U*V*U*V^-1*U*V^-1,

(B*J)^2*(V*U^2)^-1,
[B,V*U^2],
B^3,
(B*V*U^3)^3,
(B*U*J)^4,
(B*U^2*B*U*J)^3,
(B*U^2*V*U*J^-1*B*U*J)^3,
(B*U^3*V*J^-1*B*U*J)^3
> ;

max_index = 24;

#JDon = J;
#UDon = K1;
#VDon = K8;
#BDon = A;
#IsPUOne(CDon/K19);
#
#A = BDon;
#
#K1 = UDon;
#K2 = UDon^2;
#K3 = UDon^3;
#
#K4 = VDon*UDon^2*VDon*JDon^9;
#K5 = UDon*VDon*UDon^2*VDon*JDon^9;
#K6 = UDon^2*VDon*UDon^2*VDon*JDon^9;
#K7 = UDon^3*VDon*UDon^2*VDon*JDon^9; 
#
#K8 = VDon;
#K9 = UDon*VDon;
#K10 = UDon^2*VDon;
#K11 = UDon^3*VDon;
#
#K12 = UDon^2*VDon*UDon;
#K13 = UDon*VDon*UDon;
#K14 = UDon^3*VDon*UDon;
#K15 = VDon*UDon;
#
#K16 = UDon*VDon*UDon^2;
#K17 = UDon^2*VDon*UDon^2;
#K18 = UDon^3*VDon*UDon^2;
#K19 = VDon*UDon^2;
#
#K20 = UDon^2*VDon*UDon^3;
#K21 = UDon*VDon*UDon^3;
#K22 = UDon^3*VDon*UDon^3;
#K23 = VDon*UDon^3;