Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#
# Calculating a nilpotent quotient
# Nilpotency class: 12
# Size of exponents: 8 bytes
#
# Calculating the abelian quotient ...
# The abelian quotient has 3 generators
# with the following exponents: 0 0 0
#
# Calculating the class 2 quotient ...
## Sizes: 3 6
# Maximal entry: 0
# Layer 2 of the lower central series has 2 generators
# with the following exponents: 0 0
#
# Calculating the class 3 quotient ...
## Sizes: 3 5 12
# Maximal entry: 0
# Layer 3 of the lower central series has 3 generators
# with the following exponents: 0 0 0
#
# Calculating the class 4 quotient ...
## Sizes: 3 5 8 21
# Maximal entry: 0
# Layer 4 of the lower central series has 3 generators
# with the following exponents: 0 2 0
#
# Calculating the class 5 quotient ...
## Sizes: 3 5 8 11 31
# Maximal entry: 3
# Layer 5 of the lower central series has 4 generators
# with the following exponents: 0 2 0 3
#
# Calculating the class 6 quotient ...
## Sizes: 3 5 8 11 15 45
# Maximal entry: 4
# Layer 6 of the lower central series has 7 generators
# with the following exponents: 3 2 2 0 0 3 3
#
# Calculating the class 7 quotient ...
## Sizes: 3 5 8 11 15 22 71
# Maximal entry: 7
# Layer 7 of the lower central series has 11 generators
# with the following exponents: 3 2 2 2 2 0 0 3 3 3 3
#
# Calculating the class 8 quotient ...
## Sizes: 3 5 8 11 15 22 33 113
# Maximal entry: 26
# Layer 8 of the lower central series has 12 generators
# with the following exponents: 3 2 2 2 2 2 0 3 3 3 3 3
#
# Calculating the class 9 quotient ...
## Sizes: 3 5 8 11 15 22 33 45 160
# Maximal entry: 2464
# Layer 9 of the lower central series has 14 generators
# with the following exponents: 3 3 2 2 2 5 0 3 3 3 3 3 3 3
#
# Calculating the class 10 quotient ...
## Sizes: 3 5 8 11 15 22 33 45 59 215
# Maximal entry: 7777938
# Layer 10 of the lower central series has 18 generators
# with the following exponents: 3 3 2 2 2 5 3 3 3 3 3 3 3 3 3 3 3 3
#
# Calculating the class 11 quotient ...
## Sizes: 3 5 8 11 15 22 33 45 59 77 287
# Maximal entry: 1904243
# Layer 11 of the lower central series has 22 generators
# with the following exponents: 3 3 3 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
#
# Calculating the class 12 quotient ...
## Sizes: 3 5 8 11 15 22 33 45 59 77 99 375
# Maximal entry: 76633486
# Layer 12 of the lower central series has 26 generators
# with the following exponents: 3 3 3 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
#
# The epimorphism :
# e1 |---> A
# e2 |---> B
# e3 |---> C
# The nilpotent quotient :
<A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4
|
J^2 = K*L*M*N^-1*Q*W^2*X*Y*B1^-1*C1^-3*H1*I1*J1*O1^2*T1*V1*X1*Z1^-5*G2^2*H2*K2*M2^2*O2*P2*Q2*S2*T2*V2*X2*C3*D3*E3*H3*I3^2*K3*L3^2*M3*N3^2*P3^2*R3^2*T3*U3^2*V3*W3^2*X3*Z3*A4*C4^2*F4*H4^2*I4^2*J4^2*L4^2*N4^2*R4*S4*T4^2,
M^2 = N*P*Q*S^-1*X*I1*N1^-3*T1*W1*Y1*D2^2*I2^2*L2*M2^3*P2^2*Q2*S2^2*V2^2*X2^2*B3*E3*I3^2*K3^2*M3^2*N3^2*X3^2*Y3*Z3*A4*C4^2*D4*F4^2*I4*K4*L4^2*M4^2*P4^2*T4^2,
O^3 = R*T*Y*C1^-4*H1^2*N1^5*T1^2*W1*X1*Y1^3*Z1^-8*A2^2*G2*H2^2*O2*S2^2*V2*X2*Z2*C3*I3*K3^2*L3*M3^2*N3*O3*Q3^2*R3*S3^2*U3*W3*X3^2*Y3*Z3*B4*H4*I4^2*K4*M4^2*N4^2*P4^2,
P^3 = Q*W*X*B1^-1*C1^3*J1*M1*N1^-6*U1*Y1^4*A2^2*C2*D2*L2*M2^4*U2^2*Y2*A3^2*E3*I3*M3*N3^2*Q3*S3*U3*V3*W3^2*X3^2*Y3*A4*C4*F4^2*H4*J4*L4^2*M4*N4*P4*Q4*S4^2*T4^2*U4,
Q^2 = S*W*X*B1^-1*Y1*J2*L2*M2^3*P2*Q2^2*A3^2*C3*D3*I3^2*V3*W3*X3*Y3*Z3*B4*F4^2,
R^2 = T*C1^-1*D1^2*H1*K1*N1^-1*O1^2*T1*W1*X1*Y1^2*Z1^-2*A2^2*H2^2*K2*M2^4*O2*S2^2*T2*Z2^2*C3*K3^2*L3^2*M3^2*N3^2*O3*P3*Q3^2*S3^2*U3^2*W3^2*X3^2*B4*C4*H4^2*I4^2*K4*N4*S4*T4,
U^3 = Z*C1*I1*N1^-4*T1^2*H2^2*L2*M2^3*P2^2*Q2*X2*G3*Z3*F4^2*H4*J4^2*L4^2*P4*R4^2*T4,
V^3 = A1*F1*J1*Q1*R1^2*U1^2*C2^2*D2^2*E2^2*F2*I2*S2*T2*U2*V2*W2*A3*B3*D3*L3*M3^2*N3^2*P3^2*Q3^2*R3*S3^2*T3*W3*X3^2*Z3*A4*B4*H4^2*I4^2*J4*K4^2*L4*M4*N4*P4*R4^2*S4*T4^2,
W^3 = X*N1^3*A2^2*M2^2*P2^2*Q2*D3*I3*T3*V3*W3*Y3*Z3*R4*T4,
X^2 = B1*Y1*A2^2*M2^4*D3*V3,
Y^2 = C1^3*H1*I1*N1^-6*O1*T1*Y1^4*Z1^3*A2^2*J2*M2^2*P2*T2^2*C3*D3*E3*L3^2*M3^2*P3^2*U3*V3^2*W3^2*B4*H4^2*L4^2*R4*T4^2,
Z^2 = C1*N1^-1*O1^2*T1*Y1^2*A2^2*H2*L2*M2^4*C3*D3*G3*I3^2*M3*V3*Y3*Z3*B4*F4^2*H4^2*J4^2*R4^2*T4^2,
A1^2 = F1*Q1*R1^2*U1*C2^2*D2^2*E2^2*F2*I2*S2*T2*U2*V2*W2*B3*L3*M3^2*N3^2*P3^2*Q3^2*R3*S3^2*T3*X3^2*A4*H4^2*I4^2*J4*K4^2*L4*M4^2*N4*P4*R4^2*S4*T4^2,
D1^3 = K1*N1*V1*Y1*H2^2*Q2*D3*I3^2*Y3*B4,
E1^3 = L1*P1*Z1*B2^2*K2*N2*Q2^2*Z2^2*E3*F3*O3^2*Q3*S3*T3^2*Y3*C4*K4*O4^2*R4,
F1^3 = M1*C2*D2^2*S2*U2^2*V2*M3*N3^2*Q3*X3*H4*J4*L4^2*N4*P4*R4^2,
G1^3,
H1^3 = I1*K1*N1*O1^2*T1*V1*X1*Y1^3*Z1^4*A2^2*H2^2*K2*P2*Q2*Z2^2*C3*D3*M3^2*V3*B4*H4^2*L4^2*T4^2,
I1^2 = N1^3*T1*V1*Y1^4*A2*H2*M2^4*P2^2*I3^2*M3^2*Y3*Z3*H4^2*J4^2*L4^2*T4,
J1^2 = U1*A3^2*W3*A4*M4^2*U4,
K1^2 = N1*Y1^4*A2^2*H2*M2^2*P2^2*Q2*D3*I3*Y3*B4*J4,
L1^2 = P1*X1*Z1^2*B2^2*N2*Z2*E3*F3*O3^2*Q3*T3^2*Y3*Z3*C4*K4*O4^2*R4,
M1^2 = C2*D2^2*S2*U2^2*V2*M3*N3^2*Q3*X3*H4*J4*L4^2*N4*P4*R4^2,
O1^3 = Y1^4*J2*M2^3*P2*Q2^2*D3*I3^2*B4,
P1^3 = V3*Y3*R4,
Q1^3,
R1^3,
S1^3,
T1^3 = V1*Y1^4*A2^2*H2*J2*Q2^2*C3*D3*I3^2*V3*Y3*Z3*B4*J4^2,
U1^3 = A3*D3*Z3*A4*B4,
V1^2 = Y1^3*H2*J2*M2^4*P2*Y3*J4^2,
W1^2 = O2*S2^2*H3^2*K3*N3*W3^2*X3^2*Z3*B4*G4*J4^2*N4^2,
X1^2 = Z1*Q2^2*Z2*I3^2*Z3,
Y1^5 = Q2^2*I3^2*Y3,
A2^3 = M2^4*I3^2*Y3,
B2^3,
C2^3,
D2^3,
E2^3,
F2^3,
G2^3,
H2^3 = J2*M2^4*P2^2*I3^2*Y3,
I2^3,
J2^2 = M2^3,
K2^2 = Z2*C3*V3*Y3,
L2^2 = G3*D4^2*F4,
M2^5 = I3^2,
N2^3 = Q2*Y3,
O2^3 = W3,
P2^3,
Q2^3,
R2^3,
S2^3,
T2^3,
U2^3,
V2^3,
W2^3,
X2^3,
Y2^3,
Z2^3 = C3*V3*Y3,
A3^3,
B3^3,
C3^2 = V3*Y3,
D3^2 = B4,
E3^2 = C4,
F3^3 = I3,
G3^3,
H3^3,
I3^3,
J3^3,
K3^3,
L3^3,
M3^3,
N3^3,
O3^3,
P3^3,
Q3^3,
R3^3,
S3^3,
T3^3,
U3^3,
V3^3 = Y3,
W3^3,
X3^3,
Y3^2,
Z3^2,
A4^2,
B4^3,
C4^3,
D4^3,
E4^3,
F4^3,
G4^3,
H4^3,
I4^3,
J4^3,
K4^3,
L4^3,
M4^3,
N4^3,
O4^3,
P4^3,
Q4^3,
R4^3,
S4^3,
T4^3,
U4^3,
B^A =: B*D,
B^(A^-1) = B*D^-1*F,
C^A = C,
C^(A^-1) = C,
C^B =: C*E,
C^(B^-1) = C*E^-1*H,
D^A =: D*F,
D^(A^-1) = D*F^-1,
D^B = D,
D^(B^-1) = D,
D^C = D*G^-1*J*O*T^-1*U*A1*C1^2*F1*J1*K1*N1^-5*O1^2*Q1*R1^2*U1^2*V1*X1*Z1*C2^2*D2^2*E2^2*F2*G2*H2^2*I2*K2*M2^4*S2*T2^2*U2*V2*W2*Y2*Z2^2*A3*B3*C3*H3^2*K3*L3^2*P3*Q3^2*R3^2*U3*V3^2*W3*X3^2*Y3*Z3*A4*D4^2*F4*G4^2*I4*J4^2*K4^2*L4^2*N4^2*P4^2*Q4*R4*S4^2,
D^(C^-1) = D*G*J*K^-1*L^-1*M*O^2*P^2*Q*R*S^-1*T^-1*U^2*V*W*X*Z*C1^-2*D1*H1*K1*M1*O1^2*Q1^2*R1*T1*U1*V1*W1*Y1*D2*E2*F2^2*G2*H2^2*I2*K2*M2*O2^2*P2*S2^2*T2*V2^2*W2^2*X2*Y2*B3^2*C3*H3*I3^2*K3^2*M3^2*P3*T3*U3*X3^2*B4^2*C4*F4^2*H4^2*I4*J4^2*L4*M4^2*N4*P4^2*Q4*S4*T4^2*U4,
E^A =: E*G,
E^(A^-1) = E*G^-1*I*Q*S^-1*W*X*D1^2*I1*J1*N1^-4*O1^2*U1*V1*W1*Y1*D2*H2*J2*L2*M2^3*O2*P2^2*Q2*A3^2*C3*D3*H3^2*K3*M3^2*N3^2*T3*V3*W3*Y3*A4*B4^2*F4^2*G4*L4^2*N4*R4*T4^2,
E^B =: E*H,
E^(B^-1) = E*H^-1,
E^C = E,
E^(C^-1) = E,
E^D = E*J*O*T^-1*U*V^2*C1^2*K1*N1^-5*O1^2*Q1*R1^2*V1*X1*Z1*C2*E2^2*F2*G2^2*H2^2*K2*M2^4*T2^2*U2^2*W2*Y2*Z2^2*B3*C3*D3*H3^2*K3*L3^2*M3^2*N3*P3*Q3*R3*U3*V3^2*X3*Y3*B4*D4^2*F4*G4^2*H4^2*I4^2*J4*K4^2*M4^2*N4*P4*Q4*R4*S4^2*U4^2,
E^(D^-1) = E*J*K^-1*L^-1*M*O^2*P^2*Q*S^-1*T^-1*U*V*W*X*Y*A1*C1^-1*E1*F1*H1*J1*N1^-3*Q1*R1^2*V1*W1*Y1^3*Z1^-2*C2^2*D2*E2^2*F2*G2*H2*I2^2*M2^2*N2^2*O2^2*P2^2*Q2^2*S2^2*T2*U2*V2*W2*Y2^2*Z2^2*A3^2*B3*C3*D3*F3^2*H3*L3^2*M3^2*N3^2*O3*Q3*R3*S3^2*T3*U3*V3*W3*X3*Y3*Z3*D4*G4*H4*I4^2*K4*L4^2*N4^2*P4*Q4^2*R4*S4*T4^2*U4,
F^A = F,
F^(A^-1) = F,
F^B = F,
F^(B^-1) = F,
F^C = F*I^-1*M*P*U*Y*Z*C1^-4*D1^2*H1^2*I1*J1*K1*L1*N1*P1*W1*X1*Y1^4*Z1^-7*B2^2*D2*H2*M2*N2*Q2*T2^2*X2*Y2*A3^2*B3*D3*E3*F3*G3*I3*K3^2*L3*N3^2*O3*P3*Q3^2*S3*T3^2*U3^2*V3^2*W3^2*Y3*Z3*A4*B4*C4*D4^2*F4^2*G4^2*H4*J4^2*K4*N4*O4^2*P4*Q4*S4^2,
F^(C^-1) = F*I*M*N^-1*P*U^2*W*Y*C1^-4*D1*F1*I1*J1*K1*L1*N1^3*O1*P1*X1*Y1*Z1^-4*B2^2*C2*H2*I2^2*K2*L2*M2*N2*O2^2*Q2^2*S2*T2^2*U2^2*X2*Y2*A3^2*B3*E3*F3*H3*I3^2*K3*Q3*S3*T3*U3^2*V3*X3*Y3*A4*C4*H4^2*I4*J4*N4*O4^2*P4*Q4*S4^2*U4^2,
F^D = F,
F^(D^-1) = F,
F^E = F*L^-1*R*Y*A1*C1^-1*D1^2*E1*F1^2*K1*L1*M1*N1^-1*O1^2*P1^2*Q1*R1^2*T1*U1^2*X1*Y1^2*Z1^-5*A2^2*B2^2*C2*E2^2*F2*H2^2*I2^2*K2*M2^4*N2*Q2*T2*U2^2*W2*X2^2*Y2*A3^2*B3^2*C3*D3*E3*I3^2*L3*M3^2*O3^2*P3^2*Q3^2*R3*S3*T3*V3*W3^2*X3*Y3*Z3*A4*B4*C4*G4^2*H4^2*I4*J4^2*K4*L4*M4^2*N4^2*O4^2*P4*Q4*R4^2*T4,
F^(E^-1) = F*L*R*T^-1*Y*A1*C1^-1*D1^2*E1^2*F1^2*H1*K1*M1*N1^-1*O1^2*P1^2*Q1^2*R1^2*T1*Y1^2*Z1^-5*A2^2*C2*E2^2*F2*H2^2*I2^2*M2^4*S2*V2*W2*X2^2*Y2^2*Z2*B3*D3*F3*I3*K3^2*L3^2*M3*N3*O3*Q3^2*R3*S3^2*V3*W3^2*A4*B4*C4^2*D4^2*G4*H4*I4*J4^2*K4^2*L4*M4^2*O4*P4*Q4^2*R4*S4,
G^A =: G*I,
G^(A^-1) = G*I^-1*Q*W*X*B1^-1*D1*I1*K1*N1^-4*O1*T1^2*Y1^3*A2*H2*I2^2*J2*L2*M2^4*Q2^2*A3*C3*I3^2*M3^2*T3*V3*W3^2*X3*Y3*Z3*F4^2*H4*J4*L4^2*R4*T4^2,
G^B =: G*J,
G^(B^-1) = G*J*K^-1*L^-1*M*O^2*P^2*Q*R*S^-1*T^-1*U^2*W*X*Z*C1^-2*D1*H1*K1*M1*O1^2*T1*U1*V1*W1*Y1*C2*D2*G2^2*H2^2*I2*K2*M2*O2^2*P2*S2^2*T2^2*U2^2*V2^2*X2*Y2*C3*H3*I3^2*K3^2*L3*Q3*R3^2*T3*U3*B4^2*C4*F4^2*I4*J4^2*K4^2*N4*P4*Q4*S4*T4^2,
G^C = G,
G^(C^-1) = G,
G^D = G*L^-1*M*P^2*Q*R*S^-1*U*W*X*Z*C1^-4*D1*E1*H1*M1*N1^5*T1*U1*W1*Y1*Z1^-2*C2*D2*I2*K2*M2^2*N2^2*O2^2*P2*Q2*S2^2*T2*U2^2*V2^2*X2*Y2*C3*D3*F3^2*H3^2*L3*N3*O3^2*Q3^2*S3^2*U3^2*Y3*D4^2*F4^2*G4*H4*K4^2*M4^2*N4^2*P4^2*Q4*T4*U4^2,
G^(D^-1) = G*L*M*N^-1*Q*R*T^-1*U^2*W^2*X*Z*B1^-1*C1^-2*D1*E1^2*H1*I1*J1*L1*N1^-1*P1*T1^2*X1*Y1^3*Z1^-5*A2^2*B2^2*J2*M2*N2^2*O2*Q2*S2*V2*X2^2*Z2*E3*F3^2*K3*L3^2*M3^2*N3^2*O3*Q3^2*S3^2*T3*V3^2*W3^2*X3*Z3*A4*B4^2*C4^2*F4*G4*I4^2*J4*M4^2*N4*P4^2*R4*S4*T4*U4^2,
G^E = G*V^2*A1*F1*G1^2*J1*M1*Q1^2*R1*U1^2*C2*D2*E2^2*F2*I2*S2^2*T2*V2^2*W2*A3*B3^2*D3*L3^2*N3*P3^2*R3*S3^2*T3*W3*X3*Z3*A4*B4*H4*I4^2*J4^2*K4*M4*N4^2*P4^2*R4*S4*T4^2*U4^2,
G^(E^-1) = G*V*G1*Q1^2*R1*C2^2*G2^2*Y2^2*B3^2*L3^2*R3*X3^2*H4^2*K4*M4^2*P4*Q4*U4,
G^F = G*P*Z*C1^-1*I1*J1*M1*N1^-1*O1^2*P1^2*T1*W1*Y1^2*A2^2*B2^2*C2*H2*L2*M2^4*N2*S2*T2*U2^2*V2^2*A3^2*B3*G3*I3*L3^2*M3^2*N3*O3*P3^2*T3^2*V3*W3*X3*A4*D4^2*F4*H4^2*I4^2*J4^2*L4^2*N4^2*O4^2*P4*U4,
G^(F^-1) = G*P^2*Q*S^-1*W*X*Z*C1^-3*I1*N1^2*O1^2*P1*T1*U1*W1*B2*H2*J2*M2*N2*O2^2*Q2^2*S2^2*T2^2*Y2^2*B3^2*C3*E3*G3^2*H3*K3^2*L3*M3^2*O3^2*P3*Q3*S3^2*U3^2*V3*W3^2*X3*B4*C4*G4^2*H4*I4*J4^2*L4*O4*Q4^2*S4,
H^A =: H*K,
H^(A^-1) = H*K^-1*N*S^-1*B1*D2^2*S2^2*V2^2*W3^2*Y3*M4^2,
H^B = H,
H^(B^-1) = H,
H^C = H,
H^(C^-1) = H,
H^D = H*O^2*R*T^-1*U^2*Y*Z*C1^-2*D1*H1^2*K1*O1*T1*X1*Z1^-5*A2^2*G2^2*H2*M2*P2*T2^2*V2^2*X2*Z2*D3*E3*H3^2*M3^2*N3*P3^2*R3^2*S3^2*U3*W3*Z3*B4*C4*D4^2*G4*H4*J4*L4*M4*N4*S4*T4^2,
H^(D^-1) = H*O*T^-1*U*C1^2*E1*K1*N1^-5*O1^2*V1*Z1*H2^2*M2^4*N2^2*T2*C3*D3*F3^2*H3^2*I3^2*K3*L3*M3*N3*O3*P3^2*Q3^2*T3*U3^2*Y3*Z3*B4*D4^2*F4*G4^2*H4*I4^2*J4*K4^2*L4*N4*S4*T4,
H^E = H,
H^(E^-1) = H,
H^F = H*T*U*Z*C1^-4*D1*E1^2*I1*K1*L1*N1^6*O1*T1^2*Y1^3*Z1^-4*A2*B2^2*H2*M2*N2*P2^2*Q2*T2^2*X2^2*Y2*Z2^2*D3*F3^2*H3*I3*K3^2*L3^2*M3^2*N3^2*O3^2*P3^2*Q3*U3^2*V3^2*Y3*Z3*B4*D4^2*G4^2*I4*J4^2*K4^2*L4*O4^2*P4^2*Q4*R4^2*S4^2*T4,
H^(F^-1) = H*T^-1*U^2*C1^2*D1^2*E1*N1^-6*P1*X1*Y1^3*Z1*A2^2*B2*J2*K2*M2^3*P2^2*Q2*R2*T2*Y2^2*Z2^2*C3*D3*F3*H3^2*I3*K3*L3*M3*N3*P3*S3^2*T3*U3*V3*Y3*B4*D4^2*E4*F4*H4*I4^2*J4*L4^2*N4^2*Q4^2*R4^2*S4^2,
H^G = H*V*G1*Q1^2*R1*C2^2*B3^2*L3^2*X3^2*H4^2*K4,
H^(G^-1) = H*V^2*A1*F1*G1^2*J1*M1*Q1^2*R1*U1^2*C2*D2*E2^2*F2*I2*S2^2*T2*V2^2*W2*A3*B3^2*D3*L3^2*N3*P3^2*R3^2*S3*T3^2*W3*X3*Z3*A4*B4*H4*I4^2*J4^2*K4*N4^2*Q4*S4*T4^2*U4^2,
I^A = I*Q*W*D1*I1*K1*N1^-4*O1^2*T1^2*V1*Y1^4*I2^2*L2*M2*P2*Q2*C3*D3*M3^2*T3*W3^2*X3*Z3*B4^2*F4^2*H4*L4^2*R4*T4^2,
I^(A^-1) = I*Q*S^-1*W*X*D1^2*I1*N1^-4*O1^2*V1*Y1*H2*I2*J2*M2^3*P2^2*Q2*C3*G3^2*M3^2*T3*V3*W3^2*X3*Y3*Z3*D4*F4*J4^2*L4^2*R4*T4^2,
I^B =: I*L,
I^(B^-1) = I*L^-1*T*U*Z*C1^-4*D1*I1*K1*N1^6*O1*T1^2*W1*Y1^3*A2*H2*M2*O2^2*P2^2*Q2*S2*T2^2*X2*D3*K3*L3^2*M3^2*N3*P3*T3^2*U3*V3*W3*X3*Y3*C4^2*D4*H4*I4*K4^2*N4*P4*R4^2*S4^2*T4,
I^C = I,
I^(C^-1) = I,
I^D = I*P*C1^-2*D1*H1*N1^2*P1^2*T1^2*V1*W1*Y1*Z1^-1*K2*M2*N2^2*O2*P2*Q2*S2^2*T2^2*Y2^2*Z2^2*C3*D3*H3^2*I3^2*K3*L3^2*M3*N3*O3^2*P3*Q3*S3^2*U3^2*V3^2*Y3*Z3*B4^2*C4*F4^2*G4*H4^2*J4^2*K4^2*L4^2*N4^2*O4*Q4^2*S4^2*T4^2,
I^(D^-1) = I*P^2*Q*S^-1*W*X*C1^-1*D1^2*H1*J1*M1*N1^-3*P1*T1^2*U1*V1*W1*Y1^4*Z1^-1*A2*B2^2*C2*J2*K2*L2*O2*P2^2*S2*T2*U2^2*V2^2*A3^2*E3*H3^2*I3^2*K3*L3*O3*P3^2*W3*X3*Y3*A4*B4*G4*H4^2*J4^2*K4*O4^2*P4*S4*T4^2*U4,
I^E = I*F1^2*J1*M1*R1^2*U1*W1*C2^2*D2^2*I2^2*O2*S2^2*U2^2*V2*A3*H3^2*K3*M3*N3*Q3*R3*S3^2*T3*W3*X3*Z3*A4*B4*G4*H4^2*J4^2*L4^2*M4^2*N4^2*Q4,
I^(E^-1) = I*F1*J1*R1*U1*W1*C2^2*I2*O2*X2^2*A3^2*D3*H3^2*K3*T3^2*W3*X3*Z3*B4^2*G4*H4^2*M4*P4^2*R4^2*U4^2,
I^F = I*W*K1*N1^-1*V1*Y1^4*A2^2*B2^2*H2*L2*M2^2*P2^2*D3*F3*G3*I3*M3*W3^2*X3*B4*D4^2*F4*H4*L4,
I^(F^-1) = I*W^2*X*B1^-1*K1*N1^-3*V1*Y1^3*A2*B2*H2*L2*M2^2*Q2*F3*G3*I3*M3^2*T3^2*V3*X3^2*Y3*Z3*B4^2*D4^2*F4*H4^2*L4^2*R4^2*T4^2,
I^G = I*J1*U1*W1*D2^2*I2*O2*S2*A3^2*D3*H3^2*K3*W3*X3^2*Z3*B4^2*G4*M4*U4^2,
I^(G^-1) = I*J1*U1*W1*D2*I2^2*O2*A3*H3^2*K3*N3^2*W3*X3^2*Z3*A4*B4*G4*J4*N4,
I^H = I*F1^2*M1*R1^2*C2^2*D2^2*I2^2*U2^2*V2*D3*M3*Q3*R3*S3^2*T3*X3^2*A4*B4*H4^2*L4^2*Q4*U4^2,
I^(H^-1) = I*F1*R1*C2^2*I2*S2*X2^2*D3*N3^2*T3^2*X3^2*A4*B4*H4^2*J4*M4^2*N4*P4^2*R4^2*U4,
J^A =: J*M,
J^(A^-1) = J*M*N^-1*P^2*Q*W*X*B1^-1*C1^-3*I1*J1*M1*N1^3*T1*U1*V1*W1*Y1*A2^2*C2*D2*H2*I2*L2*M2^3*O2^2*S2*U2^2*X2*Y2^2*A3^2*B3^2*C3*D3*H3*N3^2*Q3*S3^2*T3^2*U3^2*V3^2*W3*X3*Z3*C4^2*D4^2*F4^2*G4^2*H4^2*I4^2*K4^2*L4*M4*N4^2*P4^2*Q4^2*S4*U4,
J^B = J*O^2*R*T^-1*U^2*Y*Z*C1^-2*D1*H1^2*K1*O1*T1*X1*Z1^-5*A2^2*G2*H2*M2*P2*T2^2*V2^2*X2*Y2*Z2*D3*E3*H3^2*M3^2*N3*P3^2*R3*S3*T3*W3*Z3*B4*C4*D4^2*G4*H4*J4*L4*M4^2*N4*P4^2*Q4*R4^2*U4,
J^(B^-1) = J*O*T^-1*U*C1^2*K1*N1^-5*O1^2*V1*X1*Z1*G2*H2^2*K2*M2^4*T2*Y2*Z2^2*C3*D3*H3^2*K3*L3*M3*N3*P3^2*R3*S3*T3^2*U3*V3^2*Y3*B4*D4^2*F4*G4^2*H4*I4^2*J4*L4*M4^2*N4*P4*Q4*R4^2*S4*T4*U4^2,
J^C = J,
J^(C^-1) = J,
J^D = J*R*T^-1*U^2*Y*E1^2*H1^2*L1*N1^-4*O1*P1*T1^2*W1*X1*Y1^4*Z1^-8*A2*B2^2*H2^2*N2^2*O2*P2^2*Q2^2*S2^2*T2^2*V2*X2*F3^2*H3*I3^2*K3*M3*S3^2*U3*V3^2*W3*X3^2*B4*D4*F4^2*G4^2*J4^2*K4^2*L4*N4^2*O4*P4*R4*S4^2*T4^2*U4,
J^(D^-1) = J*R*U*Y*Z*C1^-4*D1*E1*H1^2*L1*N1^5*O1^2*P1*T1*V1*X1*Y1^3*Z1^-9*A2^2*B2^2*H2*J2*Q2^2*T2*V2^2*X2*Y2^2*C3*D3*E3*I3^2*K3^2*L3^2*M3*O3*P3^2*Q3^2*T3*U3*W3*Y3*B4*C4*F4^2*G4*I4*J4*K4*L4*N4^2*O4^2*P4*Q4^2*S4^2*T4^2*U4^2,
J^E = J*V*G1*Q1^2*R1*C2^2*B3^2*L3^2*R3^2*S3*T3^2*X3^2*H4^2*K4*M4*P4^2*Q4^2*R4,
J^(E^-1) = J*V^2*A1*F1*G1^2*J1*M1*Q1^2*R1*U1^2*C2*D2*E2^2*F2*G2*I2*S2^2*T2*V2^2*W2*Y2*A3*B3^2*D3*L3^2*N3*P3^2*R3*S3*T3^2*W3*X3*Z3*A4*B4*H4*I4^2*J4^2*K4*M4*N4^2*P4^2*S4*T4^2*U4,
J^F = J*Y*C1^-1*D1^2*K1*L1*N1^-1*O1^2*P1^2*T1*Y1^2*Z1^-3*A2^2*B2*H2^2*L2*M2^4*N2*Q2^2*R2*Z2*D3*E3*F3*G3*H3*I3^2*J3^2*K3^2*M3^2*N3^2*O3*Q3^2*T3*U3*V3^2*Y3*Z3*B4*C4^2*D4*G4*H4*I4*J4^2*K4*N4^2*R4*S4^2*T4,
J^(F^-1) = J*Y*C1^-2*D1*H1^2*K1*L1*O1*T1^2*V1*Y1^3*Z1^-7*H2*J2*L2*M2^2*P2*R2^2*T2*Z2*E3*G3*H3^2*I3^2*K3*L3*M3*N3*P3*U3*W3*C4*E4*F4^2*G4^2*H4^2*I4^2*J4^2*K4*N4*O4*R4^2*S4^2*T4,
J^G = J*A1*F1*J1*M1*Q1*R1^2*U1^2*D2*E2^2*F2*I2*S2^2*T2*V2^2*W2*A3*B3*D3*L3*N3*P3^2*R3*S3^2*T3*W3*Z3*A4*B4*I4^2*J4^2*K4^2*M4*N4^2*P4^2*R4*S4*T4^2*U4,
J^(G^-1) = J*A1*F1*J1*Q1*R1^2*U1^2*C2^2*D2^2*E2^2*F2*I2*S2*T2*U2*V2*W2*A3*B3*D3*L3*M3^2*N3^2*P3^2*Q3^2*R3*S3^2*T3*W3*X3^2*Z3*A4*B4*H4^2*I4^2*J4*K4^2*L4*M4*N4*P4*R4^2*S4*T4^2*U4,
J^H = J*G1^2*S1^2*E2*F2^2*T2^2*U2*M3^2*R3^2*S3*T3^2*M4*P4^2*Q4^2*R4,
J^(H^-1) = J*G1*S1*E2^2*F2*T2*U2^2*Y2^2*M3*R3*S3^2*T3*U3^2*M4^2*P4*Q4^2*R4^2,
J^I = J*J1*U1^2*W1*D2^2*O2*S2^2*A3*K3^2*L3^2*N3^2*W3*X3*B4*D4^2*F4^2*G4^2*H4*J4*K4*M4*N4*U4^2,
J^(I^-1) = J*J1*W1*D2*O2*S2^2*A3^2*D3*H3*L3*W3*B4^2*D4*F4*H4^2*K4^2,
K^A =: K*N,
K^(A^-1) = K*N^-1*S*B1^-1*Y3,
K^B =: K*O,
K^(B^-1) = K*O^2*R*T^-2*Y*C1^2*D1*E1*H1^2*I1*N1^-9*O1^2*T1*X1*Y1^2*Z1^-4*A2^2*G2^2*N2^2*P2*V2^2*X2^2*Y2*Z2*C3*E3*F3^2*H3*K3*L3*M3*N3^2*O3*P3*Q3^2*R3^2*U3*W3*Y3*Z3*C4*G4^2*H4^2*I4^2*J4^2*L4^2*M4*N4*P4*Q4*R4^2*S4*T4,
K^C = K,
K^(C^-1) = K,
K^D = K*T^-1*U*C1^2*E1*K1*N1^-5*O1^2*V1*Z1*H2^2*M2^4*N2^2*T2^2*V2*Y2*C3*D3*F3^2*H3^2*I3^2*K3*L3^2*O3*P3^2*Q3^2*S3*Y3*Z3*B4*C4*F4*G4^2*H4*I4^2*J4^2*L4*N4^2*Q4*R4*T4^2*U4,
K^(D^-1) = K*T*U^2*Z*C1^-4*E1^2*I1*K1*L1*N1^6*O1^2*P1*T1^2*X1*Y1^3*Z1^-5*B2^2*H2*K2*M2*N2^2*T2*V2^2*X2^2*Z2*C3*D3*F3^2*H3*I3*K3^2*L3*P3^2*S3^2*T3*U3*V3*B4*C4^2*D4*G4^2*I4*J4*N4^2*P4^2*R4^2*S4^2*T4*U4^2,
K^E = K*V^2*A1*F1*G1^2*J1*M1*Q1^2*R1*U1^2*C2*D2*E2^2*F2*I2*S2^2*T2*V2^2*W2*A3*B3^2*D3*L3^2*N3*P3^2*R3*S3^2*T3*W3*X3*Z3*A4*B4*H4*I4^2*J4^2*K4*M4*N4^2*P4^2*R4*S4*T4^2*U4^2,
K^(E^-1) = K*V*G1*Q1^2*R1*C2^2*G2^2*Y2^2*B3^2*L3^2*R3*X3^2*H4^2*K4*M4^2*P4*Q4*U4,
K^F = K*C1*D1*K1*N1^-4*O1*P1^2*V1*Y1^4*A2*B2^2*H2^2*N2*P2^2*Q2^2*T2^2*C3*D3*H3*I3*K3^2*L3^2*M3*N3^2*O3*P3^2*Q3^2*T3*Z3*B4*G4*H4*I4*J4*K4*L4*N4^2*O4^2*T4^2,
K^(F^-1) = K*C1^-1*D1^2*N1^2*O1^2*P1*Y1^4*B2*M2^3*P2^2*Q2^2*T2*C3*H3^2*I3*J3*K3*L3*M3^2*N3*O3^2*P3*Q3*T3^2*V3*Y3*Z3*G4^2*H4^2*I4^2*J4^2*K4^2*L4^2*N4*O4*R4^2*T4,
K^G = K,
K^(G^-1) = K,
K^H = K*G1*Q1*R1^2*S1*C2*B3*L3*X3*H4*K4^2,
K^(H^-1) = K*G1^2*Q1^2*R1*S1^2*C2^2*Y2*B3^2*L3^2*R3*U3*X3^2*H4^2*K4*M4^2*P4*Q4,
K^I = K*D2*I2^2*S2*D3*N3*A4*B4*J4^2*M4*N4^2*U4^2,
K^(I^-1) = K*D2^2*I2*S2^2*D3*N3^2*A4*B4*J4*M4^2*N4*U4,
K^J = K*T2*V2*L3*M3^2*N3^2*C4*D4*J4*K4*N4*U4,
L^A =: L*P,
L^(A^-1) = L*P^2*Q*S^-1*W^2*X*C1^-3*J1*M1*N1^3*U1*V1*Y1^3*A2^2*C2*H2*J2*M2^2*Q2*S2^2*U2^2*V2^2*Y2^2*A3^2*D3*E3*G3^2*I3^2*M3*N3^2*Q3*S3^2*T3^2*U3^2*V3*W3*X3^2*Y3*Z3*A4*B4*C4*D4*F4*H4*L4^2*N4*P4*Q4^2*S4*U4,
L^B = L*T*U*Z*C1^-4*D1*I1*K1*N1^6*O1*T1^2*W1*Y1^3*A2*H2*M2*O2^2*P2^2*Q2*S2*T2^2*X2*D3*K3*L3^2*M3^2*N3*P3*S3^2*T3^2*U3*V3*W3*X3*Y3*Z3*C4^2*D4*H4*I4*K4^2*N4*P4*R4^2*S4*T4,
L^(B^-1) = L*T^-1*U^2*C1^2*D1^2*N1^-6*W1*Y1^3*A2^2*J2*M2^3*P2^2*T2*X2*C3*D3*H3^2*I3^2*K3*M3*N3*P3^2*T3*U3^2*W3^2*B4*C4*F4*G4^2*I4^2*J4*N4^2*P4*S4*T4,
L^C = L*J1*U1*A3^2*A4*M4^2*U4,
L^(C^-1) = L*J1*U1*A3*D3*W3^2*Z3*B4*M4^2*U4,
L^D = L*Y*C1^-1*D1^2*K1*N1^-1*O1^2*P1*T1*W1*X1*Y1^2*Z1^-4*A2^2*H2^2*M2^4*N2*O2*Q2*S2^2*T2^2*Y2^2*Z2*B3^2*G3*H3^2*I3*K3*L3^2*M3*N3*O3*P3*Q3^2*S3^2*T3*V3*W3*X3*Z3*B4*D4*G4*H4*L4*N4^2*O4^2*Q4^2*R4^2*S4^2*T4,
L^(D^-1) = L*Y*C1^-2*D1*H1^2*K1*O1*P1^2*T1^2*V1*W1*X1*Y1^3*Z1^-5*B2^2*H2*J2*M2^2*N2*O2*P2*R2*S2^2*T2^2*Y2*Z2*B3*C3*D3*G3^2*H3^2*I3*J3^2*K3*L3^2*M3^2*N3*O3^2*Q3*S3*U3^2*V3^2*Y3*Z3*B4^2*C4*D4^2*G4*H4^2*J4^2*L4^2*N4^2*O4*Q4*S4^2*T4^2,
L^E = L*F1*R1*W1*C2^2*I2*O2*D3*H3^2*K3*R3^2*S3*T3^2*W3*X3*Z3*A4*B4^2*G4*H4^2*I4*P4*Q4^2*R4^2*U4,
L^(E^-1) = L*F1^2*M1*R1^2*W1*C2^2*D2^2*I2^2*O2*S2^2*U2^2*V2*X2*D3*H3^2*K3*M3*N3*Q3*T3*W3^2*X3*A4*B4^2*G4*H4^2*I4^2*J4^2*L4^2*M4*N4^2*P4^2*U4^2,
L^F = L*H1*X1*Z1^-1*K2*Q2^2*R2^2*Z2*E3*I3^2*X3*Z3*B4*C4*E4^2*L4^2*S4*T4,
L^(F^-1) = L*H1^2*I1*K1*N1^-5*O1*T1*V1*Z1^-4*A2^2*H2^2*J2*M2^2*P2*Q2*R2*Z2^2*C3*E3*I3^2*M3^2*V3*X3^2*Y3*B4^2*C4*E4^2*H4^2*S4*T4,
L^G = L*J1*U1^2*W1*D2*O2*S2*A3*D3*K3^2*L3^2*N3*W3*X3*A4*B4^2*D4*F4*G4^2*H4^2*J4^2*K4*N4^2,
L^(G^-1) = L*J1*W1*D2^2*O2*A3^2*H3*L3*N3*W3*B4*D4^2*F4^2*H4*J4^2*K4^2*M4*N4^2*U4^2,
L^H = L*Q1^2*E2^2*U2*V2*B3^2*L3*M3*N3*Z3*C4^2*D4^2*H4*I4*N4^2*Q4*S4^2*T4,
L^(H^-1) = L*Q1*E2*U2^2*V2^2*B3*L3^2*M3^2*N3^2*S3^2*Z3*C4*D4*H4^2*I4^2*N4*S4^2,
L^I = L*U1^2*S2^2*A3^2*H3^2*K3^2*L3*N3*X3*G4^2*J4^2*K4^2*N4^2,
L^(I^-1) = L*U1*S2*D3*H3*K3*L3^2*N3^2*X3^2*Z3*A4*B4*G4*J4*K4*N4,
L^J = L*W1*D2*O2*T2^2*B3*D3*H3^2*K3*L3^2*N3^2*W3^2*X3^2*Z3*A4*B4^2*D4*F4*G4*H4^2*J4*K4^2*M4*N4*U4^2,
L^K = L*D2^2*O2*S2*T2*D3*G3*H3^2*K3^2*L3*M3*N3*X3*A4*B4^2*C4*F4^2*G4*H4^2*I4^2*J4*M4^2*U4,
L^(K^-1) = L*D2*O2^2*S2^2*T2^2*D3*G3^2*H3*K3*L3^2*M3^2*N3^2*W3^2*X3^2*A4*C4^2*F4*G4^2*H4*I4*J4^2*M4*U4^2,
M^A =: M*Q,
M^(A^-1) = M*Q*S^-1*W^2*X*N1^-3*V1*Y1^4*A2^2*H2*J2*L2*M2^4*P2^2*A3*D3*G3^2*I3*T3^2*V3*W3*X3^2*D4*J4^2*R4^2*T4^2,
M^B =: M*R,
M^(B^-1) = M*R*T^-1*C1*D1*E1*H1^2*I1*K1*N1^-6*O1^2*P1^2*W1*Y1^4*Z1^-3*A2*J2*M2^2*N2*O2*P2^2*Q2*S2^2*T2^2*Y2*C3*D3*E3*F3^2*H3*I3^2*L3*O3^2*Q3*S3^2*T3^2*U3*V3*W3*X3^2*Z3*B4^2*I4*N4*O4*Q4*R4*S4^2*T4,
M^C = M,
M^(C^-1) = M,
M^D = M*Y*Z*C1^-3*H1^2*L1*N1^3*O1^2*P1^2*T1*V1*X1*Z1^-7*H2*K2*M2^3*P2^2*Q2*R2*T2*C3*E3*F3*I3*J3^2*L3*M3^2*P3*T3^2*U3*W3*Z3*C4^2*H4^2*J4^2*O4*T4^2,
M^(D^-1) = M*Y*Z*C1^-1*K1*L1*N1^-1*O1^2*T1*V1*X1*Y1^4*Z1^-3*A2^2*H2*J2*K2*L2*M2^2*N2*P2^2*Q2^2*D3*E3*F3*G3*O3*Q3^2*T3^2*U3*V3^2*Y3*B4*C4*D4*H4^2*J4*K4^2*R4*S4^2*T4,
M^E = M*A1*F1^2*M1*Q1*U1^2*W1*C2^2*D2*E2^2*F2*I2^2*O2*T2*V2^2*W2*A3^2*B3*K3^2*P3^2*B4*G4^2*H4^2*I4*Q4^2*S4*T4^2*U4,
M^(E^-1) = M*A1*Q1*R1*W1*D2^2*E2^2*F2*O2*S2*T2*U2*V2*W2*X2*B3*D3*H3*L3^2*M3^2*N3^2*P3^2*Q3^2*R3*S3^2*T3^2*A4*B4^2*I4^2*J4*K4*L4*M4^2*N4*P4^2*S4*T4^2*U4^2,
M^F = M*I1*N1^-1*O1^2*Y1^2*A2^2*B2*H2*M2^4*N2^2*Q2^2*C3*I3*J3*V3^2*Y3*E4^2*L4*T4,
M^(F^-1) = M*I1*N1^-2*O1*T1^2*Y1^3*A2*B2^2*H2^2*J2*N2*P2*C3*F3^2*J3^2*M3*V3^2*H4*T4,
M^G = M*J1*M1*W1*C2*I2^2*O2*U2^2*V2*A3^2*D3*H3*L3*M3*N3^2*Q3*W3*X3*B4^2*H4*J4*K4^2*L4^2*N4*P4*R4^2,
M^(G^-1) = M*J1*M1*U1^2*W1*C2*D2*I2*O2*U2^2*V2*A3*K3^2*L3^2*M3*N3*Q3*W3*X3^2*A4*B4*G4^2*H4*J4^2*K4*L4^2*M4*N4^2*P4*R4^2*U4^2,
M^H = M*R1^2*D2*F2^2*O2*T2*U2*V2*D3*H3^2*K3^2*L3*N3^2*R3*S3^2*T3*W3*X3*A4*B4^2*C4*D4*G4*H4^2*I4^2*M4^2*S4*T4^2*U4,
M^(H^-1) = M*R1*D2^2*F2*O2^2*T2^2*U2^2*V2^2*D3*H3*K3*L3^2*N3*T3^2*W3*X3^2*A4*C4^2*D4^2*G4^2*H4*I4*T4^2*U4^2,
M^I = M*I2*D4*F4*H4^2,
M^(I^-1) = M*I2^2*D4^2*F4^2*H4,
M^J = M*W1*D2*L2*S2*V2*B3^2*E3*G3*K3^2*N3^2*W3*A4*I4*J4^2*K4*M4,
M^K = M*D2^2*O2^2*V2^2*D3*H3*K3*M3*N3*W3*X3^2*A4*G4^2*H4*I4*K4*M4^2*N4,
M^(K^-1) = M*D2*O2*V2*D3*H3^2*K3^2*M3^2*N3^2*W3*X3*A4*B4^2*G4*H4^2*I4^2*K4^2*M4*N4^2,
M^L = M*O2^2*S2*B3*D3*G3*H3*K3*M3^2*N3*W3^2*Z3*A4*C4*D4*G4^2*H4^2*I4*J4*K4*N4,
M^(L^-1) = M*O2*S2^2*B3^2*D3*G3^2*H3^2*K3^2*M3*N3^2*Z3*A4*B4^2*C4^2*D4^2*G4*H4*I4^2*J4^2*K4^2*N4^2,
N^A =: N*S,
N^(A^-1) = N*S^-1*B1*Y3,
N^B =: N*T,
N^(B^-1) = N*T^-1*E1^2*P1^2*Z1^2*B2*Q2*Y2*C3*P3*S3*T3*Z3*G4*K4*N4*O4^2*Q4*R4^2*S4^2,
N^C = N,
N^(C^-1) = N,
N^D = N*C1^-2*K1*N1^4*O1*P1^2*V1*Y1^4*Z1*A2*B2*H2^2*M2^4*N2*P2*R2*T2*D3*F3*I3*J3*L3*M3*O3^2*P3*Q3*T3*B4*E4^2*H4*K4*L4^2*O4*R4*S4^2,
N^(D^-1) = N*C1^2*K1*N1^-5*O1^2*P1*V1*Z1*H2^2*M2^4*Q2^2*R2*T2^2*D3*F3*I3^2*L3^2*M3^2*O3*P3^2*Q3^2*T3^2*V3^2*B4*E4^2*H4^2*K4^2*L4*O4^2*R4,
N^E = N*F1^2*M1*R1^2*C2^2*D2^2*I2^2*U2^2*V2*A3^2*D3*M3*Q3*R3*S3^2*T3*X3^2*A4*B4*H4^2*L4^2*Q4*U4^2,
N^(E^-1) = N*F1*R1*C2^2*I2*S2*X2^2*A3*D3*N3^2*T3^2*X3^2*A4*B4*H4^2*J4*M4^2*N4*P4^2*R4^2*U4,
N^F = N*N1*O1*Y1^4*A2*B2^2*J2*M2*P2^2*Q2^2*D3*F3*M3^2*B4*H4^2*J4^2*L4,
N^(F^-1) = N*N1^-1*O1^2*Y1^2*A2^2*B2*M2^4*Q2*I3^2*M3*Y3*E4*H4*J4*L4^2,
N^G = N*D2^2*I2*S2^2*A3*D3*N3^2*A4*B4*J4*M4^2*N4*U4,
N^(G^-1) = N*D2*I2^2*S2*A3^2*D3*N3*A4*B4*J4^2*M4*N4^2*U4^2,
N^H = N*R1*C2*D2*F2*V2^2*R3^2*S3*T3^2*X3*H4*P4*R4^2*S4^2*T4,
N^(H^-1) = N*R1^2*C2^2*D2^2*F2^2*V2*T3*X3^2*H4^2*M4*R4*T4,
N^I = N*A3^2,
N^(I^-1) = N*A3,
N^J = N*D2^2*O2^2*V2^2*D3*G3*H3*K3*M3^2*N3*W3*X3^2*A4*B4^2*D4^2*F4^2*G4^2*H4^2*I4*K4*M4^2*N4,
N^K = N*D2*S2*V2*M4,
N^(K^-1) = N*D2^2*S2^2*V2^2*M4^2,
N^L = N*O2*S2^2*H3^2*K3^2*M3*N3^2*X3*G4*H4*I4^2*J4*K4^2*N4^2,
N^(L^-1) = N*O2^2*S2*H3*K3*M3^2*N3*W3^2*X3^2*G4^2*H4^2*I4*J4^2*K4*N4,
N^M = N*G3^2*B4*D4*F4*J4^2,
O^A =: O*U,
O^(A^-1) = O*U^2*Z*C1^-2*D1*I1*N1^2*T1^2*V1*Y1*H2*M2*P2*Q2*X2^2*C3*I3^2*V3*Z3*D4*F4*H4*J4*L4^2*P4^2*R4^2*T4^2,
O^B = O*E1*X1*Z1^-1*K2*N2^2*Q2*Y2*Z2^2*C3*F3^2*P3*S3*V3^2*K4^2*Q4,
O^(B^-1) = O*E1^2*L1*P1*Z1^-3*B2^2*N2^2*Q2^2*Y2^2*Z2^2*C3*F3^2*I3^2*O3^2*P3^2*Q3*S3*T3^2*U3*V3^2*K4^2*O4*Q4^2*S4*T4^2,
O^C =: O*V,
O^(C^-1) = O*V^2*A1*F1*J1*M1*Q1*R1^2*U1^2*D2*E2^2*F2*G2*I2*S2^2*T2*V2^2*W2*A3*B3*D3*L3*N3*P3^2*R3*S3^2*T3*W3*Z3*A4*B4*I4^2*J4^2*K4^2*M4*N4^2*P4^2*R4*S4*T4^2*U4,
O^D = O*E1^2*L1*P1*Z1^-3*B2^2*N2^2*Q2^2*Y2^2*Z2^2*C3*F3^2*I3^2*O3^2*P3^2*Q3*S3*T3^2*U3*V3^2*K4^2*O4*Q4^2*S4*T4^2,
O^(D^-1) = O*E1*X1*Z1^-1*K2*N2^2*Q2*Y2*Z2^2*C3*F3^2*P3*S3*V3^2*K4^2*Q4,
O^E = O*G1*Q1^2*R1*C2^2*G2*B3^2*L3^2*R3^2*S3*T3^2*X3^2*H4^2*K4*M4*P4^2*Q4^2*R4*U4^2,
O^(E^-1) = O*G1^2*Q1*R1^2*C2*G2*Y2*B3*L3*S3^2*T3*X3*H4*K4^2*R4^2*U4^2,
O^F = O*P1*X1*B2^2*K2*Q2^2*R2*Y2^2*Z2^2*C3*I3*J3^2*P3^2*S3^2*T3^2*U3^2*V3^2*K4*L4^2*O4*Q4^2*R4,
O^(F^-1) = O*P1^2*X1*Z1^-1*B2*K2*Q2^2*R2^2*Y2*Z2^2*J3^2*P3*S3*T3*U3*V3*Y3*Z3*E4^2*K4^2*L4*O4^2*Q4*R4*S4^2*T4^2,
O^G = O,
O^(G^-1) = O,
O^H = O*S1*E2*F2^2*T2^2*U2*M3^2*Q4*S4^2*T4,
O^(H^-1) = O*S1^2*E2^2*F2*T2*U2^2*M3*U3*S4*T4^2,
O^I = O*D2^2*O2*S2*B3^2*D3*G3*H3*K3*L3^2*X3*A4*B4^2*C4^2*D4^2*G4*H4*K4*M4^2*U4,
O^(I^-1) = O*D2*O2^2*S2^2*B3*D3*G3^2*H3^2*K3^2*L3*W3^2*X3^2*A4*C4*D4*G4^2*H4^2*K4^2*M4*U4^2,
O^J = O*T2^2*V2^2*L3^2*M3*N3*C4^2*D4^2*J4^2*K4^2*N4^2*U4^2,
O^K = O*T2^2*V2^2*L3^2*M3*N3*C4^2*D4^2*J4^2*K4^2*N4^2*U4^2,
O^(K^-1) = O*T2*V2*L3*M3^2*N3^2*C4*D4*J4*K4*N4*U4,
O^L = O*T2^2*H3*K3*M3*N3*Z3*C4^2*D4*F4^2*H4*I4^2*J4,
O^(L^-1) = O*T2*H3^2*K3^2*M3^2*N3^2*Z3*C4*D4^2*F4*H4^2*I4*J4^2,
O^M = O*V2*H3*L3^2*M3*N3^2*Z3*C4^2*G4*J4*K4*N4*U4,
O^N = O*V2^2*H3^2*K3*M3*N3^2*C4^2*D4^2*G4*I4^2*K4^2*N4^2*U4^2,
O^(N^-1) = O*V2*H3*K3^2*M3^2*N3*C4*D4*G4^2*I4*K4*N4*U4,
P^A =: P*W,
P^(A^-1) = P*W^2*X*B1^-1*N1^-3*V1*Y1*A2*H2*M2*P2*Q2*C3*I3^2*T3^2*W3^2*Y3*Z3*B4^2*J4^2*R4^2*T4^2,
P^B = P*Y*C1^-1*D1^2*K1*N1^-1*O1^2*T1*W1*Y1^2*A2^2*H2^2*M2^4*O2*Q2^2*S2^2*T2^2*B3*C3*H3^2*I3^2*K3*L3^2*M3*N3*O3*P3^2*Q3^2*U3^2*X3^2*Z3*B4*C4*F4*G4*J4^2*K4^2*N4^2*S4*T4,
P^(B^-1) = P*Y*C1^-2*D1*H1^2*K1*O1*P1^2*T1^2*V1*W1*Y1^3*Z1^-7*H2*J2*M2^2*N2^2*O2*P2*S2^2*T2^2*Y2*B3^2*D3*H3^2*K3*L3^2*M3^2*N3*S3*T3^2*V3*W3*X3^2*Z3*B4^2*C4^2*D4^2*F4^2*G4*H4*K4^2*L4*N4^2*O4*Q4*S4^2,
P^C = P,
P^(C^-1) = P,
P^D = P*H1^2*K1*N1^-3*T1*Y1^3*Z1^-4*A2^2*B2*H2^2*K2*L2*M2*N2*P2*Q2*R2*Z2*E3*G3*I3^2*J3^2*T3^2*V3^2*X3*Y3*Z3*C4*D4^2*F4*J4^2*L4^2*R4^2*S4*T4^2,
P^(D^-1) = P*H1*I1*N1^-2*O1*V1*X1*Y1^2*Z1^-1*B2^2*J2*L2*M2*N2^2*Q2*R2^2*Z2*C3*E3*G3*J3*M3^2*T3*X3^2*C4*D4^2*F4*H4^2*J4*R4*S4^2*T4,
P^E = P*J1*U1^2*W1*O2*A3*K3^2*L3^2*W3*X3*A4*B4*G4^2*K4*U4^2,
P^(E^-1) = P*J1*W1*O2*S2*A3^2*D3*H3*L3*N3^2*W3*B4^2*I4^2*J4*K4^2*M4*N4,
P^F = P*T1*N2*Q2*C3*J3^2,
P^(F^-1) = P*T1^2*V1*Y1^3*A2*H2*J2*M2^2*N2^2*Q2*D3*J3*V3^2*Y3*Z3*B4*J4^2,
P^G = P*U1*I2^2*L2*S2*D3*G3*H3*K3*L3^2*N3^2*W3^2*X3^2*Z3*A4*B4*D4*G4*H4*J4*K4*N4,
P^(G^-1) = P*U1^2*I2*L2*S2^2*A3^2*G3*H3^2*K3^2*L3*N3*W3*X3*F4^2*G4^2*H4^2*J4^2*K4^2*N4^2,
P^H = P*C2^2*D2*O2*T2^2*U2^2*D3*H3^2*K3^2*L3^2*N3*W3*A4*B4^2*C4^2*D4^2*G4*I4^2*K4*M4^2*N4*P4^2*R4*U4^2,
P^(H^-1) = P*C2*D2^2*O2^2*T2*U2*D3*H3*K3*L3*N3^2*W3*A4*C4*D4*G4^2*I4*K4^2*M4*N4^2*R4^2*U4,
P^I = P*I2^2*D4^2*F4^2*H4,
P^(I^-1) = P*I2*D4*F4*H4^2,
P^J = P*L2*O2^2*S2*B3*D3*G3*H3*K3*M3*N3*W3*X3*Z3*A4*C4*D4*F4^2*G4^2*H4*I4*K4*N4,
P^K = P*O2*S2^2*G3^2*H3^2*K3^2*M3^2*N3^2*W3*X3*B4*D4*F4*G4*H4^2*I4^2*K4^2*N4^2,
P^(K^-1) = P*O2^2*S2*G3*H3*K3*M3*N3*W3*X3^2*B4^2*D4^2*F4^2*G4^2*H4*I4*K4*N4,
P^L = P*B3^2*G3^2*W3^2*X3*C4^2*D4^2*J4,
P^(L^-1) = P*B3*G3*W3*X3^2*C4*D4*J4^2,
P^M = P*G3*D4^2*F4^2*J4,
P^N = P*G3^2*D4*F4*J4^2,
P^(N^-1) = P*G3*D4^2*F4^2*J4,
P^O = P*K3*L3^2*M3^2*N3*C4*D4^2*F4^2*G4^2*H4*I4^2*J4,
Q^A =: Q*X,
Q^(A^-1) = Q*X*B1^-1*V1*A2*H2*M2^2*P2*Q2^2*C3*D3*I3^2*B4^2*J4^2,
Q^B =: Q*Y,
Q^(B^-1) = Q*Y*C1^-3*H1^2*K1*N1*V1*Y1*Z1^-4*B2^2*H2^2*Q2*T2*C3*D3*F3*I3*L3*O3^2*P3*Q3*T3*U3^2*V3^2*W3*B4*C4*K4*L4^2*O4^2*R4^2*T4,
Q^C = Q,
Q^(C^-1) = Q,
Q^D = Q*K1*N1^-2*O1*T1^2*V1*A2*H2^2*K2*M2*N2^2*Q2*C3*D3*F3^2*I3^2*J3*M3*V3^2*Y3*B4*E4*H4*L4^2*S4^2*T4^2,
Q^(D^-1) = Q*K1*N1*O1^2*T1*A2*H2*J2*K2*N2*P2*Q2^2*F3^2*I3*J3^2*M3^2*V3*Y3*Z3*E4*H4^2*J4*L4,
Q^E = Q*J1*U1^2*W1*O2*K3^2*L3^2*W3*X3*B4*G4^2*K4*U4^2,
Q^(E^-1) = Q*J1*W1*O2*S2*D3*H3*L3*N3^2*W3*A4*B4^2*I4^2*J4*K4^2*M4*N4,
Q^F = Q*V1*Y1^4*A2^2*M2^2*P2^2*Q2^2*F3^2*Y3*E4,
Q^(F^-1) = Q*V1*Y1^3*A2*H2^2*M2^3*P2*F3*I3*Y3*E4^2*J4,
Q^G = Q*I2*L2*A3*G3*W3^2*F4^2*H4^2,
Q^(G^-1) = Q*I2^2*L2*A3^2*G3*W3*D4*H4,
Q^H = Q*O2*D3*H3^2*K3^2*W3^2*X3*A4*B4^2*G4*I4^2*K4^2*M4^2*N4^2,
Q^(H^-1) = Q*O2^2*D3*H3*K3*X3^2*A4*G4^2*I4*K4*M4*N4,
Q^I = Q*A3,
Q^(I^-1) = Q*A3^2,
Q^J = Q*L2*D3*W3^2*X3^2*Z3*B4^2*F4^2,
Q^K = Q*G3*W3*D4^2*F4^2,
Q^(K^-1) = Q*G3^2*W3^2*D4*F4,
Q^L = Q*X3*B4,
Q^(L^-1) = Q*X3^2*B4^2,
Q^M = Q*B4^2,
Q^N = Q*B4,
Q^(N^-1) = Q*B4^2,
Q^O = Q*F4*H4^2,
Q^P = Q,
R^A =: R*Z,
R^(A^-1) = R*Z*C1^-1*K1*N1*O1*T1^2*V1*Y1^4*A2^2*L2*M2^2*P2*Q2*G3*I3^2*M3^2*D4*H4*R4*T4,
R^B = R*E1*P1^2*N2*Q2^2*Y2*C3*E3*F3^2*P3*S3*T3^2*Z3*C4*G4*K4*L4*N4*O4*Q4*R4*S4^2*T4^2,
R^(B^-1) = R*E1^2*L1*P1^2*X1*Z1^-4*B2^2*K2*Q2^2*Y2^2*Z2*E3*F3^2*I3^2*O3^2*P3^2*Q3*S3*V3^2*Y3*Z3*C4*G4^2*L4^2*N4^2*O4*Q4^2*R4*T4,
R^C =: R*A1,
R^(C^-1) = R*A1*F1^2*M1*Q1^2*R1*U1^2*C2^2*E2*F2^2*I2^2*T2^2*U2*W2^2*X2^2*A3^2*B3^2*D3*L3^2*M3^2*P3*Q3^2*R3*S3*T3^2*X3^2*Z3*A4*B4*H4^2*I4*K4*L4*M4^2*P4*S4^2*T4,
R^D = R*L1*Z1^-2*B2*N2^2*R2^2*Z2^2*E3*F3*I3^2*J3*O3*Q3^2*T3^2*U3*V3^2*Y3*Z3*C4*K4^2*L4^2*S4^2*T4,
R^(D^-1) = R*L1*P1^2*X1*Z1^-1*R2^2*Z2^2*F3*I3*J3*T3^2*U3^2*Y3*Z3*L4*O4*R4,
R^E = R*Q1*R1*W1*D2^2*E2^2*F2*O2*S2*T2*U2*V2*W2*X2^2*B3*D3*H3*L3^2*M3^2*N3^2*P3^2*Q3^2*R3*S3*T3^2*A4*B4^2*J4*K4*L4*M4^2*N4*P4*Q4*S4*T4^2*U4^2,
R^(E^-1) = R*Q1^2*R1^2*W1*D2*E2*F2^2*O2*T2^2*U2^2*V2^2*W2^2*X2^2*B3^2*D3*K3^2*L3*M3*P3*Q3*R3^2*S3*T3*X3*Z3*A4*B4^2*G4^2*I4*K4^2*L4^2*M4*P4*S4^2*T4*U4,
R^F = R*X1*N2*R2*F3*J3^2*V3^2*Y3*E4*L4^2*S4*T4,
R^(F^-1) = R*X1*Z1^-1*N2^2*R2^2*Z2^2*C3*F3^2*J3*V3^2*Z3*L4*S4*T4,
R^G = R*D2^2*L2*S2^2*G3*N3^2*W3*D4*H4*J4*M4^2*N4*U4,
R^(G^-1) = R*D2*L2*S2*G3*N3*W3^2*F4^2*H4^2*J4^2*M4*N4^2*U4^2,
R^H = R*E2^2*T2*W2^2*H3*P3*Q3*Z3*G4^2*K4*L4^2*N4*Q4*S4^2*T4,
R^(H^-1) = R*E2*T2^2*W2*H3^2*P3^2*Q3^2*Z3*G4*K4^2*L4*N4^2*S4^2,
R^I = R*O2*S2^2*D3*G3^2*H3*K3*L3^2*N3*A4*B4^2*D4^2*F4^2*G4*H4*J4^2*K4*N4^2,
R^(I^-1) = R*O2^2*S2*D3*G3*H3^2*K3^2*L3*N3^2*W3^2*A4*D4*F4*G4^2*H4^2*J4*K4^2*N4,
R^J = R*T2*V2^2*E3*K3*N3^2*C4^2*F4^2*G4^2*H4^2*I4^2*K4*N4^2*U4^2,
R^K = R*T2^2*V2*L3^2*M3*N3^2*C4^2*J4*K4^2*N4*U4,
R^(K^-1) = R*T2*V2^2*L3*M3^2*N3*C4*J4^2*K4*N4^2*U4^2,
R^L = R*H3*K3*L3*M3*N3*Z3*C4^2*F4*I4^2*K4,
R^(L^-1) = R*H3^2*K3^2*L3^2*M3^2*N3^2*Z3*C4*F4^2*I4*K4^2,
R^M = R*H3*K3^2*M3^2*N3^2*Z3*C4*D4*F4^2*G4^2*H4^2*I4*K4,
R^N = R*H3^2*K3*M3*N3*D4*F4^2*G4*H4*I4^2*J4*K4^2,
R^(N^-1) = R*H3*K3^2*M3^2*N3^2*D4^2*F4*G4^2*H4^2*I4*J4^2*K4,
R^O = R*P3^2*G4^2*K4^2*L4^2*N4^2,
R^P = R*C4^2*D4*F4^2*J4^2,
R^Q = R,
S^A =: S*B1,
S^(A^-1) = S*B1^-1*Y3,
S^B = S*C1^3*K1*N1^-2*V1*X1*Y1^2*Z1^4*A2*H2^2*J2*K2*M2*P2^2*T2^2*Z2^2*I3*L3^2*P3^2*U3*V3*Y3*Z3*R4*S4^2*T4^2,
S^(B^-1) = S*C1^-3*K1*N1*V1*X1*Y1*Z1^4*H2^2*K2*T2*Z2^2*D3*I3*L3*O3*P3*Q3^2*U3^2*Y3*Z3*B4*K4^2*L4*O4*S4*T4,
S^C = S,
S^(C^-1) = S,
S^D = S*N1^-3*O1^2*Y1^3*A2^2*J2*M2*P2*Q2^2*D3*I3*M3^2*Y3*B4*H4^2*L4*S4^2*T4^2,
S^(D^-1) = S*N1^3*O1*Y1^3*A2*M2^4*P2*Q2*I3*M3*H4*L4^2*S4*T4,
S^E = S*D3*A4*B4*M4^2*U4^2,
S^(E^-1) = S*D3*A4*B4*M4*U4,
S^F = S*Y1*A2*M2^4*P2*Q2^2*I3^2*Y3*J4^2,
S^(F^-1) = S*Y1^4*A2^2*M2^2*P2^2*Q2^2*I3^2*Y3*J4,
S^G = S*A3^2*W3,
S^(G^-1) = S*A3*W3^2,
S^H = S*M4,
S^(H^-1) = S*M4^2,
S^I = S,
S^(I^-1) = S,
S^J = S*W3,
S^K = S*W3^2,
S^(K^-1) = S*W3,
S^L = S,
S^(L^-1) = S,
S^M = S,
S^N = S,
S^(N^-1) = S,
S^O = S,
S^P = S,
S^Q = S,
S^R = S,
T^A =: T*C1,
T^(A^-1) = T*C1^-1*N1*Y1^4*M2*Q2*I3*Y3,
T^B = T*E1^2*P1^2*Z1^2*B2*Q2*Y2*C3*P3*S3*T3*Z3*G4*K4*N4*O4^2*Q4*R4^2,
T^(B^-1) = T*E1*L1*P1^2*X1*Z1^-6*B2*K2*N2*Y2^2*Z2*F3*O3^2*P3^2*Q3*S3*T3*V3^2*Y3*Z3*G4^2*N4^2*Q4^2*S4,
T^C = T*F1*Q1*R1^2*D2*E2^2*F2*I2*S2*T2*V2^2*W2*A3*B3*D3*L3*N3^2*P3^2*R3*S3^2*T3*W3*Z3*A4*B4*J4*K4^2*N4*P4^2*R4*S4*T4^2*U4,
T^(C^-1) = T*F1^2*M1*Q1^2*R1*C2*D2*E2*F2^2*I2^2*T2^2*U2^2*V2^2*W2^2*X2*A3^2*B3^2*D3*L3^2*M3*P3*Q3*S3*T3^2*W3^2*X3*Z3*A4*B4*H4*K4*L4^2*M4^2*P4^2*R4*S4^2*T4*U4^2,
T^D = T*P1*X1*Z1^-3*B2^2*K2*N2^2*R2^2*Z2^2*F3^2*J3^2*O3*Q3^2*T3^2*U3^2*V3*Y3*Z3*E4*K4^2*L4^2*O4^2*T4^2,
T^(D^-1) = T*P1^2*X1*Z1^2*B2*K2*N2*Z2^2*C3*F3*J3^2*O3^2*Q3*T3*U3*V3^2*Y3*K4*L4*O4*R4^2*S4^2*T4,
T^E = T*Q1^2*R1^2*C2^2*D2^2*E2*F2^2*T2^2*V2*W2^2*X2*B3^2*L3^2*P3*R3^2*S3^2*T3*W3^2*X3^2*Z3*H4^2*K4*M4^2*P4^2*Q4^2*R4*S4^2*T4,
T^(E^-1) = T*Q1*R1*C2*D2*E2^2*F2*T2*V2^2*W2*X2*B3*L3*P3^2*R3*S3^2*T3^2*W3*X3*Z3*H4*K4^2*M4*R4^2*S4*T4^2,
T^F = T*Z1*Q2*R2^2*I3^2*E4^2*L4*S4*T4,
T^(F^-1) = T*Z1^-1*Q2^2*R2*I3*L4^2,
T^G = T*D2*O2*B3*D3*G3^2*H3*K3*L3^2*N3^2*W3^2*X3*A4*C4*D4*G4*H4^2*J4*K4*M4*N4*U4^2,
T^(G^-1) = T*D2^2*O2^2*B3^2*D3*G3*H3^2*K3^2*L3*N3*X3^2*A4*B4^2*C4^2*D4^2*G4^2*H4*J4^2*K4^2*M4^2*N4^2*U4,
T^H = T*E2*T2*U2*V2*W2*L3^2*M3*N3*P3^2*C4^2*D4^2*H4*K4^2*N4^2*Q4^2*S4*T4^2,
T^(H^-1) = T*E2^2*T2^2*U2^2*V2^2*W2^2*L3*M3^2*N3^2*P3*C4*D4*H4^2*K4*N4*S4,
T^I = T*O2^2*S2*H3^2*K3^2*L3*N3^2*W3*X3^2*G4^2*J4*K4^2*N4,
T^(I^-1) = T*O2*S2^2*H3*K3*L3^2*N3*W3*X3*G4*J4^2*K4*N4^2,
T^J = T*T2^2*V2*H3*K3*M3*Z3*C4^2*F4*H4^2*I4^2*J4^2*N4*U4,
T^K = T*T2*V2^2*H3^2*K3*L3*M3*N3^2*C4^2*D4^2*G4*I4^2*N4^2*U4^2,
T^(K^-1) = T*T2^2*V2*H3*K3^2*L3^2*M3^2*N3*C4*D4*G4^2*I4*N4*U4,
T^L = T*H3^2*K3^2*L3^2*M3^2*N3^2*H4^2*I4*J4*K4^2,
T^(L^-1) = T*H3*K3*L3*M3*N3*H4*I4^2*J4^2*K4,
T^M = T*H3^2*K3*M3*N3*C4^2*D4*F4^2*G4*H4*I4^2*J4*K4^2,
T^N = T*H3*K3^2*M3^2*N3^2*G4^2*H4^2*I4*J4*K4,
T^(N^-1) = T*H3^2*K3*M3*N3*G4*H4*I4^2*J4^2*K4^2,
T^O = T*P3*K4^2,
T^P = T*C4*D4^2*F4*J4,
T^Q = T,
T^R = T,
T^S = T,
T^(S^-1) = T,
U^A =: U*D1,
U^(A^-1) = U*D1^2*K1*N1^-2*O1*V1*Y1^2*H2^2*J2*M2*I3,
U^B =: U*E1,
U^(B^-1) = U*E1^2*L1*P1*X1*Z1^-4*B2^2*K2*N2*Q2*R2*Z2*C3*F3*J3*O3^2*Q3*S3^2*T3^2*Y3*E4^2*K4*O4^2*T4^2,
U^C = U*F1*M4^2*P4^2*R4,
U^(C^-1) = U*F1^2*M1*C2*D2^2*S2*U2^2*V2*X2*M3*N3^2*Q3*X3*H4*J4*L4^2*M4*N4*P4^2*R4,
U^D = U*P1*X1*Z1^-1*K2*Y2*Z2^2*F3*J3*P3*S3*T3*U3*V3*Z3*K4^2*L4*O4^2*Q4*R4,
U^(D^-1) = U*P1^2*X1*K2*Q2*R2^2*Y2^2*Z2^2*C3*F3^2*P3^2*S3^2*T3^2*U3^2*V3^2*Y3*E4*K4*L4^2*O4*Q4^2*R4*S4*T4,
U^E = U*R1*C2^2*O2*X2*B3^2*D3*G3^2*H3*K3*L3^2*R3^2*S3*T3^2*W3*X3^2*A4*C4^2*F4*G4*H4^2*I4^2*K4*M4^2*P4^2*Q4^2*R4*U4,
U^(E^-1) = U*R1^2*C2*O2^2*X2*B3*D3*G3*H3^2*K3^2*L3*T3*W3*X3*A4*B4^2*C4*F4^2*G4^2*H4*I4^2*K4^2*M4^2*R4^2*U4^2,
U^F = U*B2*N2^2*C3*J3*T3^2*V3*Y3*Z3*E4^2*L4^2*R4^2*T4^2,
U^(F^-1) = U*B2^2*N2*Q2^2*C3*J3^2*T3*V3*Z3*E4^2*L4*R4*T4,
U^G = U*D2*O2^2*S2^2*B3*D3*G3*H3^2*K3^2*L3*W3*A4*B4^2*C4*F4^2*G4^2*K4^2*M4*U4^2,
U^(G^-1) = U*D2^2*O2*S2*B3^2*D3*G3^2*H3*K3*L3^2*W3*A4*C4^2*F4*G4*K4*M4^2*U4,
U^H = U*F2*T2*U2*V2^2*H3^2*K3*L3*N3^2*D4^2*F4*G4*H4*I4^2*Q4*S4^2*T4,
U^(H^-1) = U*F2^2*T2^2*U2^2*V2*H3*K3^2*L3^2*N3*D4*F4^2*G4^2*H4^2*I4*T4,
U^I = U*G3*W3*X3^2*B4*D4*F4*H4^2,
U^(I^-1) = U*G3^2*W3^2*X3*B4^2*D4^2*F4^2*H4,
U^J = U*V2^2*H3^2*L3*M3*N3*Z3*C4*D4^2*F4^2*G4^2*H4*J4^2*K4^2*N4^2*U4^2,
U^K = U*V2*H3*K3^2*M3*N3*C4*D4^2*F4^2*G4^2*H4^2*I4*K4*N4*U4,
U^(K^-1) = U*V2^2*H3^2*K3*M3^2*N3^2*C4^2*D4*F4*G4*H4*I4^2*K4^2*N4^2*U4^2,
U^L = U*K3*L3^2*M3*N3*C4*F4^2*G4^2*H4^2*I4^2*J4,
U^(L^-1) = U*K3^2*L3*M3^2*N3^2*C4^2*F4*G4*H4*I4*J4^2,
U^M = U*D4*F4*H4*J4,
U^N = U*D4^2*F4*J4,
U^(N^-1) = U*D4*F4^2*J4^2,
U^O = U*O3^2*P3^2*Q3*G4^2*L4^2*N4^2,
U^P = U*F4*H4^2*J4,
U^Q = U,
U^R = U*G4*K4^2*L4^2*N4,
U^S = U,
U^(S^-1) = U,
U^T = U*G4^2*K4*L4*N4^2,
U^(T^-1) = U*G4*K4^2*L4^2*N4,
V^A =: V*F1,
V^(A^-1) = V*F1^2*M1*C2*D2^2*I2^2*U2^2*V2*M3*Q3*W3^2*X3*H4*L4^2*P4*R4^2,
V^B =: V*G1,
V^(B^-1) = V*G1^2*S1,
V^C = V*G2,
V^(C^-1) = V*G2^2*U4,
V^D = V*Q1^2*R1*C2^2*E2*F2^2*T2^2*U2*W2^2*B3^2*L3^2*M3^2*P3*Q3^2*X3^2*H4^2*K4*L4,
V^(D^-1) = V*Q1*R1^2*C2*E2^2*F2*U2^2*V2^2*W2*B3*M3^2*N3*O3*P3*X3*C4^2*D4^2*H4*J4^2*K4*L4^2*N4^2,
V^E = V*G2^2*U4,
V^(E^-1) = V*G2,
V^F = V*C2*D2*S2*U2^2*B3^2*L3^2*M3^2*N3^2*O3^2*P3^2*Q3^2*W3*X3^2*C4*D4*H4*J4^2*K4,
V^(F^-1) = V*C2^2*D2^2*S2^2*U2*B3*L3*M3*N3*O3*P3*Q3*W3^2*X3*C4^2*D4^2*J4^2*K4^2,
V^G = V,
V^(G^-1) = V,
V^H = V*G2,
V^(H^-1) = V*G2^2*U4,
V^I = V*I4,
V^(I^-1) = V*I4^2,
V^J = V,
V^K = V,
V^(K^-1) = V,
V^L = V*I4^2,
V^(L^-1) = V*I4,
V^M = V*I4,
V^N = V,
V^(N^-1) = V,
V^O = V*R3^2*S3*T3^2*M4*P4^2*R4*S4^2*T4,
V^P = V*I4^2,
V^Q = V,
V^R = V*M4^2*P4^2*R4,
V^S = V,
V^(S^-1) = V,
V^T = V*M4*P4*R4^2,
V^(T^-1) = V*M4^2*P4^2*R4,
V^U = V*M4*P4*R4^2,
W^A = W*V1*Y1^2*A2^2*H2*J2*M2^3*P2^2*Q2^2*C3*I3^2*V3^2*Y3*J4^2,
W^(A^-1) = W*V1*A2*H2*M2^4*Q2^2*C3*I3*Y3*J4^2,
W^B =: W*H1,
W^(B^-1) = W*H1^2*I1*K1*N1^-5*O1*T1*V1*X1*Z1^-4*A2^2*B2*H2^2*J2*K2*M2^2*P2*Z2^2*C3*F3^2*I3*M3^2*T3^2*V3*Y3*H4^2*L4^2*R4^2,
W^C = W,
W^(C^-1) = W,
W^D = W*T1*N2*Z2*C3*F3*I3^2*J3^2*Z3*E4^2*S4^2*T4^2,
W^(D^-1) = W*T1^2*V1*Y1^3*A2*H2*J2*M2^2*N2^2*Q2^2*Z2*D3*F3*I3*J3*V3^2*Y3*B4*E4^2*J4^2*S4^2*T4^2,
W^E = W*U1^2*S2^2*A3^2*D3*H3^2*K3^2*L3*N3*W3*X3*A4*B4*G4^2*J4^2*K4^2*N4^2,
W^(E^-1) = W*U1*S2*H3*K3*L3^2*N3^2*W3^2*X3^2*Z3*G4*I4*J4*K4*N4,
W^F = W*H2*F3*I3*Y3*E4^2,
W^(F^-1) = W*H2^2*J2*M2^3*P2*F3^2*I3*E4,
W^G = W*I2^2*D3*B4*D4^2*F4^2*H4,
W^(G^-1) = W*I2*D3*B4*D4*F4*H4^2,
W^H = W*O2^2*H3*K3*X3^2*B4^2*G4^2*I4*K4*N4,
W^(H^-1) = W*O2*H3^2*K3^2*W3^2*X3*B4*G4*I4^2*K4^2*N4^2,
W^I = W*A3^2,
W^(I^-1) = W*A3,
W^J = W*D3*G3*X3*D4^2*F4^2,
W^K = W*G3^2*D4*F4,
W^(K^-1) = W*G3*D4^2*F4^2,
W^L = W*X3^2*B4^2,
W^(L^-1) = W*X3*B4,
W^M = W*B4,
W^N = W*B4^2,
W^(N^-1) = W*B4,
W^O = W*F4^2*H4,
X^A = X*V1*Y1*H2*J2*M2*P2*Q2^2*C3*I3*V3*Y3*J4^2,
X^(A^-1) = X*V1*Y1*H2*M2^4*P2^2*Q2^2*C3*V3*J4^2,
X^B = X*I1*K1*N1*O1^2*T1*V1*X1*Y1^3*Z1*A2^2*H2^2*K2*P2*Q2^2*Z2^2*C3*D3*I3*M3^2*V3*Z3*B4*H4^2*L4^2*S4^2*T4^2,
X^(B^-1) = X*I1*K1*N1^-5*O1*T1*V1*X1*Z1*A2^2*H2^2*J2*K2*M2^2*P2*Q2^2*Z2^2*C3*I3^2*M3^2*V3*Y3*Z3*H4^2*L4^2*S4,
X^C = X,
X^(C^-1) = X,
X^D = X*V1*Y1^4*A2^2*H2*J2*Q2^2*C3*D3*I3*V3*Y3*B4*J4^2,
X^(D^-1) = X*V1*Y1^3*A2*H2*J2*M2^2*C3*D3*V3*Y3*B4*J4^2,
X^E = X*A3^2*D3*W3*A4*B4,
X^(E^-1) = X*A3*D3*W3^2*A4*B4,
X^F = X*J2*M2^4*P2^2*I3^2,
X^(F^-1) = X*J2*M2^3*P2,
X^G = X*D3*B4,
X^(G^-1) = X*D3*B4,
X^H = X*W3^2,
X^(H^-1) = X*W3,
X^I = X,
X^(I^-1) = X,
X^J = X*D3*B4,
X^K = X,
X^(K^-1) = X,
X^L = X,
X^(L^-1) = X,
X^M = X,
X^N = X,
X^(N^-1) = X,
X^O = X,
Y^A =: Y*I1,
Y^(A^-1) = Y*I1*N1^-3*T1^2*V1*Y1^4*M2^3*P2*Q2*C3*D3*M3*V3*Y3*B4*H4*L4*T4^2,
Y^B = Y*X1*Z1^3*B2^2*K2*Q2*Z2^2*E3*F3*O3^2*Q3*T3*V3^2*Y3*C4*K4*L4^2*O4^2,
Y^(B^-1) = Y*X1*Z1^-4*B2*K2*Z2^2*C3*E3*F3^2*O3*Q3^2*T3^2*V3^2*Y3*Z3*C4*K4^2*L4*O4,
Y^C =: Y*J1,
Y^(C^-1) = Y*J1*U1^2*D3*W3^2*Z3*A4*B4*M4*U4^2,
Y^D = Y*X1*Z1^-2*K2*N2*Q2^2*C3*F3*I3*J3^2*Y3*E4^2*L4^2*S4^2*T4^2,
Y^(D^-1) = Y*X1*Z1*K2*N2^2*Q2*Z2*C3*F3^2*I3^2*J3*V3^2*Z3*L4,
Y^E = Y*W1*O2*S2*D3*H3*L3*N3^2*W3*A4*B4^2*J4*K4^2*M4*N4,
Y^(E^-1) = Y*W1*O2*D3*K3^2*L3^2*W3^2*X3*Z3*A4*B4^2*G4^2*I4*K4*M4^2,
Y^F = Y*K2*Q2^2*I3^2*E4*S4^2*T4^2,
Y^(F^-1) = Y*K2*Q2*Z2^2*I3*E4^2*S4*T4,
Y^G = Y*L2*B3*D3*G3^2*W3^2*X3*C4*D4*F4^2*H4,
Y^(G^-1) = Y*L2*B3^2*D3*W3*X3^2*B4^2*C4^2*H4^2,
Y^H = Y*H3*Z3*G4^2*K4*N4,
Y^(H^-1) = Y*H3^2*Z3*G4*K4^2*N4^2,
Y^I = Y*W3*X3^2*B4^2,
Y^(I^-1) = Y*W3^2*X3*B4,
Y^J = Y*E3*Z3*F4*H4^2,
Y^K = Y*C4*F4^2*H4,
Y^(K^-1) = Y*C4^2*F4*H4^2,
Y^L = Y,
Y^(L^-1) = Y,
Y^M = Y,
Y^N = Y,
Y^(N^-1) = Y,
Y^O = Y,
Z^A =: Z*K1,
Z^(A^-1) = Z*K1*N1^-1*Y1^4*A2*H2^2*J2*M2*Q2^2*I3*J4^2,
Z^B =: Z*L1,
Z^(B^-1) = Z*L1*P1^2*X1*Z1^-3*B2*N2^2*R2*Z2*C3*E3*F3^2*O3*Q3^2*T3*U3^2*C4*E4*K4^2*O4^2*R4*S4^2,
Z^C = Z*M1,
Z^(C^-1) = Z*M1*C2^2*D2*S2^2*U2*V2^2*M3^2*N3*Q3^2*X3^2*H4^2*J4^2*L4*N4^2*P4*R4,
Z^D = Z*X1*Z1^-1*B2^2*R2^2*Z2^2*F3^2*V3*Y3*L4^2*S4*T4^2,
Z^(D^-1) = Z*X1*B2*Q2*R2*C3*F3*Z3*E4^2*L4*S4,
Z^E = Z*C2*D2^2*O2*U2^2*V2*H3*K3*L3^2*M3*Q3*W3^2*X3*G4*H4*I4^2*K4*L4^2*M4^2*R4^2*U4^2,
Z^(E^-1) = Z*C2^2*D2*O2^2*U2*V2^2*H3^2*K3^2*L3*M3^2*Q3^2*X3^2*G4^2*H4^2*I4^2*K4^2*L4*M4*P4^2*R4*U4,
Z^F = Z*N2^2*Q2*F3*I3*J3*V3^2*Y3*Z3*E4^2,
Z^(F^-1) = Z*N2*Q2*F3^2*I3*J3^2*V3*Y3*Z3*E4,
Z^G = Z*O2^2*S2*H3^2*K3^2*L3*N3^2*A4*G4^2*J4*K4^2*N4,
Z^(G^-1) = Z*O2*S2^2*H3*K3*L3^2*N3*W3^2*A4*G4*J4^2*K4*N4^2,
Z^H = Z*T2*U2^2*V2^2*H3^2*K3*L3*M3^2*N3^2*Q3^2*C4*D4*G4*H4^2*I4^2*L4*U4^2,
Z^(H^-1) = Z*T2^2*U2*V2*H3*K3^2*L3^2*M3*N3*Q3*C4^2*D4^2*G4^2*H4*I4*L4^2*U4,
Z^I = Z*G3*B4^2*D4*F4*H4^2,
Z^(I^-1) = Z*G3^2*B4*D4^2*F4^2*H4,
Z^J = Z*H3^2*K3*M3^2*N3*C4^2*D4*G4*H4*I4^2*J4*K4^2,
Z^K = Z*H3*K3^2*M3*N3^2*G4^2*H4*I4*J4^2*K4,
Z^(K^-1) = Z*H3^2*K3*M3^2*N3*G4*H4^2*I4^2*J4*K4^2,
Z^L = Z*C4*F4^2*H4*J4^2,
Z^(L^-1) = Z*C4^2*F4*H4^2*J4,
Z^M = Z*D4*F4^2*J4^2,
Z^N = Z*D4^2*F4*J4,
Z^(N^-1) = Z*D4*F4^2*J4^2,
Z^O = Z*G4*K4^2*L4*N4,
A1^A =: A1*M1,
A1^(A^-1) = A1*M1*C2^2*D2*S2*U2*V2^2*M3^2*N3^2*Q3^2*W3^2*X3^2*H4^2*J4*L4*N4*P4^2*R4,
A1^B = A1*Q1^2*W1*E2^2*F2*T2^2*U2*V2^2*W2*B3^2*N3^2*O3*P3*Q3*W3^2*C4*D4*H4^2*K4^2*N4*O4^2*Q4^2*S4*T4^2,
A1^(B^-1) = A1*Q1*W1*E2^2*O2^2*S2*T2^2*U2^2*V2^2*W2*B3*K3^2*M3^2*N3*P3^2*Q3^2*W3*X3*B4^2*C4*D4*G4*H4^2*J4*K4*L4*N4*Q4*S4^2*T4,
A1^C = A1*X2^2*R3^2*A4*M4*P4,
A1^(C^-1) = A1*X2*R3*A4*M4^2*P4^2,
A1^D = A1*C2^2*L2*T2^2*U2*E3*L3*N3*P3*Q3^2*X3^2*D4*H4*J4*N4,
A1^(D^-1) = A1*C2*L2*T2*U2^2*E3*G3^2*N3*P3^2*Q3*X3*C4^2*F4^2*H4*J4*K4*N4,
A1^E = A1*X2*R3*A4*M4^2*P4^2,
A1^(E^-1) = A1*X2^2*R3^2*A4*M4*P4,
A1^F = A1*S2^2*D3*L3^2*M3*N3^2*Z3*H4^2*K4^2*L4^2,
A1^(F^-1) = A1*S2*D3*L3*M3^2*N3*Z3*B4^2*H4*K4*L4,
A1^G = A1,
A1^(G^-1) = A1,
A1^H = A1*X2^2*R3^2*I4^2*M4*P4,
A1^(H^-1) = A1*X2*R3*I4*M4^2*P4^2,
A1^I = A1*I4,
A1^(I^-1) = A1*I4^2,
A1^J = A1*A4*I4,
A1^K = A1,
A1^(K^-1) = A1,
A1^L = A1*I4^2,
A1^(L^-1) = A1*I4,
A1^M = A1,
A1^N = A1,
A1^(N^-1) = A1,
A1^O = A1*M4*P4^2*R4,
B1^A = B1*Y3,
B1^(A^-1) = B1*Y3,
B1^B = B1*N1^6*O1*Y1^3*Z1^3*J2*Q2*D3*Y3*B4*S4*T4^2,
B1^(B^-1) = B1*N1^-6*O1^2*Y1^3*Z1^3*M2^4*P2^2*Q2^2*Y3*S4^2*T4,
B1^C = B1,
B1^(C^-1) = B1,
B1^D = B1*Y1*A2*M2^3*Q2^2*I3^2*Y3,
B1^(D^-1) = B1*Y1^4*A2^2*M2^3*Q2^2*Y3,
B1^E = B1*A3*W3^2,
B1^(E^-1) = B1*A3^2*W3,
B1^F = B1*M2*P2*I3^2,
B1^(F^-1) = B1*M2^4*P2^2*I3^2,
B1^G = B1,
B1^(G^-1) = B1,
B1^H = B1*W3,
B1^(H^-1) = B1*W3^2,
B1^I = B1,
B1^(I^-1) = B1,
B1^J = B1,
B1^K = B1,
B1^(K^-1) = B1,
B1^L = B1,
B1^(L^-1) = B1,
B1^M = B1,
B1^N = B1,
B1^(N^-1) = B1,
B1^O = B1,
C1^A =: C1*N1,
C1^(A^-1) = C1*N1^-1*Y1*M2^4*I3,
C1^B = C1*P1*X1*Z1^3*B2^2*K2*N2^2*Z2^2*F3^2*I3^2*O3^2*Q3*T3^2*V3^2*Z3*K4*L4*O4^2*R4,
C1^(B^-1) = C1*P1^2*X1*Z1^-4*B2*K2*N2*R2*Z2^2*C3*F3*I3*J3*O3*Q3^2*T3*U3*V3*E4^2*K4^2*L4^2*R4*T4,
C1^C = C1*C2*D2^2*I2^2*S2^2*U2^2*V2*M3*N3*Q3*W3*X3*H4*J4^2*L4^2*N4^2*P4*R4^2,
C1^(C^-1) = C1*C2^2*D2*I2*S2*U2*V2^2*M3^2*N3^2*Q3^2*W3^2*X3^2*H4^2*J4*L4*N4*R4,
C1^D = C1*Z1^-1*B2*N2*Q2*R2*C3*F3^2*I3*J3^2*V3*Y3*Z3*E4^2*L4*S4,
C1^(D^-1) = C1*Z1*B2^2*N2^2*Q2*R2^2*C3*F3*I3*J3*V3*Z3*E4*L4^2*S4^2,
C1^E = C1*C2^2*D2*O2*U2*V2^2*B3^2*D3*G3^2*H3*K3*L3^2*M3^2*Q3^2*W3*X3^2*A4*C4^2*F4*G4*H4^2*I4^2*K4*L4*M4*R4*U4,
C1^(E^-1) = C1*C2*D2^2*O2^2*U2^2*V2*B3*D3*G3*H3^2*K3^2*L3*M3*Q3*W3*X3*A4*B4^2*C4*F4^2*G4^2*H4*I4^2*K4^2*L4^2*M4^2*P4*R4^2*U4^2,
C1^F = C1*N2*I3*J3^2,
C1^(F^-1) = C1*N2^2*Q2^2*I3^2*J3*Y3,
C1^G = C1*O2*S2^2*G3^2*H3*K3*L3^2*N3*X3^2*B4^2*D4^2*F4^2*G4*H4*J4^2*K4*N4^2,
C1^(G^-1) = C1*O2^2*S2*G3*H3^2*K3^2*L3*N3^2*W3^2*X3*B4*D4*F4*G4^2*H4^2*J4*K4^2*N4,
C1^H = C1*T2^2*U2*V2*H3^2*K3*L3^2*M3*N3*Q3*C4*F4*G4*I4^2*K4*L4^2*N4*U4,
C1^(H^-1) = C1*T2*U2^2*V2^2*H3*K3^2*L3*M3^2*N3^2*Q3^2*C4^2*F4^2*G4^2*I4*K4^2*L4*N4^2*U4^2,
C1^I = C1*G3^2*D4^2*F4^2*H4,
C1^(I^-1) = C1*G3*D4*F4*H4^2,
C1^J = C1*H3*K3^2*M3*N3^2*C4*D4*F4*G4^2*H4^2*I4*J4^2*K4,
C1^K = C1*H3^2*K3*M3^2*N3*D4*F4^2*G4*H4^2*I4^2*J4*K4^2,
C1^(K^-1) = C1*H3*K3^2*M3*N3^2*D4^2*F4*G4^2*H4*I4*J4^2*K4,
C1^L = C1*C4^2*F4*H4^2*J4,
C1^(L^-1) = C1*C4*F4^2*H4*J4^2,
C1^M = C1*D4^2*F4*J4,
C1^N = C1*D4*F4^2*J4^2,
C1^(N^-1) = C1*D4^2*F4*J4,
C1^O = C1*G4^2*K4*L4^2*N4^2,
D1^A =: D1*O1,
D1^(A^-1) = D1*O1^2*Y1*A2*J2*M2^4*P2*Q2^2*D3*I3*Y3*B4,
D1^B = D1*X1*K2*N2*Q2*Y2^2*Z2^2*C3*F3*P3^2*S3^2*Y3*K4*Q4^2,
D1^(B^-1) = D1*X1*Z1^-1*K2*N2^2*Q2^2*R2*Y2*Z2^2*F3^2*J3*P3*S3*U3^2*V3*Y3*Z3*E4^2*K4^2*O4*Q4*S4^2,
D1^C = D1*I2^2*S2^2*A3^2*N3*W3^2*J4^2*N4^2,
D1^(C^-1) = D1*I2*S2*A3*N3^2*W3*J4*N4,
D1^D = D1*N2^2*Q2^2*F3*J3*T3^2*Y3*L4^2*R4^2*S4^2*T4,
D1^(D^-1) = D1*N2*F3^2*I3^2*J3^2*T3*E4*L4*R4*S4^2,
D1^E = D1*O2*B3^2*D3*G3^2*H3*K3*L3^2*A4*C4^2*F4*G4*I4^2*K4*M4*U4,
D1^(E^-1) = D1*O2^2*B3*D3*G3*H3^2*K3^2*L3*W3^2*A4*B4^2*C4*F4^2*G4^2*I4^2*K4^2*M4^2*U4^2,
D1^F = D1*Q2*F3^2*Y3*E4,
D1^(F^-1) = D1*Q2^2*F3*I3^2*Y3*E4^2,
D1^G = D1*G3*W3*X3^2*B4^2*D4*F4*H4^2,
D1^(G^-1) = D1*G3^2*W3^2*X3*B4*D4^2*F4^2*H4,
D1^H = D1*H3^2*K3*C4^2*D4*F4*G4*H4^2*I4^2*K4^2*N4^2*U4^2,
D1^(H^-1) = D1*H3*K3^2*C4*D4^2*F4^2*G4^2*H4*I4*K4*N4*U4,
D1^I = D1*B4,
D1^(I^-1) = D1*B4^2,
D1^J = D1*D4*F4^2,
D1^K = D1*D4^2*F4,
D1^(K^-1) = D1*D4*F4^2,
D1^L = D1,
D1^(L^-1) = D1,
D1^M = D1,
D1^N = D1,
D1^(N^-1) = D1,
D1^O = D1,
E1^A =: E1*P1,
E1^(A^-1) = E1*P1^2*B2*Q2^2*I3*V3^2*R4^2,
E1^B = E1*R2*J3*E4^2*T4^2,
E1^(B^-1) = E1*R2^2*J3^2*E4*T4,
E1^C = E1*Q1*R1^2*C2*E2^2*F2*O2^2*T2*U2^2*W2*B3*D3*G3*L3*M3*P3^2*Q3*R3*S3^2*T3*W3*X3*Z3*A4*B4^2*H4*K4^2*L4^2*M4*P4*R4^2*S4*T4^2*U4^2,
E1^(C^-1) = E1*Q1^2*R1*C2^2*E2*F2^2*O2*T2^2*U2*W2^2*B3^2*D3*G3^2*L3^2*M3^2*P3*Q3^2*S3*T3^2*W3*X3^2*Z3*A4*H4^2*I4^2*K4*L4*M4*R4*S4^2*T4*U4,
E1^D = E1*J3^2*U3^2*O4,
E1^(D^-1) = E1*J3*U3*O4^2,
E1^E = E1*E2*F2^2*T2^2*U2*W2^2*H3^2*K3^2*M3^2*P3*Q3^2*R3*Z3*C4*F4^2*G4^2*I4*L4*M4^2*P4*Q4*S4^2*T4,
E1^(E^-1) = E1*E2^2*F2*T2*U2^2*W2*H3*K3*M3*P3^2*Q3*R3*Z3*C4^2*F4*G4*I4^2*L4^2*M4^2*P4*S4*T4^2,
E1^F = E1*R2*J3^2*E4*T4,
E1^(F^-1) = E1*R2^2*J3*E4^2*T4^2,
E1^G = E1*T2*V2*L3*M3^2*N3^2*O3*P3^2*Q3^2*C4^2*F4*J4*K4*N4*O4^2*U4,
E1^(G^-1) = E1*T2^2*V2^2*L3^2*M3*N3*O3^2*P3*Q3*C4*F4^2*J4^2*K4^2*N4^2*O4*U4^2,
E1^H = E1*W2*P3^2*Q3*G4*K4*L4^2*N4,
E1^(H^-1) = E1*W2^2*P3*Q3^2*G4^2*K4^2*L4*N4^2,
E1^I = E1*K3^2*L3*M3^2*N3^2*F4*G4^2*H4*I4*J4^2*K4^2*L4^2*N4,
E1^(I^-1) = E1*K3*L3^2*M3*N3*F4^2*G4*H4^2*I4^2*J4*K4*L4*N4^2,
E1^J = E1*O3^2*P3*Q3*O4,
E1^K = E1*O3*P3^2*Q3^2*O4^2,
E1^(K^-1) = E1*O3^2*P3*Q3*O4,
E1^L = E1*G4^2*K4*L4*N4^2,
E1^(L^-1) = E1*G4*K4^2*L4^2*N4,
E1^M = E1*G4^2*K4*L4*N4^2,
E1^N = E1*G4*K4^2*L4^2*N4,
E1^(N^-1) = E1*G4^2*K4*L4*N4^2,
E1^O = E1*O4,
F1^A = F1*I2^2*S2^2*A3^2*N3*W3^2*J4^2*N4^2,
F1^(A^-1) = F1*I2*S2*N3^2*W3*J4*N4,
F1^B =: F1*Q1,
F1^(B^-1) = F1*Q1^2*E2^2*F2^2*T2^2*V2^2*L3*M3*N3^2*C4^2*D4^2*H4*K4^2*N4^2,
F1^C = F1*X2,
F1^(C^-1) = F1*X2^2,
F1^D = F1*C2*U2^2*V2^2*B3*L3^2*M3^2*N3^2*O3*P3*X3*C4^2*D4^2*H4^2*L4^2,
F1^(D^-1) = F1*C2^2*U2*V2*B3^2*M3*N3^2*O3^2*P3^2*X3^2*C4*D4*H4^2*J4*K4^2*L4*N4,
F1^E = F1*X2^2*I4,
F1^(E^-1) = F1*X2*I4^2,
F1^F = F1*S2*N3^2*W3^2*X3^2*H4^2*J4^2*N4,
F1^(F^-1) = F1*S2^2*N3*W3*X3*H4*J4*N4^2,
F1^G = F1*I4^2,
F1^(G^-1) = F1*I4,
F1^H = F1*X2,
F1^(H^-1) = F1*X2^2,
F1^I = F1,
F1^(I^-1) = F1,
F1^J = F1*I4^2,
F1^K = F1,
F1^(K^-1) = F1,
F1^L = F1*I4,
F1^(L^-1) = F1*I4^2,
F1^M = F1,
F1^N = F1,
F1^(N^-1) = F1,
F1^O = F1*M4^2*P4*R4^2,
G1^A =: G1*R1,
G1^(A^-1) = G1*R1^2*D2*W3,
G1^B =: G1*S1,
G1^(B^-1) = G1*S1^2,
G1^C = G1*G2^2,
G1^(C^-1) = G1*G2*U4^2,
G1^D = G1*E2^2*F2*T2*U2^2*W2*M3*P3^2*Q3*L4^2,
G1^(D^-1) = G1*E2*F2^2*T2^2*U2*W2^2*M3^2*O3*Q3*L4*O4,
G1^E = G1*G2^2*Y2*U4^2,
G1^(E^-1) = G1*G2*Y2^2*U4,
G1^F = G1*T2*U2*V2*M3*N3*O3^2*K4^2*L4*O4^2,
G1^(F^-1) = G1*T2^2*U2^2*V2^2*M3^2*N3^2*O3*K4*L4^2*O4,
G1^G = G1*R3*S3^2*T3*M4^2*P4*Q4*R4^2,
G1^(G^-1) = G1*R3^2*S3*T3^2*M4*P4^2*Q4^2*R4,
G1^H = G1*Y2,
G1^(H^-1) = G1*Y2^2,
G1^I = G1*I4*M4^2*P4^2*R4,
G1^(I^-1) = G1*I4^2*M4*P4*R4^2,
G1^J = G1*R3^2*S3*T3^2*M4*P4^2*Q4^2*R4,
G1^K = G1*R3*S3^2*T3*M4^2*P4*Q4*R4^2,
G1^(K^-1) = G1*R3^2*S3*T3^2*M4*P4^2*Q4^2*R4,
G1^L = G1*M4*P4*R4^2,
G1^(L^-1) = G1*M4^2*P4^2*R4,
G1^M = G1*M4*P4*R4^2,
G1^N = G1*M4^2*P4^2*R4,
G1^(N^-1) = G1*M4*P4*R4^2,
G1^O = G1*Q4^2*S4*T4^2,
H1^A =: H1*T1,
H1^(A^-1) = H1*T1^2*V1*Y1^3*A2*H2^2*J2*M2^2*C3*D3*V3*Y3*Z3*B4*J4^2,
H1^B = H1*Z1*B2*F3^2*T3^2*Z3*R4^2,
H1^(B^-1) = H1*Z1^-1*B2^2*F3*I3^2*T3*Z3*R4,
H1^C =: H1*U1,
H1^(C^-1) = H1*U1^2*A3^2*D3*Z3*A4*B4,
H1^D = H1*K2*N2^2*F3^2*I3^2*J3*V3*Y3*Z3*E4*S4*T4,
H1^(D^-1) = H1*K2*N2*Q2^2*Z2^2*F3*J3^2*V3^2*Y3*Z3,
H1^E = H1*S2*H3*K3*L3^2*N3^2*W3^2*X3^2*Z3*G4*J4*K4*N4,
H1^(E^-1) = H1*S2^2*H3^2*K3^2*L3*N3*W3*X3*Z3*G4^2*I4^2*J4^2*K4^2*N4^2,
H1^F = H1*Z2*E4^2*S4*T4,
H1^(F^-1) = H1*Z2^2*C3*V3*Y3*E4*S4^2*T4^2,
H1^G = H1*B3^2*D3*G3^2*X3^2*B4^2*C4^2*D4*F4^2*H4^2,
H1^(G^-1) = H1*B3*D3*G3*X3*C4*D4^2*F4*H4,
H1^H = H1*H3^2*G4*K4^2*N4^2,
H1^(H^-1) = H1*H3*G4^2*K4*N4,
H1^I = H1*W3^2*X3*B4,
H1^(I^-1) = H1*W3*X3^2*B4^2,
H1^J = H1*Z3*C4*F4^2*H4,
H1^K = H1*C4^2*F4*H4^2,
H1^(K^-1) = H1*C4*F4^2*H4,
I1^A =: I1*V1,
I1^(A^-1) = I1*V1*Y1^2*H2^2*J2*M2^4*Q2*I3^2*J4,
I1^B = I1*X1*Z1*N2*Q2*Z2^2*C3*F3*I3^2*Y3*L4^2,
I1^(B^-1) = I1*X1*Z1^-2*N2^2*Q2^2*F3^2*I3*J3*V3*Y3*Z3*E4*L4*S4*T4,
I1^C = I1*I2^2,
I1^(C^-1) = I1*I2,
I1^D = I1*K2*Q2^2*Z2^2*F3*I3^2*V3^2*Z3*E4*S4*T4,
I1^(D^-1) = I1*K2*Q2*F3^2*V3*Y3*Z3*E4^2*S4^2*T4^2,
I1^E = I1*B3^2*G3^2*W3^2*A4*B4^2*C4^2*F4,
I1^(E^-1) = I1*B3*G3*W3*A4*B4*C4*F4^2,
I1^F = I1*C3*I3^2,
I1^(F^-1) = I1*C3*I3*V3^2,
I1^G = I1*D3*W3^2*X3^2,
I1^(G^-1) = I1*D3*W3*X3*B4^2,
I1^H = I1*C4^2*D4*F4*H4^2,
I1^(H^-1) = I1*C4*D4^2*F4^2*H4,
I1^I = I1,
I1^(I^-1) = I1,
I1^J = I1*Z3,
I1^K = I1,
I1^(K^-1) = I1,
J1^A = J1*I2^2,
J1^(A^-1) = J1*I2*A3^2,
J1^B =: J1*W1,
J1^(B^-1) = J1*W1*O2^2*S2*K3^2*L3*N3^2*X3*B4^2*G4*J4*K4,
J1^C = J1*A4,
J1^(C^-1) = J1*A4,
J1^D = J1*L2*B3*E3*W3^2*X3*D4*H4^2,
J1^(D^-1) = J1*L2*B3^2*E3*G3^2*W3*X3^2*C4^2*F4^2*H4,
J1^E = J1*A4,
J1^(E^-1) = J1*A4,
J1^F = J1*D3*W3^2*X3^2*Z3,
J1^(F^-1) = J1*D3*W3*X3*Z3*B4^2,
J1^G = J1,
J1^(G^-1) = J1,
J1^H = J1*I4^2,
J1^(H^-1) = J1*I4,
J1^I = J1,
J1^(I^-1) = J1,
J1^J = J1*A4,
J1^K = J1,
J1^(K^-1) = J1,
K1^A = K1*Y1^3*M2^2*P2*Q2^2*D3*I3*B4,
K1^(A^-1) = K1*Y1^2*M2*P2^2*Q2^2*D3*I3^2*Y3*B4,
K1^B =: K1*X1,
K1^(B^-1) = K1*X1*Z1^-1*Q2*R2*Z2^2*C3*I3*V3*Y3*Z3*E4*T4,
K1^C = K1*S2^2*N3*W3^2*J4^2*N4^2,
K1^(C^-1) = K1*S2*N3^2*W3*J4*N4,
K1^D = K1*N2^2*Q2*I3*J3*V3^2*Y3*E4^2*S4^2*T4^2,
K1^(D^-1) = K1*N2*Q2*I3^2*J3^2*V3*Y3*E4^2*S4^2*T4^2,
K1^E = K1*O2*H3*K3*L3^2*A4*G4*I4^2*K4,
K1^(E^-1) = K1*O2^2*H3^2*K3^2*L3*W3^2*A4*G4^2*I4^2*K4^2,
K1^F = K1*F3^2*I3*E4,
K1^(F^-1) = K1*F3*I3*E4^2,
K1^G = K1*G3*D4*F4*H4^2,
K1^(G^-1) = K1*G3^2*D4^2*F4^2*H4,
K1^H = K1*H3^2*K3*G4*I4^2*K4^2*N4^2,
K1^(H^-1) = K1*H3*K3^2*G4^2*I4*K4*N4,
K1^I = K1*B4,
K1^(I^-1) = K1*B4^2,
K1^J = K1*D4*F4^2,
K1^K = K1*D4^2*F4,
K1^(K^-1) = K1*D4*F4^2,
L1^A = L1*B2^2*N2^2*C3*F3^2*V3*Z3*L4^2,
L1^(A^-1) = L1*B2*N2*Q2*C3*I3*V3*Z3*L4,
L1^B = L1*R2*U3^2*E4*O4*S4^2,
L1^(B^-1) = L1*R2^2*U3*E4^2*O4^2*S4,
L1^C = L1*C2^2*D2*O2^2*U2*V2^2*M3^2*Q3^2*X3^2*H4^2*L4*M4*P4^2*R4,
L1^(C^-1) = L1*C2*D2^2*O2*U2^2*V2*M3*Q3*W3^2*X3*H4*I4^2*L4^2*M4^2*R4^2,
L1^D = L1*R2*S4^2*T4,
L1^(D^-1) = L1*R2^2*S4*T4^2,
L1^E = L1*T2*U2^2*V2^2*H3^2*K3^2*L3*M3^2*N3^2*O3*P3^2*C4*D4*G4^2*H4^2*I4*K4*L4*N4*O4^2*P4^2*U4,
L1^(E^-1) = L1*T2^2*U2*V2*H3*K3*L3^2*M3*N3*O3^2*P3*C4^2*D4^2*G4*H4*I4^2*K4^2*L4^2*N4^2*O4*P4^2*U4^2,
L1^F = L1*J3^2*S4^2*T4^2,
L1^(F^-1) = L1*J3*S4*T4,
L1^G = L1*K3^2*L3*M3*N3^2*C4*D4^2*G4^2*H4^2*I4*J4^2*K4^2*L4*N4,
L1^(G^-1) = L1*K3*L3^2*M3^2*N3*C4^2*D4*G4*H4*I4^2*J4*K4*L4^2*N4^2,
L1^H = L1*O3*P3^2*Q3*G4*K4*N4*O4^2,
L1^(H^-1) = L1*O3^2*P3*Q3^2*G4^2*K4^2*N4^2*O4,
L1^I = L1*F4*H4^2*J4,
L1^(I^-1) = L1*F4^2*H4*J4^2,
L1^J = L1*G4^2*K4*L4^2*N4^2,
L1^K = L1*G4*K4^2*L4*N4,
L1^(K^-1) = L1*G4^2*K4*L4^2*N4^2,
M1^A = M1*S2^2*N3*W3^2*J4^2*N4^2,
M1^(A^-1) = M1*S2*N3^2*W3*J4*N4,
M1^B = M1*T2*U2^2*V2^2*M3^2*N3^2*O3*P3^2*C4*D4*H4^2*K4^2*L4*N4*O4^2,
M1^(B^-1) = M1*T2^2*U2*V2*M3*N3*Q3*C4^2*D4^2*H4*K4^2*L4^2,
M1^C = M1*P4^2,
M1^(C^-1) = M1*P4,
M1^D = M1*L3*M3*N3^2*H4*J4^2*K4*L4^2*N4^2,
M1^(D^-1) = M1*L3^2*M3^2*N3*H4^2*J4*K4^2*L4*N4,
M1^E = M1*I4*P4,
M1^(E^-1) = M1*I4^2*P4^2,
M1^F = M1*H4^2*J4,
M1^(F^-1) = M1*H4*J4^2,
M1^G = M1*I4^2,
M1^(G^-1) = M1*I4,
M1^H = M1*P4^2,
M1^(H^-1) = M1*P4,
M1^I = M1,
M1^(I^-1) = M1,
M1^J = M1,
M1^K = M1,
M1^(K^-1) = M1,
N1^A =: N1*Y1,
N1^(A^-1) = N1*Y1^4*M2*Q2*I3*Y3,
N1^B =: N1*Z1,
N1^(B^-1) = N1*Z1^-1*R2^2*E4^2*S4^2*T4,
N1^C = N1*S2*A3^2*N3^2*W3*J4*N4,
N1^(C^-1) = N1*S2^2*A3*N3*W3^2*J4^2*N4^2,
N1^D = N1*N2*J3^2*E4*S4*T4,
N1^(D^-1) = N1*N2^2*Q2^2*J3*Y3*E4*S4*T4,
N1^E = N1*O2^2*H3^2*K3^2*L3*W3*G4^2*I4*K4^2,
N1^(E^-1) = N1*O2*H3*K3*L3^2*W3*G4*I4*K4,
N1^F = N1*F3*E4^2,
N1^(F^-1) = N1*F3^2*I3^2*E4,
N1^G = N1*G3^2*D4^2*F4^2*H4,
N1^(G^-1) = N1*G3*D4*F4*H4^2,
N1^H = N1*H3*K3^2*G4^2*I4*K4*N4,
N1^(H^-1) = N1*H3^2*K3*G4*I4^2*K4^2*N4^2,
N1^I = N1*B4^2,
N1^(I^-1) = N1*B4,
N1^J = N1*D4^2*F4,
N1^K = N1*D4*F4^2,
N1^(K^-1) = N1*D4^2*F4,
O1^A =: O1*A2,
O1^(A^-1) = O1*A2^2*M2*P2*I3^2*Y3,
O1^B = O1*C3*I3*V3*Y3*Z3,
O1^(B^-1) = O1*C3*I3^2*V3*Y3*Z3,
O1^C = O1*A3^2,
O1^(C^-1) = O1*A3,
O1^D = O1*Q2^2*I3*Y3,
O1^(D^-1) = O1*Q2*I3^2*Y3,
O1^E = O1*W3^2,
O1^(E^-1) = O1*W3,
O1^F = O1*I3,
O1^(F^-1) = O1*I3^2,
O1^G = O1,
O1^(G^-1) = O1,
O1^H = O1,
O1^(H^-1) = O1,
O1^I = O1,
O1^(I^-1) = O1,
O1^J = O1,
O1^K = O1,
O1^(K^-1) = O1,
P1^A =: P1*B2,
P1^(A^-1) = P1*B2^2*Q2*I3^2,
P1^B = P1*R2*J3^2*U3*E4^2*O4^2*T4^2,
P1^(B^-1) = P1*R2^2*J3*U3^2*E4*O4*T4,
P1^C = P1*C2*D2^2*S2*U2^2*V2*G3^2*M3*N3^2*Q3*X3*B4*H4*J4*L4^2*N4*P4*R4^2,
P1^(C^-1) = P1*C2^2*D2*S2^2*U2*V2^2*G3*M3^2*N3*Q3^2*X3^2*B4^2*H4^2*J4^2*L4*N4^2*R4,
P1^D = P1*R2^2*E4^2*T4,
P1^(D^-1) = P1*R2*E4*T4^2,
P1^E = P1*T2^2*U2*V2*K3^2*M3*N3*O3^2*P3*C4*D4^2*F4*G4^2*H4*I4*K4*L4^2*N4^2*O4*P4*U4^2,
P1^(E^-1) = P1*T2*U2^2*V2^2*K3*M3^2*N3^2*O3*P3^2*C4^2*D4*F4^2*G4*H4^2*I4^2*K4^2*L4*N4*O4^2*P4*U4,
P1^F = P1*J3*E4^2,
P1^(F^-1) = P1*J3^2*E4,
P1^G = P1*K3*L3^2*M3^2*N3*G4*H4^2*I4^2*J4*K4*L4^2*N4^2,
P1^(G^-1) = P1*K3^2*L3*M3*N3^2*G4^2*H4*I4*J4^2*K4^2*L4*N4,
P1^H = P1*O3^2*P3*Q3^2*G4*K4^2*N4^2*O4,
P1^(H^-1) = P1*O3*P3^2*Q3*G4^2*K4*N4*O4^2,
P1^I = P1*F4^2*H4*J4^2,
P1^(I^-1) = P1*F4*H4^2*J4,
P1^J = P1*G4*K4^2*L4*N4,
P1^K = P1*G4^2*K4*L4^2*N4^2,
P1^(K^-1) = P1*G4*K4^2*L4*N4,
Q1^A =: Q1*C2,
Q1^(A^-1) = Q1*C2^2*S2,
Q1^B = Q1*E2^2*F2^2*T2^2*V2^2*L3*M3*N3^2*C4^2*D4^2*H4*K4^2*N4^2,
Q1^(B^-1) = Q1*E2*F2*T2*V2*L3^2*M3^2*N3*C4*D4*H4^2*K4*N4,
Q1^C = Q1*X2^2*I4^2,
Q1^(C^-1) = Q1*X2*I4,
Q1^D = Q1*U2*V2*L3^2*M3*N3*O3^2*P3^2*C4*D4*H4^2*K4^2*L4,
Q1^(D^-1) = Q1*U2^2*V2^2*L3*M3^2*N3^2*O3*P3*C4^2*D4^2*H4*L4^2*N4,
Q1^E = Q1*X2^2*S3,
Q1^(E^-1) = Q1*X2*S3^2,
Q1^F = Q1*L3*K4^2,
Q1^(F^-1) = Q1*L3^2*K4,
Q1^G = Q1*I4*M4*P4^2*R4,
Q1^(G^-1) = Q1*I4^2*M4^2*P4*R4^2,
Q1^H = Q1*S3,
Q1^(H^-1) = Q1*S3^2,
Q1^I = Q1*I4^2,
Q1^(I^-1) = Q1*I4,
Q1^J = Q1*M4^2*P4*R4^2,
Q1^K = Q1*M4*P4^2*R4,
Q1^(K^-1) = Q1*M4^2*P4*R4^2,
R1^A =: R1*D2,
R1^(A^-1) = R1*D2^2*W3^2,
R1^B =: R1*E2,
R1^(B^-1) = R1*E2^2*W2^2*O3*P3^2*Q3^2*K4^2*N4,
R1^C = R1*X2^2,
R1^(C^-1) = R1*X2,
R1^D = R1*T2^2*U2*M3^2*O3*Q3*K4^2*L4*N4*O4,
R1^(D^-1) = R1*T2*U2^2*M3*O3^2*Q3^2*L4^2*O4^2,
R1^E = R1*X2^2*R3^2*S3*I4*Q4^2,
R1^(E^-1) = R1*X2*R3*S3^2*I4^2*Q4,
R1^F = R1*M3*N3*J4*L4*N4^2,
R1^(F^-1) = R1*M3^2*N3^2*J4^2*L4^2*N4,
R1^G = R1*I4^2*M4*P4^2*R4,
R1^(G^-1) = R1*I4*M4^2*P4*R4^2,
R1^H = R1*R3^2*S3*Q4^2,
R1^(H^-1) = R1*R3*S3^2*Q4,
R1^I = R1,
R1^(I^-1) = R1,
R1^J = R1*M4^2*P4*R4^2,
R1^K = R1*M4*P4^2*R4,
R1^(K^-1) = R1*M4^2*P4*R4^2,
S1^A =: S1*F2,
S1^(A^-1) = S1*F2^2*V2,
S1^B = S1,
S1^(B^-1) = S1,
S1^C =: S1*G2,
S1^(C^-1) = S1*G2^2*U4,
S1^D = S1*W2^2*P3*Q3^2*L4,
S1^(D^-1) = S1*W2*P3^2*Q3*L4^2*O4,
S1^E = S1*Y2*U4,
S1^(E^-1) = S1*Y2^2*U4,
S1^F = S1*P3*Q3*L4*N4*O4^2,
S1^(F^-1) = S1*P3^2*Q3^2*L4^2*N4^2*O4,
S1^G = S1*R3*S3^2*T3*M4^2*P4*Q4*R4^2,
S1^(G^-1) = S1*R3^2*S3*T3^2*M4*P4^2*Q4^2*R4,
S1^H = S1*U3,
S1^(H^-1) = S1*U3^2,
S1^I = S1*M4^2*P4^2*R4,
S1^(I^-1) = S1*M4*P4*R4^2,
S1^J = S1*Q4*S4^2*T4,
S1^K = S1*Q4^2*S4*T4^2,
S1^(K^-1) = S1*Q4*S4^2*T4,
T1^A =: T1*H2,
T1^(A^-1) = T1*H2^2*J2*M2^3*P2,
T1^B = T1*K2*N2^2*F3^2*I3^2*V3*Y3*Z3,
T1^(B^-1) = T1*K2*N2*Q2^2*Z2^2*F3*J3^2*V3^2*Y3*Z3*E4^2*S4^2*T4^2,
T1^C = T1*I2,
T1^(C^-1) = T1*I2^2,
T1^D = T1*Z2^2*F3^2*V3*E4^2*S4^2*T4^2,
T1^(D^-1) = T1*Z2*C3*F3*I3^2*Y3*E4*S4*T4,
T1^E = T1*B3*D3*G3*W3^2*B4^2*C4*F4^2,
T1^(E^-1) = T1*B3^2*D3*G3^2*W3*C4^2*F4,
T1^F = T1*V3,
T1^(F^-1) = T1*V3^2*Y3,
T1^G = T1*W3*X3*B4,
T1^(G^-1) = T1*W3^2*X3^2*B4^2,
T1^H = T1*C4*D4^2*F4^2*H4,
T1^(H^-1) = T1*C4^2*D4*F4*H4^2,
U1^A =: U1*I2,
U1^(A^-1) = U1*I2^2*A3,
U1^B = U1*O2*S2^2*H3^2*K3*N3*X3^2*Z3*B4*G4*J4^2*N4^2,
U1^(B^-1) = U1*O2^2*S2*H3^2*K3^2*L3^2*N3^2*W3^2*X3*Z3*B4^2*J4*K4^2*N4^2,
U1^C = U1,
U1^(C^-1) = U1,
U1^D = U1*B3^2*G3*W3*X3^2*C4*D4*F4*H4,
U1^(D^-1) = U1*B3*G3^2*W3^2*X3*C4^2*D4^2*F4^2*H4^2,
U1^E = U1,
U1^(E^-1) = U1,
U1^F = U1*W3*X3*B4,
U1^(F^-1) = U1*W3^2*X3^2*B4^2,
U1^G = U1,
U1^(G^-1) = U1,
U1^H = U1*I4,
U1^(H^-1) = U1*I4^2,
V1^A =: V1*J2,
V1^(A^-1) = V1*J2*M2^2*I3*Y3,
V1^B =: V1*K2,
V1^(B^-1) = V1*K2*Z2^2*S4^2*T4^2,
V1^C = V1*A3^2,
V1^(C^-1) = V1*A3,
V1^D = V1*V3^2*Y3,
V1^(D^-1) = V1*V3,
V1^E = V1*D3*W3*B4,
V1^(E^-1) = V1*D3*W3^2*B4,
V1^F = V1*Y3,
V1^(F^-1) = V1*Y3,
V1^G = V1,
V1^(G^-1) = V1,
V1^H = V1,
V1^(H^-1) = V1,
W1^A =: W1*L2,
W1^(A^-1) = W1*L2*D3*G3^2*D4*F4^2,
W1^B = W1*H3^2*L3*Z3*G4^2*K4*N4^2,
W1^(B^-1) = W1*H3*L3^2*Z3*G4*K4^2*N4,
W1^C = W1*A4*I4^2,
W1^(C^-1) = W1*A4*I4,
W1^D = W1*E3*C4^2*D4^2*H4,
W1^(D^-1) = W1*E3*D4*H4^2,
W1^E = W1*I4,
W1^(E^-1) = W1*I4^2,
W1^F = W1*Z3,
W1^(F^-1) = W1*Z3,
W1^G = W1*A4,
W1^(G^-1) = W1*A4,
W1^H = W1,
W1^(H^-1) = W1,
X1^A = X1*N2^2*Q2*I3*V3^2*Y3*Z3,
X1^(A^-1) = X1*N2*Q2*F3^2*V3*Y3*Z3,
X1^B = X1*R2*E4*T4,
X1^(B^-1) = X1*R2^2*E4^2*T4^2,
X1^C = X1*O2^2*W3^2*A4,
X1^(C^-1) = X1*O2*A4*I4^2,
X1^D = X1*J3^2*E4*S4*T4,
X1^(D^-1) = X1*J3*E4^2*S4^2*T4^2,
X1^E = X1*H3^2*K3^2*G4^2*I4,
X1^(E^-1) = X1*H3*K3*G4*I4^2,
X1^F = X1*E4*S4^2*T4^2,
X1^(F^-1) = X1*E4^2*S4*T4,
X1^G = X1*C4*D4^2*F4,
X1^(G^-1) = X1*C4^2*D4*F4^2,
X1^H = X1*G4*K4*N4,
X1^(H^-1) = X1*G4^2*K4^2*N4^2,
Y1^A =: Y1*M2,
Y1^(A^-1) = Y1*M2^4*I3,
Y1^B = Y1,
Y1^(B^-1) = Y1,
Y1^C = Y1,
Y1^(C^-1) = Y1,
Y1^D = Y1,
Y1^(D^-1) = Y1,
Y1^E = Y1,
Y1^(E^-1) = Y1,
Y1^F = Y1,
Y1^(F^-1) = Y1,
Y1^G = Y1,
Y1^(G^-1) = Y1,
Y1^H = Y1,
Y1^(H^-1) = Y1,
Z1^A =: Z1*N2,
Z1^(A^-1) = Z1*N2^2*Q2^2*F3*Y3,
Z1^B = Z1*R2^2*E4^2*S4^2*T4,
Z1^(B^-1) = Z1*R2*E4*S4*T4^2,
Z1^C =: Z1*O2,
Z1^(C^-1) = Z1*O2^2*W3^2*I4,
Z1^D = Z1*J3*E4^2*S4^2*T4^2,
Z1^(D^-1) = Z1*J3^2*E4*S4*T4,
Z1^E = Z1*H3*K3*G4*I4^2,
Z1^(E^-1) = Z1*H3^2*K3^2*G4^2*I4,
Z1^F = Z1*E4^2*S4*T4,
Z1^(F^-1) = Z1*E4*S4^2*T4^2,
Z1^G = Z1*C4^2*D4*F4^2,
Z1^(G^-1) = Z1*C4*D4^2*F4,
Z1^H = Z1*G4^2*K4^2*N4^2,
Z1^(H^-1) = Z1*G4*K4*N4,
A2^A =: A2*P2,
A2^(A^-1) = A2*P2^2,
A2^B = A2*Q2*I3,
A2^(B^-1) = A2*Q2^2*I3^2,
A2^C = A2,
A2^(C^-1) = A2,
A2^D = A2*I3,
A2^(D^-1) = A2*I3^2,
A2^E = A2,
A2^(E^-1) = A2,
A2^F = A2,
A2^(F^-1) = A2,
A2^G = A2,
A2^(G^-1) = A2,
A2^H = A2,
A2^(H^-1) = A2,
B2^A =: B2*Q2,
B2^(A^-1) = B2*Q2^2*I3,
B2^B =: B2*R2,
B2^(B^-1) = B2*R2^2,
B2^C = B2*S2*N3^2*W3*B4^2*J4*N4,
B2^(C^-1) = B2*S2^2*N3*W3^2*B4*J4^2*N4^2,
B2^D = B2*J3,
B2^(D^-1) = B2*J3^2,
B2^E = B2*K3^2*L3*G4^2*I4*K4^2,
B2^(E^-1) = B2*K3*L3^2*G4*I4^2*K4,
B2^F = B2*E4,
B2^(F^-1) = B2*E4^2,
B2^G = B2*F4^2*H4,
B2^(G^-1) = B2*F4*H4^2,
B2^H = B2*G4*K4^2*N4^2,
B2^(H^-1) = B2*G4^2*K4*N4,
C2^A =: C2*S2,
C2^(A^-1) = C2*S2^2,
C2^B = C2*U2*V2*L3^2*M3*N3*C4^2*D4^2*H4*K4^2*N4^2,
C2^(B^-1) = C2*U2^2*V2^2*L3*M3^2*N3^2*O3*P3*C4*D4*H4^2*L4^2*N4^2,
C2^C = C2,
C2^(C^-1) = C2,
C2^D = C2*L3^2*N3*H4*J4*K4*N4^2,
C2^(D^-1) = C2*L3*N3^2*H4^2*J4^2*K4^2*N4,
C2^E = C2*I4*M4^2*P4,
C2^(E^-1) = C2*I4^2*M4*P4^2,
C2^F = C2*H4,
C2^(F^-1) = C2*H4^2,
C2^G = C2*I4,
C2^(G^-1) = C2*I4^2,
C2^H = C2*M4^2*P4,
C2^(H^-1) = C2*M4*P4^2,
D2^A = D2*W3^2,
D2^(A^-1) = D2*W3,
D2^B =: D2*T2,
D2^(B^-1) = D2*T2^2*O3^2*Q3*K4^2*L4^2*N4,
D2^C = D2,
D2^(C^-1) = D2,
D2^D = D2*M3*L4,
D2^(D^-1) = D2*M3^2*L4^2,
D2^E = D2*I4*M4^2,
D2^(E^-1) = D2*I4^2*M4,
D2^F = D2*J4,
D2^(F^-1) = D2*J4^2,
D2^G = D2,
D2^(G^-1) = D2,
D2^H = D2*M4^2,
D2^(H^-1) = D2*M4,
E2^A =: E2*U2,
E2^(A^-1) = E2*U2^2*N3,
E2^B = E2*W2^2*O3*P3^2*Q3^2*K4^2*N4,
E2^(B^-1) = E2*W2*O3^2*P3*Q3*K4*N4^2,
E2^C = E2*X2*I4^2,
E2^(C^-1) = E2*X2^2*I4,
E2^D = E2*O3^2*Q3^2*K4*L4^2*N4^2*O4^2,
E2^(D^-1) = E2*O3*Q3*K4^2*L4*N4*O4,
E2^E = E2*R3*S3*Q4,
E2^(E^-1) = E2*R3^2*S3^2*Q4^2,
E2^F = E2*K4*L4^2,
E2^(F^-1) = E2*K4^2*L4,
E2^G = E2*M4*P4^2*R4,
E2^(G^-1) = E2*M4^2*P4*R4^2,
E2^H = E2*Q4^2*S4^2*T4^2,
E2^(H^-1) = E2*Q4*S4*T4,
F2^A =: F2*V2,
F2^(A^-1) = F2*V2^2,
F2^B =: F2*W2,
F2^(B^-1) = F2*W2^2*O4,
F2^C = F2*X2,
F2^(C^-1) = F2*X2^2,
F2^D = F2*P3^2*Q3*L4^2*O4,
F2^(D^-1) = F2*P3*Q3^2*L4*O4^2,
F2^E = F2*R3^2*S3*Q4^2,
F2^(E^-1) = F2*R3*S3^2*Q4,
F2^F = F2*L4*N4,
F2^(F^-1) = F2*L4^2*N4^2,
F2^G = F2*M4*P4^2*R4,
F2^(G^-1) = F2*M4^2*P4*R4^2,
F2^H = F2*Q4*S4^2*T4^2,
F2^(H^-1) = F2*Q4^2*S4*T4,
G2^A =: G2*X2,
G2^(A^-1) = G2*X2^2,
G2^B =: G2*Y2,
G2^(B^-1) = G2*Y2^2*U3,
G2^C = G2*U4,
G2^(C^-1) = G2*U4^2,
G2^D = G2*S3^2*T3*R4^2*S4*T4^2,
G2^(D^-1) = G2*S3*T3^2*R4*S4^2*T4,
G2^E = G2*U4^2,
G2^(E^-1) = G2*U4,
G2^F = G2*R4,
G2^(F^-1) = G2*R4^2,
G2^G = G2,
G2^(G^-1) = G2,
G2^H = G2*U4,
G2^(H^-1) = G2*U4^2,
H2^A = H2*Y3,
H2^(A^-1) = H2*Y3,
H2^B =: H2*Z2,
H2^(B^-1) = H2*Z2^2*C3*V3*Y3*S4*T4,
H2^C = H2*A3,
H2^(C^-1) = H2*A3^2,
H2^D = H2*V3,
H2^(D^-1) = H2*V3^2*Y3,
H2^E = H2*W3^2,
H2^(E^-1) = H2*W3,
I2^A =: I2*A3,
I2^(A^-1) = I2*A3^2,
I2^B =: I2*B3,
I2^(B^-1) = I2*B3^2*C4^2*D4^2*H4,
I2^C = I2,
I2^(C^-1) = I2,
I2^D = I2*W3^2*X3,
I2^(D^-1) = I2*W3*X3^2,
I2^E = I2,
I2^(E^-1) = I2,
J2^A = J2*Y3,
J2^(A^-1) = J2*Y3,
J2^B = J2*C3*V3*Y3,
J2^(B^-1) = J2*C3*V3*Y3,
J2^C = J2,
J2^(C^-1) = J2,
J2^D = J2*Y3,
J2^(D^-1) = J2*Y3,
J2^E = J2,
J2^(E^-1) = J2,
K2^A =: K2*C3,
K2^(A^-1) = K2*C3*V3^2*Y3,
K2^B = K2*S4^2*T4^2,
K2^(B^-1) = K2*S4*T4,
K2^C = K2*D3*W3*Z3*B4,
K2^(C^-1) = K2*D3*W3^2*Z3*B4,
K2^D = K2,
K2^(D^-1) = K2,
K2^E = K2*Z3,
K2^(E^-1) = K2*Z3,
L2^A =: L2*D3,
L2^(A^-1) = L2*D3*B4^2,
L2^B =: L2*E3,
L2^(B^-1) = L2*E3*C4^2,
L2^C = L2,
L2^(C^-1) = L2,
L2^D = L2,
L2^(D^-1) = L2,
L2^E = L2*A4,
L2^(E^-1) = L2*A4,
M2^A = M2,
M2^(A^-1) = M2,
M2^B = M2,
M2^(B^-1) = M2,
M2^C = M2,
M2^(C^-1) = M2,
M2^D = M2,
M2^(D^-1) = M2,
M2^E = M2,
M2^(E^-1) = M2,
N2^A =: N2*F3,
N2^(A^-1) = N2*F3^2*I3^2,
N2^B = N2*J3*E4^2*S4^2*T4^2,
N2^(B^-1) = N2*J3^2*E4*S4*T4,
N2^C = N2*G3,
N2^(C^-1) = N2*G3^2,
N2^D = N2*E4^2*S4^2*T4^2,
N2^(D^-1) = N2*E4*S4*T4,
N2^E = N2*C4*F4^2,
N2^(E^-1) = N2*C4^2*F4,
O2^A =: O2*G3,
O2^(A^-1) = O2*G3^2*B4,
O2^B =: O2*H3,
O2^(B^-1) = O2*H3^2*K4^2*N4^2,
O2^C = O2*I4,
O2^(C^-1) = O2*I4^2,
O2^D = O2*C4^2*D4,
O2^(D^-1) = O2*C4*D4^2,
O2^E = O2*I4,
O2^(E^-1) = O2*I4^2,
P2^A = P2,
P2^(A^-1) = P2,
P2^B = P2,
P2^(B^-1) = P2,
P2^C = P2,
P2^(C^-1) = P2,
P2^D = P2,
P2^(D^-1) = P2,
P2^E = P2,
P2^(E^-1) = P2,
Q2^A =: Q2*I3,
Q2^(A^-1) = Q2*I3^2,
Q2^B = Q2,
Q2^(B^-1) = Q2,
Q2^C = Q2,
Q2^(C^-1) = Q2,
Q2^D = Q2,
Q2^(D^-1) = Q2,
Q2^E = Q2,
Q2^(E^-1) = Q2,
R2^A =: R2*J3,
R2^(A^-1) = R2*J3^2*E4,
R2^B = R2,
R2^(B^-1) = R2,
R2^C =: R2*K3,
R2^(C^-1) = R2*K3^2*I4^2,
R2^D = R2,
R2^(D^-1) = R2,
R2^E = R2*G4,
R2^(E^-1) = R2*G4^2,
S2^A = S2,
S2^(A^-1) = S2,
S2^B =: S2*L3,
S2^(B^-1) = S2*L3^2*K4^2*N4^2,
S2^C = S2,
S2^(C^-1) = S2,
S2^D = S2*H4,
S2^(D^-1) = S2*H4^2,
S2^E = S2*I4^2,
S2^(E^-1) = S2*I4,
T2^A =: T2*M3,
T2^(A^-1) = T2*M3^2*J4,
T2^B = T2*O3^2*Q3*K4^2*L4^2*N4,
T2^(B^-1) = T2*O3*Q3^2*K4*L4*N4^2,
T2^C = T2*I4^2,
T2^(C^-1) = T2*I4,
T2^D = T2*L4^2,
T2^(D^-1) = T2*L4,
T2^E = T2*M4,
T2^(E^-1) = T2*M4^2,
U2^A =: U2*N3,
U2^(A^-1) = U2*N3^2,
U2^B =: U2*O3,
U2^(B^-1) = U2*O3^2*O4,
U2^C = U2,
U2^(C^-1) = U2,
U2^D = U2*K4^2*L4^2*N4,
U2^(D^-1) = U2*K4*L4*N4^2,
U2^E = U2*M4^2*P4^2,
U2^(E^-1) = U2*M4*P4,
V2^A = V2,
V2^(A^-1) = V2,
V2^B =: V2*P3,
V2^(B^-1) = V2*P3^2*O4^2,
V2^C = V2,
V2^(C^-1) = V2,
V2^D = V2*L4,
V2^(D^-1) = V2*L4^2,
V2^E = V2*M4^2,
V2^(E^-1) = V2*M4,
W2^A =: W2*Q3,
W2^(A^-1) = W2*Q3^2*N4,
W2^B = W2*O4,
W2^(B^-1) = W2*O4^2,
W2^C =: W2*R3,
W2^(C^-1) = W2*R3^2,
W2^D = W2*O4^2,
W2^(D^-1) = W2*O4,
W2^E = W2*Q4,
W2^(E^-1) = W2*Q4^2,
X2^A = X2,
X2^(A^-1) = X2,
X2^B =: X2*S3,
X2^(B^-1) = X2*S3^2*S4^2*T4^2,
X2^C = X2,
X2^(C^-1) = X2,
X2^D = X2*R4,
X2^(D^-1) = X2*R4^2,
X2^E = X2,
X2^(E^-1) = X2,
Y2^A =: Y2*T3,
Y2^(A^-1) = Y2*T3^2,
Y2^B =: Y2*U3,
Y2^(B^-1) = Y2*U3^2,
Y2^C = Y2*U4^2,
Y2^(C^-1) = Y2*U4,
Y2^D = Y2*S4^2*T4,
Y2^(D^-1) = Y2*S4*T4^2,
Y2^E = Y2*U4^2,
Y2^(E^-1) = Y2*U4,
Z2^A =: Z2*V3,
Z2^(A^-1) = Z2*V3^2*Y3,
Z2^B = Z2*S4*T4,
Z2^(B^-1) = Z2*S4^2*T4^2,
Z2^C = Z2*W3^2,
Z2^(C^-1) = Z2*W3,
A3^A = A3,
A3^(A^-1) = A3,
A3^B =: A3*W3,
A3^(B^-1) = A3*W3^2,
A3^C = A3,
A3^(C^-1) = A3,
B3^A =: B3*X3,
B3^(A^-1) = B3*X3^2,
B3^B = B3*C4^2*D4^2*H4,
B3^(B^-1) = B3*C4*D4*H4^2,
B3^C = B3,
B3^(C^-1) = B3,
C3^A =: C3*Y3,
C3^(A^-1) = C3*Y3,
C3^B = C3,
C3^(B^-1) = C3,
C3^C = C3,
C3^(C^-1) = C3,
D3^A = D3,
D3^(A^-1) = D3,
D3^B = D3*Z3,
D3^(B^-1) = D3*Z3,
D3^C = D3,
D3^(C^-1) = D3,
E3^A =: E3*Z3,
E3^(A^-1) = E3*Z3,
E3^B = E3,
E3^(B^-1) = E3,
E3^C =: E3*A4,
E3^(C^-1) = E3*A4,
F3^A = F3,
F3^(A^-1) = F3,
F3^B = F3*E4^2*S4*T4,
F3^(B^-1) = F3*E4*S4^2*T4^2,
F3^C = F3*B4,
F3^(C^-1) = F3*B4^2,
G3^A =: G3*B4,
G3^(A^-1) = G3*B4^2,
G3^B =: G3*C4,
G3^(B^-1) = G3*C4^2,
G3^C = G3,
G3^(C^-1) = G3,
H3^A =: H3*D4,
H3^(A^-1) = H3*D4^2,
H3^B = H3*K4^2*N4^2,
H3^(B^-1) = H3*K4*N4,
H3^C = H3*I4^2,
H3^(C^-1) = H3*I4,
I3^A = I3,
I3^(A^-1) = I3,
I3^B = I3,
I3^(B^-1) = I3,
I3^C = I3,
I3^(C^-1) = I3,
J3^A =: J3*E4,
J3^(A^-1) = J3*E4^2,
J3^B = J3,
J3^(B^-1) = J3,
J3^C = J3*F4,
J3^(C^-1) = J3*F4^2,
K3^A =: K3*F4,
K3^(A^-1) = K3*F4^2,
K3^B =: K3*G4,
K3^(B^-1) = K3*G4^2,
K3^C = K3*I4^2,
K3^(C^-1) = K3*I4,
L3^A =: L3*H4,
L3^(A^-1) = L3*H4^2,
L3^B = L3*K4^2*N4^2,
L3^(B^-1) = L3*K4*N4,
L3^C =: L3*I4,
L3^(C^-1) = L3*I4^2,
M3^A =: M3*J4,
M3^(A^-1) = M3*J4^2,
M3^B = M3*L4^2,
M3^(B^-1) = M3*L4,
M3^C = M3,
M3^(C^-1) = M3,
N3^A = N3,
N3^(A^-1) = N3,
N3^B =: N3*K4,
N3^(B^-1) = N3*K4^2,
N3^C = N3,
N3^(C^-1) = N3,
O3^A = O3*L4^2*N4,
O3^(A^-1) = O3*L4*N4^2,
O3^B = O3*O4,
O3^(B^-1) = O3*O4^2,
O3^C = O3*M4*P4,
O3^(C^-1) = O3*M4^2*P4^2,
P3^A =: P3*L4,
P3^(A^-1) = P3*L4^2,
P3^B = P3*O4^2,
P3^(B^-1) = P3*O4,
P3^C =: P3*M4,
P3^(C^-1) = P3*M4^2,
Q3^A =: Q3*N4,
Q3^(A^-1) = Q3*N4^2,
Q3^B =: Q3*O4,
Q3^(B^-1) = Q3*O4^2,
Q3^C = Q3*P4,
Q3^(C^-1) = Q3*P4^2,
R3^A =: R3*P4,
R3^(A^-1) = R3*P4^2,
R3^B =: R3*Q4,
R3^(B^-1) = R3*Q4^2,
R3^C = R3,
R3^(C^-1) = R3,
S3^A =: S3*R4,
S3^(A^-1) = S3*R4^2,
S3^B = S3*S4^2*T4^2,
S3^(B^-1) = S3*S4*T4,
S3^C = S3,
S3^(C^-1) = S3,
T3^A = T3,
T3^(A^-1) = T3,
T3^B =: T3*S4,
T3^(B^-1) = T3*S4^2,
T3^C = T3,
T3^(C^-1) = T3,
U3^A =: U3*T4,
U3^(A^-1) = U3*T4^2,
U3^B = U3,
U3^(B^-1) = U3,
U3^C =: U3*U4,
U3^(C^-1) = U3*U4^2 >
# Class : 12
# Nr of generators of each class : 3 2 3 3 4 7 11 12 14 18 22 26
# The definitions:
# D := [ B, A ]
# E := [ C, B ]
# F := [ B, A, A ]
# G := [ C, B, A ]
# H := [ C, B, B ]
# I := [ C, B, A, A ]
# J := [ C, B, A, B ]
# K := [ C, B, B, A ]
# L := [ C, B, A, A, B ]
# M := [ C, B, A, B, A ]
# N := [ C, B, B, A, A ]
# O := [ C, B, B, A, B ]
# P := [ C, B, A, A, B, A ]
# Q := [ C, B, A, B, A, A ]
# R := [ C, B, A, B, A, B ]
# S := [ C, B, B, A, A, A ]
# T := [ C, B, B, A, A, B ]
# U := [ C, B, B, A, B, A ]
# V := [ C, B, B, A, B, C ]
# W := [ C, B, A, A, B, A, A ]
# X := [ C, B, A, B, A, A, A ]
# Y := [ C, B, A, B, A, A, B ]
# Z := [ C, B, A, B, A, B, A ]
# A1 := [ C, B, A, B, A, B, C ]
# B1 := [ C, B, B, A, A, A, A ]
# C1 := [ C, B, B, A, A, B, A ]
# D1 := [ C, B, B, A, B, A, A ]
# E1 := [ C, B, B, A, B, A, B ]
# F1 := [ C, B, B, A, B, C, A ]
# G1 := [ C, B, B, A, B, C, B ]
# H1 := [ C, B, A, A, B, A, A, B ]
# I1 := [ C, B, A, B, A, A, B, A ]
# J1 := [ C, B, A, B, A, A, B, C ]
# K1 := [ C, B, A, B, A, B, A, A ]
# L1 := [ C, B, A, B, A, B, A, B ]
# M1 := [ C, B, A, B, A, B, C, A ]
# N1 := [ C, B, B, A, A, B, A, A ]
# O1 := [ C, B, B, A, B, A, A, A ]
# P1 := [ C, B, B, A, B, A, B, A ]
# Q1 := [ C, B, B, A, B, C, A, B ]
# R1 := [ C, B, B, A, B, C, B, A ]
# S1 := [ C, B, B, A, B, C, B, B ]
# T1 := [ C, B, A, A, B, A, A, B, A ]
# U1 := [ C, B, A, A, B, A, A, B, C ]
# V1 := [ C, B, A, B, A, A, B, A, A ]
# W1 := [ C, B, A, B, A, A, B, C, B ]
# X1 := [ C, B, A, B, A, B, A, A, B ]
# Y1 := [ C, B, B, A, A, B, A, A, A ]
# Z1 := [ C, B, B, A, A, B, A, A, B ]
# A2 := [ C, B, B, A, B, A, A, A, A ]
# B2 := [ C, B, B, A, B, A, B, A, A ]
# C2 := [ C, B, B, A, B, C, A, B, A ]
# D2 := [ C, B, B, A, B, C, B, A, A ]
# E2 := [ C, B, B, A, B, C, B, A, B ]
# F2 := [ C, B, B, A, B, C, B, B, A ]
# G2 := [ C, B, B, A, B, C, B, B, C ]
# H2 := [ C, B, A, A, B, A, A, B, A, A ]
# I2 := [ C, B, A, A, B, A, A, B, C, A ]
# J2 := [ C, B, A, B, A, A, B, A, A, A ]
# K2 := [ C, B, A, B, A, A, B, A, A, B ]
# L2 := [ C, B, A, B, A, A, B, C, B, A ]
# M2 := [ C, B, B, A, A, B, A, A, A, A ]
# N2 := [ C, B, B, A, A, B, A, A, B, A ]
# O2 := [ C, B, B, A, A, B, A, A, B, C ]
# P2 := [ C, B, B, A, B, A, A, A, A, A ]
# Q2 := [ C, B, B, A, B, A, B, A, A, A ]
# R2 := [ C, B, B, A, B, A, B, A, A, B ]
# S2 := [ C, B, B, A, B, C, A, B, A, A ]
# T2 := [ C, B, B, A, B, C, B, A, A, B ]
# U2 := [ C, B, B, A, B, C, B, A, B, A ]
# V2 := [ C, B, B, A, B, C, B, B, A, A ]
# W2 := [ C, B, B, A, B, C, B, B, A, B ]
# X2 := [ C, B, B, A, B, C, B, B, C, A ]
# Y2 := [ C, B, B, A, B, C, B, B, C, B ]
# Z2 := [ C, B, A, A, B, A, A, B, A, A, B ]
# A3 := [ C, B, A, A, B, A, A, B, C, A, A ]
# B3 := [ C, B, A, A, B, A, A, B, C, A, B ]
# C3 := [ C, B, A, B, A, A, B, A, A, B, A ]
# D3 := [ C, B, A, B, A, A, B, C, B, A, A ]
# E3 := [ C, B, A, B, A, A, B, C, B, A, B ]
# F3 := [ C, B, B, A, A, B, A, A, B, A, A ]
# G3 := [ C, B, B, A, A, B, A, A, B, C, A ]
# H3 := [ C, B, B, A, A, B, A, A, B, C, B ]
# I3 := [ C, B, B, A, B, A, B, A, A, A, A ]
# J3 := [ C, B, B, A, B, A, B, A, A, B, A ]
# K3 := [ C, B, B, A, B, A, B, A, A, B, C ]
# L3 := [ C, B, B, A, B, C, A, B, A, A, B ]
# M3 := [ C, B, B, A, B, C, B, A, A, B, A ]
# N3 := [ C, B, B, A, B, C, B, A, B, A, A ]
# O3 := [ C, B, B, A, B, C, B, A, B, A, B ]
# P3 := [ C, B, B, A, B, C, B, B, A, A, B ]
# Q3 := [ C, B, B, A, B, C, B, B, A, B, A ]
# R3 := [ C, B, B, A, B, C, B, B, A, B, C ]
# S3 := [ C, B, B, A, B, C, B, B, C, A, B ]
# T3 := [ C, B, B, A, B, C, B, B, C, B, A ]
# U3 := [ C, B, B, A, B, C, B, B, C, B, B ]
# V3 := [ C, B, A, A, B, A, A, B, A, A, B, A ]
# W3 := [ C, B, A, A, B, A, A, B, C, A, A, B ]
# X3 := [ C, B, A, A, B, A, A, B, C, A, B, A ]
# Y3 := [ C, B, A, B, A, A, B, A, A, B, A, A ]
# Z3 := [ C, B, A, B, A, A, B, C, B, A, B, A ]
# A4 := [ C, B, A, B, A, A, B, C, B, A, B, C ]
# B4 := [ C, B, B, A, A, B, A, A, B, C, A, A ]
# C4 := [ C, B, B, A, A, B, A, A, B, C, A, B ]
# D4 := [ C, B, B, A, A, B, A, A, B, C, B, A ]
# E4 := [ C, B, B, A, B, A, B, A, A, B, A, A ]
# F4 := [ C, B, B, A, B, A, B, A, A, B, C, A ]
# G4 := [ C, B, B, A, B, A, B, A, A, B, C, B ]
# H4 := [ C, B, B, A, B, C, A, B, A, A, B, A ]
# I4 := [ C, B, B, A, B, C, A, B, A, A, B, C ]
# J4 := [ C, B, B, A, B, C, B, A, A, B, A, A ]
# K4 := [ C, B, B, A, B, C, B, A, B, A, A, B ]
# L4 := [ C, B, B, A, B, C, B, B, A, A, B, A ]
# M4 := [ C, B, B, A, B, C, B, B, A, A, B, C ]
# N4 := [ C, B, B, A, B, C, B, B, A, B, A, A ]
# O4 := [ C, B, B, A, B, C, B, B, A, B, A, B ]
# P4 := [ C, B, B, A, B, C, B, B, A, B, C, A ]
# Q4 := [ C, B, B, A, B, C, B, B, A, B, C, B ]
# R4 := [ C, B, B, A, B, C, B, B, C, A, B, A ]
# S4 := [ C, B, B, A, B, C, B, B, C, B, A, B ]
# T4 := [ C, B, B, A, B, C, B, B, C, B, B, A ]
# U4 := [ C, B, B, A, B, C, B, B, C, B, B, C ]