1# 2# Calculating a nilpotent quotient 3# Nilpotency class: 12 4# Size of exponents: 8 bytes 5# 6# Calculating the abelian quotient ... 7# The abelian quotient has 4 generators 8# with the following exponents: 0 0 0 0 9# 10# Calculating the class 2 quotient ... 11## Sizes: 4 10 12# Maximal entry: 0 13# Layer 2 of the lower central series has 3 generators 14# with the following exponents: 0 0 0 15# 16# Calculating the class 3 quotient ... 17## Sizes: 4 7 22 18# Maximal entry: 0 19# Layer 3 of the lower central series has 3 generators 20# with the following exponents: 0 0 0 21# 22# Calculating the class 4 quotient ... 23## Sizes: 4 7 10 34 24# Maximal entry: 0 25# Layer 4 of the lower central series has 3 generators 26# with the following exponents: 0 0 0 27# 28# Calculating the class 5 quotient ... 29## Sizes: 4 7 10 13 46 30# Maximal entry: 2 31# Layer 5 of the lower central series has 4 generators 32# with the following exponents: 0 2 3 0 33# 34# Calculating the class 6 quotient ... 35## Sizes: 4 7 10 13 17 64 36# Maximal entry: 6 37# Layer 6 of the lower central series has 6 generators 38# with the following exponents: 2 2 3 3 0 6 39# 40# Calculating the class 7 quotient ... 41## Sizes: 4 7 10 13 17 23 93 42# Maximal entry: 14 43# Layer 7 of the lower central series has 9 generators 44# with the following exponents: 2 2 2 3 3 6 2 3 6 45# 46# Calculating the class 8 quotient ... 47## Sizes: 4 7 10 13 17 23 32 138 48# Maximal entry: 36 49# Layer 8 of the lower central series has 13 generators 50# with the following exponents: 2 2 2 2 3 3 3 2 2 3 3 6 2 51# 52# Calculating the class 9 quotient ... 53## Sizes: 4 7 10 13 17 23 32 45 203 54# Maximal entry: 2019 55# Layer 9 of the lower central series has 16 generators 56# with the following exponents: 2 2 2 2 2 3 3 3 2 2 2 3 3 3 2 2 57# 58# Calculating the class 10 quotient ... 59## Sizes: 4 7 10 13 17 23 32 45 61 283 60# Maximal entry: 22320 61# Layer 10 of the lower central series has 21 generators 62# with the following exponents: 2 2 2 2 2 2 2 3 3 3 2 2 2 2 3 3 3 3 3 2 2 63# 64# Calculating the class 11 quotient ... 65## Sizes: 4 7 10 13 17 23 32 45 61 82 388 66# Maximal entry: 9921 67# Layer 11 of the lower central series has 28 generators 68# with the following exponents: 2 2 2 2 2 2 2 2 2 3 3 3 3 2 2 2 2 2 3 3 3 3 3 3 3 2 2 2 69# 70# Calculating the class 12 quotient ... 71## Sizes: 4 7 10 13 17 23 32 45 61 82 110 528 72# Maximal entry: 9093 73# Layer 12 of the lower central series has 36 generators 74# with the following exponents: 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 2 2 2 75# 76 77 78# The epimorphism : 79# e1 |---> A 80# e2 |---> B 81# e3 |---> C 82# e4 |---> D 83 84 85# The nilpotent quotient : 86 <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,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5 87 | 88 O^2 = U*X1*P2*K3*M3*Q3*V3*A4*W4*E5, 89 P^3 = W^3*D1*F1^5*W1*X1*A2*P2*B3^2*D3*K3*P3*Q3^2*A4^2*C4*F4*W4*X4, 90 R^2 = A1^2*K1^2*N1*E2*F2*L2*V2*Y2*C3*F3*G3*N3^2*X3*B4*I4*P4*Q4*S4*B5*F5^2*I5^2*K5*L5^2*O5, 91 S^2 = B1*P2*O4*R4*X4*J5, 92 T^3 = C1^3*R1^5*B2*U2*V2*G3*R3*S3*B4^2*H4*K4*N4*Q4*S4*Y4*L5*N5*O5, 93 U^3 = D1*D2*I2*D3*K3*M3*Q3^2*U3*V3*F4*W4^2*X4^2*E5*P5, 94 W^6 = S1*S2^2*D3*C4*J5*M5^2*P5, 95 X^2 = K1^2*B2*G3*H4*S4^2, 96 Y^2 = L1^2*Y1^2*C2*X2*Z2*H3*T3*Y3*E4*I4*J4*T4^2*F5*L5, 97 Z^2 = A2^2*D2*M3*U3, 98 A1^3 = B2*O2*U2*G3*L3*R3*S3*D4*H4*K4*N4*Q4*Y4, 99 B1^3 = O1*W2*D3*O4*R4*X4^2*C5*E5, 100 C1^6 = H2*L5*N5, 101 D1^2 = I2*D3*Q3^2*U3*V3*F4*X4^2*E5*P5, 102 E1^3 = S1*S2^2*V3*C4*F4*J5*M5^2, 103 F1^6 = I2*Q3^2*F4, 104 G1^2 = Y1^2*T2*J4, 105 H1^2 = F2^2*U2*Y2^2*Z2^2*X3*Y3^2*B4*K4*D5*I5*K5*O5, 106 I1^2 = V2*Q4*S4^2*I5^2, 107 J1^2 = S2^2*W2*R4*C5, 108 K1^3 = D4, 109 L1^3 = T2*L3*S3*J4*Z4*N5, 110 M1^3 = D3*X4^2*C5*E5*P5, 111 N1^2 = C3, 112 O1^2 = D3*X4^2*C5*E5, 113 P1^3 = H2*D5*L5, 114 Q1^3 = I2*D3*Q3^2*U3*V3*F4*X4^2*E5*P5, 115 R1^6 = D4*N5*O5, 116 S1^2 = S2^2*D3*C4*X4^2*J5*M5^2*P5, 117 T1^2 = N3^2*R3, 118 U1^2 = Z2^2*S3*Y3^2*Z3^2*F5*G5^2*L5, 119 V1^2 = T3, 120 W1^2 = U3*W4, 121 X1^2 = Q3^2*V3, 122 Y1^3 = N5, 123 Z1^3 = N5, 124 A2^3 = F4*P5, 125 B2^2 = D4, 126 C2^2 = E4, 127 D2^2 = F4*P5, 128 E2^3 = C3, 129 F2^3 = D4*D5*O5, 130 G2^3 = D3*X4^2*C5*E5, 131 H2^2 = L5*N5, 132 I2^2 = Q3^2*F4, 133 J2^2 = S4^2*Y4, 134 K2^2 = T4^2*Z4, 135 L2^2 = A5, 136 M2^2 = B5, 137 N2^2 = C5, 138 O2^2 = D5, 139 P2^2 = X4^2*E5, 140 Q2^3, 141 R2^3, 142 S2^3 = P5, 143 T2^2 = N5, 144 U2^2 = O5, 145 V2^2, 146 W2^2 = P5, 147 X2^3 = E4, 148 Y2^3, 149 Z2^3 = N5, 150 A3^3 = P5, 151 B3^3 = F4, 152 C3^2, 153 D3^2 = X4^2*P5, 154 E3^2, 155 F3^2, 156 G3^2, 157 H3^2, 158 I3^2, 159 J3^2, 160 K3^2, 161 L3^2, 162 M3^2, 163 N3^3, 164 O3^3, 165 P3^3, 166 Q3^3, 167 R3^2, 168 S3^2, 169 T3^2, 170 U3^2, 171 V3^2, 172 W3^3, 173 X3^3 = O5, 174 Y3^3, 175 Z3^3, 176 A4^3, 177 B4^3, 178 C4^3 = P5, 179 D4^2, 180 E4^2, 181 F4^2, 182 G4^2, 183 H4^2, 184 I4^2, 185 J4^2, 186 K4^2, 187 L4^2, 188 M4^2, 189 N4^2, 190 O4^2, 191 P4^2, 192 Q4^2, 193 R4^2, 194 S4^3, 195 T4^3, 196 U4^3, 197 V4^3, 198 W4^3, 199 X4^3, 200 Y4^2, 201 Z4^2, 202 A5^2, 203 B5^2, 204 C5^2, 205 D5^2, 206 E5^2, 207 F5^3, 208 G5^3, 209 H5^3, 210 I5^3, 211 J5^3, 212 K5^3, 213 L5^3, 214 M5^3, 215 N5^2, 216 O5^2, 217 P5^2, 218 B^A =: B*E, 219 B^(A^-1) = B*E^-1, 220 C^A = C, 221 C^(A^-1) = C, 222 C^B =: C*F, 223 C^(B^-1) = C*F^-1, 224 D^A = D, 225 D^(A^-1) = D, 226 D^B = D, 227 D^(B^-1) = D, 228 D^C =: D*G, 229 D^(C^-1) = D*G^-1, 230 E^A = E, 231 E^(A^-1) = E, 232 E^B = E, 233 E^(B^-1) = E, 234 E^C = E*H^-1, 235 E^(C^-1) = E*H*K^-1, 236 E^D = E, 237 E^(D^-1) = E, 238 F^A =: F*H, 239 F^(A^-1) = F*H^-1, 240 F^B = F, 241 F^(B^-1) = F, 242 F^C =: F*I, 243 F^(C^-1) = F*I^-1, 244 F^D = F*J^-1*M^-1*O*Q^-1*S*U^2*Z*B1^2*J1*Q1*W1*X1*A2*D2*G2*N2*S2*W2*B3*K3*M3*U3*V3*A4*O4*R4*W4*C5*J5, 245 F^(D^-1) = F*J*M*O*S*Z*J1*W1*X1*D2*N2*W2*K3*M3*Q3*U3*V3*A4*F4*O4*R4*C5*J5, 246 F^E = F, 247 F^(E^-1) = F, 248 G^A = G, 249 G^(A^-1) = G, 250 G^B =: G*J, 251 G^(B^-1) = G*J^-1*O*U^2*Z*D1*W1*X1*A2*P2*K3*M3*A4^2*F4*W4^2*X4*P5, 252 G^C = G, 253 G^(C^-1) = G, 254 G^D = G, 255 G^(D^-1) = G, 256 G^E = G*L*R*I1*T1*J2*L2*M2*R2^2*F3*R3*I4*M4*N4*S4*Y4*A5, 257 G^(E^-1) = G*L^-1*R*X*A1*I1*K1^2*N1*E2^2*F2^2*J2*M2*O2*R2*U2*Y2^2*C3*F3*G3*I3*L3*R3*S3*X3^2*B4^2*D4*I4*K4*M4*P4*Q4*S4^2*F5*I5^2*K5^2*L5, 258 G^F = G*M^-1*O*S*U^2*Z*B1^2*D1*J1*O1*W1*X1*A2*N2*S2*K3*M3*A4^2*F4*O4*R4*W4^2*J5^2, 259 G^(F^-1) = G*M*O*U^2*Z*D1*W1*X1*A2*P2*K3*M3*A4^2*F4*W4^2*X4*P5, 260 H^A = H, 261 H^(A^-1) = H, 262 H^B = H, 263 H^(B^-1) = H, 264 H^C = H*K, 265 H^(C^-1) = H*K^-1, 266 H^D = H*L^-1*N^-1*R*V^-1*X*Y*A1*G1*I1*K1^2*L1*U1*V1*Y1^2*B2*C2*E2*J2*L2*M2*O2*R2*T2*U2*X2^2*Y2^2*C3*E3*F3*I3*J3*L3*O3*S3*X3*Y3^2*Z3^2*D4*I4*L4*M4*Q4*S4^2*V4^2*Y4*A5*F5^2*G5^2*H5^2*I5*K5^2*L5^2*N5, 267 H^(D^-1) = H*L*N*R*X*Y*G1*H1*I1*N1*U1*V1*E2*J2*M2*O2*R2^2*Z2*C3*E3*G3*H3*I3*J3*L3*N3*O3^2*R3*X3^2*Y3*Z3^2*B4^2*I4*J4*K4*L4*N4*P4*T4*V4^2*Z4*A5*D5*G5^2*H5*K5^2*N5, 268 H^E = H, 269 H^(E^-1) = H, 270 H^F = H, 271 H^(F^-1) = H, 272 H^G = H*N*X*Y*G1*H1*N1*T1*U1*V1*E2*L2*O2*Z2*C3*E3*H3*I3*J3*L3*N3^2*O3^2*X3^2*Y3*Z3^2*B4^2*I4*J4*K4*L4*M4*P4*S4^2*T4*V4^2*Z4*A5*D5*G5^2*H5*K5^2*N5, 273 H^(G^-1) = H*N^-1*X*Y*C1^5*G1*H1*K1*L1*N1*P1*T1*V1*Y1^2*C2*E2^2*F2*H2*L2*O2*T2*U2*X2^2*C3*E3*I3*J3*L3*N3^2*O3*Y3^2*L4*M4*P4*S4^2*V4*D5*H5^2*I5^2*K5^2*O5, 274 I^A =: I*K, 275 I^(A^-1) = I*K^-1, 276 I^B = I, 277 I^(B^-1) = I, 278 I^C = I, 279 I^(C^-1) = I, 280 I^D = I*M^-2*O*P*Q^-1*S*U*M1^2*Q1*W1*G2*P2*W2*B3*D3*M3*P3*Q3^2*U3*F4*X4^2*C5*J5^2*P5, 281 I^(D^-1) = I*M^2*O*P^2*Q^-1*S*U*W^5*B1^2*D1*F1*M1*Q1*X1*A2^2*G2^2*W2*A3*B3^2*D3*K3*M3*P3*Q3^2*F4*W4^2*E5*P5, 282 I^E = I, 283 I^(E^-1) = I, 284 I^F = I, 285 I^(F^-1) = I, 286 I^G = I*P*S*B1*M1^2*O1*W1*A2^2*D2*P2*S2^2*D3*K3*P3*Q3^2*U3*V3*A4*O4*R4*C5*E5*J5^2*P5, 287 I^(G^-1) = I*P^2*S*W^3*B1*D1*E1^2*F1*M1*O1*X1*D2*S2*A3*B3*D3*P3*Q3*V3*C4^2*O4*R4*W4*X4*M5, 288 I^H = I, 289 I^(H^-1) = I, 290 J^A =: J*L, 291 J^(A^-1) = J*L^-1*X*K1*B2*N3*R3*G4*H4*S4^2, 292 J^B = J*O*U^2*D1*Q3^2*V3*A4*F4*X4*E5*P5, 293 J^(B^-1) = J*O*Z*W1*X1*D2*P2*K3*M3*Q3*U3*V3*A4*F4*E5*P5, 294 J^C =: J*M, 295 J^(C^-1) = J*M^-1*P*O1*N2*P2*S2^2*O4*X4*J5, 296 J^D = J, 297 J^(D^-1) = J, 298 J^E = J*R*A1*H1*I1*K1*T1*U1*B2*F2^2*J2*M2*O2*R2*U2*Y2^2*Z2*L3*N3^2*R3*S3*X3*Y3*Z3^2*B4*H4*Q4*V4*Y4*D5*F5*G5^2*H5^2*I5^2*K5*L5*N5*O5, 299 J^(E^-1) = J*R*H1*I1*N1*U1*E2^2*F2*J2*L2*M2*R2^2*U2*Y2*Z2*C3*F3*G3*I3*N3^2*S3*Y3*Z3^2*D4*G4*I4*N4*P4*S4*V4^2*A5*D5*F5^2*G5^2*H5*I5^2*L5^2*N5, 300 J^F = J*O*U^2*D1*Q3^2*V3*A4*F4*X4*E5*P5, 301 J^(F^-1) = J*O*Z*W1*X1*D2*P2*K3*M3*Q3*U3*V3*A4*F4*E5*P5, 302 J^G = J*Q^-1*W*E1^2*F1*D3*P3*Q3*V3*F4*E5*M5^2*P5, 303 J^(G^-1) = J*Q*W^5*E1*S1*S2^2*D3*C4*E5*J5*M5^2*P5, 304 J^H = J*R*A1*H1*I1*K1*T1*U1*B2*F2^2*J2*M2*O2*R2*U2*Y2^2*Z2*L3*N3^2*R3*S3*X3*Y3*Z3^2*B4*H4*Q4*V4*Y4*D5*F5*G5^2*H5^2*I5^2*K5*L5*N5*O5, 305 J^(H^-1) = J*R*H1*I1*N1*U1*E2^2*F2*J2*L2*M2*R2^2*U2*Y2*Z2*C3*F3*G3*I3*N3^2*S3*Y3*Z3^2*D4*G4*I4*N4*P4*S4*V4^2*A5*D5*F5^2*G5^2*H5*I5^2*L5^2*N5, 306 J^I = J*U^2*Z*D1*X1*D2*P2*M3*Q3^2*U3*V3*F4*X4^2*E5*P5, 307 J^(I^-1) = J*U*Z*X1*A2^2*D2*P2*M3*Q3^2*F4*X4^2*P5, 308 K^A = K, 309 K^(A^-1) = K, 310 K^B = K, 311 K^(B^-1) = K, 312 K^C = K, 313 K^(C^-1) = K, 314 K^D = K*N^-2*T*V^-1*X*G1*H1*K1^2*L1*T1*U1*Y1*Z1*B2*C2*E2*F2^2*J2*K2*O2*Q2^2*T2*U2*V2*X2^2*Y2*Z2^2*C3*E3*F3*H3*I3*N3^2*O3^2*W3^2*X3^2*Y3*Z3*B4*D4*E4*G4*H4*I4*K4*L4*M4*N4*Q4*S4*T4*U4^2*Y4*D5*F5^2*G5*H5*I5*L5^2*N5, 315 K^(D^-1) = K*N^2*T^2*V^-1*X*C1^5*G1*H1*K1^2*L1^2*R1*T1*U1*Z1^2*C2*E2^2*J2*K2*O2*Q2*X2*Y2^2*E3*F3*G3*H3*I3*L3*N3^2*O3*R3*S3*W3*Y3*Z3^2*E4*G4*I4*J4*L4*M4*U4*V4^2*Z4*D5*G5*H5^2*K5*L5*O5, 316 K^E = K, 317 K^(E^-1) = K, 318 K^F = K, 319 K^(F^-1) = K, 320 K^G = K*T*G1*U1*Y1^2*Z1*K2*Q2^2*V2*Z2^2*E3*L3*W3^2*Y3^2*Z3*E4*I4*J4*L4*N4*Q4*S4^2*T4^2*U4^2*Z4*F5*G5*L5*N5, 321 K^(G^-1) = K*T^2*C1^3*G1*P1^2*R1*U1*Y1^2*Z1^2*B2*K2*Q2*U2*Z2^2*E3*G3*L3*R3*S3*W3*Y3^2*Z3^2*B4*E4*H4*I4*J4*K4*L4*T4^2*U4*Y4*Z4*F5*G5*N5*O5, 322 K^H = K, 323 K^(H^-1) = K, 324 K^I = K, 325 K^(I^-1) = K, 326 K^J = K*A1^2*K1^2*N1*T1*E2^2*F2^2*L2*R2*U2*Y2^2*C3*F3*I3*N3^2*S3*X3^2*B4^2*D4*I4*K4*P4*S4*V4*A5*F5*H5^2*K5^2*L5, 327 K^(J^-1) = K*A1*K1*N1*T1*B2*E2*F2*L2*O2*R2^2*Y2*C3*F3*G3*I3*L3*N3^2*X3*B4*D4*H4*I4*N4*P4*Q4*S4^2*V4*Y4*A5*D5*F5^2*H5^2*K5*L5^2*O5, 328 L^A = L*X*K1*B2*J2*N3*R3*G4*S4^2*Y4, 329 L^(A^-1) = L*X*G3*N3^2*R3*G4*H4*S4^2*Y4, 330 L^B = L*R*A1*K1*N1*B2*E2^2*F2^2*O2*U2*Y2^2*C3*G3*L3*N3*R3*S3*X3^2*B4^2*H4*K4*N4*Q4*S4^2*Y4*A5*F5*I5^2*K5^2*L5, 331 L^(B^-1) = L*R*I1*T1*J2*L2*M2*R2^2*F3*R3*I4*M4*N4*S4*Y4*A5, 332 L^C = L*N*H1*N1*U1*E2*L2*O2*Z2*C3*F3*L3*X3^2*Y3*Z3^2*B4^2*H4*I4*K4*M4*P4*V4^2*A5*D5*G5^2*H5*K5^2*N5, 333 L^(C^-1) = L*N^-1*T*H1*N1*C2*E2^2*F2*L2*O2*T2*U2*Y2*Z2^2*C3*F3*H3*T3*Y3^2*D4*H4*J4*M4*P4*V4*Z4*F5*H5^2*I5^2*L5, 334 L^D = L, 335 L^(D^-1) = L, 336 L^E = L*X*K1*B2*J2*N3*R3*G4*S4^2*Y4, 337 L^(E^-1) = L*X*G3*N3^2*R3*G4*H4*S4^2*Y4, 338 L^F = L*R*A1*K1*N1*B2*E2^2*F2^2*O2*U2*Y2^2*C3*G3*L3*N3*R3*S3*X3^2*B4^2*H4*K4*N4*Q4*S4^2*Y4*A5*F5*I5^2*K5^2*L5, 339 L^(F^-1) = L*R*I1*T1*J2*L2*M2*R2^2*F3*R3*I4*M4*N4*S4*Y4*A5, 340 L^G = L*V^-1*C1*P1^2*R1*U2*C3*S3*X3^2*B4*A5*F5*K5*L5^2*N5, 341 L^(G^-1) = L*V*C1^5*P1*H2*U2*C3*S3*X3*B4^2*A5*D5*F5^2*K5^2*L5^2*N5, 342 L^H = L*X*K1*B2*J2*N3*R3*G4*S4^2*Y4, 343 L^(H^-1) = L*X*G3*N3^2*R3*G4*H4*S4^2*Y4, 344 L^I = L*A1*I1*K1*N1*T1*B2*E2^2*F2^2*J2*L2*O2*R2^2*U2*Y2^2*C3*F3*G3*I3*L3*N3*S3*X3^2*B4^2*H4*I4*K4*M4*N4*Q4*A5*B5*F5*I5*K5^2*L5, 345 L^(I^-1) = L*A1^2*I1*K1^2*N1*T1*E2*F2*J2*L2*V2*Y2*C3*F3*I3*N3*X3*B4*I4*M4*N4*Q4*S4^2*B5*F5^2*I5^2*K5*L5^2*O5, 346 L^J = L*H1*N1*U1*E2^2*F2*L2*O2*U2*Y2*Z2*C3*F3*L3*S3*Y3*Z3^2*D4*H4*I4*K4*M4*P4*V4*D5*F5^2*G5^2*H5^2*I5^2*L5^2*N5, 347 L^(J^-1) = L*H1*N1*U1*E2*L2*O2*Z2*C3*F3*L3*X3^2*Y3*Z3^2*B4^2*H4*I4*K4*M4*P4*V4^2*A5*D5*G5^2*H5*K5^2*N5, 348 L^K = L*K1*B2*J2*G3*N3^2*H4*S4^2*Y4, 349 L^(K^-1) = L*K1^2*B2*J2*G3*N3*H4, 350 M^A =: M*N, 351 M^(A^-1) = M*N^-1*G1*Y1*T2*F3*R3*H4*I4*T4*Y4*Z4, 352 M^B =: M*O, 353 M^(B^-1) = M*O*U^2*Z*D1*W1*X1*A2*P2*K3*M3*A4^2*F4*W4^2*X4*P5, 354 M^C =: M*P, 355 M^(C^-1) = M*P^2*W^3*D1*F1*O1*S1*W1*X1*A2^2*N2*B3*D3*K3*P3^2*Q3^2*V3*A4*F4*O4*W4*X4^2*E5*M5^2, 356 M^D =: M*Q, 357 M^(D^-1) = M*Q^-1*F1*S2*P3*Q3*C4^2*X4*J5^2*P5, 358 M^E = M*R*H1*I1*N1*T1*U1*E2^2*F2*J2*M2*O2*R2^2*U2*Y2*Z2*C3*L3*R3*S3*Y3*Z3^2*D4*H4*N4*P4*S4*V4*Y4*F5^2*G5^2*H5^2*I5^2*L5^2*N5, 359 M^(E^-1) = M*R*A1*H1*I1*K1*U1*B2*F2^2*J2*L2*M2*R2*U2*Y2^2*Z2*F3*G3*I3*N3^2*R3*S3*X3*Y3*Z3^2*B4*G4*I4*Q4*V4^2*A5*F5*G5^2*H5*I5^2*K5*L5*N5*O5, 360 M^F = M*S*U*Z*J1*W1*D2*N2*P2*W2*Q3*U3*V3*A4^2*F4*O4*R4*W4*C5*E5*J5, 361 M^(F^-1) = M*S*U^2*Z*B1^2*D1*O1*W1*A2*D2*K3*M3*Q3^2*V3*A4*F4*W4^2*J5, 362 M^G = M*W^5*E1*S2*B3^2*D3*W4*X4*E5*J5^2*P5, 363 M^(G^-1) = M*W*E1^2*S1*S2^2*B3*V3*W4^2*X4*E5*J5*P5, 364 M^H = M*Y*A1^2*K1^2*N1*T1*U1*V1*C2*E2^2*F2^2*O2*R2*U2*X2^2*Y2^2*Z2*C3*E3*H3*I3*J3*L3*N3*O3^2*R3*S3*X3^2*Y3*Z3^2*B4^2*D4*E4*G4*H4*I4*J4*K4*L4*P4*S4*T4^2*F5*G5^2*K5^2*L5*N5, 365 M^(H^-1) = M*Y*A1*K1*L1*N1*T1*U1*V1*Y1*B2*E2*F2*K2*R2^2*T2*Y2*Z2^2*C3*E3*G3*I3*J3*L3*O3*R3*X3*Y3^2*Z3^2*B4*D4*G4*N4*P4*Q4*S4^2*T4^2*Y4*Z4*G5^2*K5*O5, 366 M^I = M*B1^2*J1*O1*P2*W2*M3*Q3^2*U3*V3*A4*F4*R4*C5*E5, 367 M^(I^-1) = M*B1*J1*P2*S2^2*W2*M3*Q3*U3*V3*A4^2*F4*R4*X4, 368 M^J = M, 369 M^(J^-1) = M, 370 M^K = M*L1*Y1*C2*K2*T2*X2*Z2*H3*L3*O3^2*Y3*E4*I4*J4*L4*T4^2*V4*A5*D5*F5*H5^2*L5*N5, 371 M^(K^-1) = M*L1^2*Y1^2*C2*K2*X2^2*Z2^2*H3*O3*S3*Y3^2*E4*I4*L4*V4^2*A5*D5*F5^2*H5*L5^2*N5, 372 M^L = M*H1*N1*U1*E2^2*F2*L2*O2*U2*Y2*Z2*C3*F3*L3*S3*Y3*Z3^2*D4*H4*I4*M4*P4*V4*F5^2*G5^2*H5^2*I5^2*L5^2*N5, 373 M^(L^-1) = M*H1*N1*U1*E2*L2*O2*Z2*C3*F3*L3*X3^2*Y3*Z3^2*B4^2*H4*I4*K4*M4*P4*V4^2*A5*D5*G5^2*H5*K5^2*N5, 374 N^A = N*G1*Y1*T2*E3*F3*R3*I4*T4*Z4, 375 N^(A^-1) = N*G1*F3*R3*H4*I4*J4*T4^2*Y4*Z4, 376 N^B =: N*R, 377 N^(B^-1) = N*R*A1*I1*K1*N1*T1*B2*E2^2*F2^2*J2*L2*M2*O2*R2*U2*V2*Y2^2*C3*F3*G3*L3*N3^2*R3*S3*X3^2*B4^2*H4*I4*K4*M4*Q4*Y4*B5*F5*I5*K5^2*L5, 378 N^C = N*T*X2^2*Z2^2*S3*Y3^2*E4*D5*F5^2*L5^2, 379 N^(C^-1) = N*T^2*C1^3*R1*B2*H2*T2*U2*V2*X2*Z2*G3*R3*S3*T3*W3^2*Y3*Z3^2*B4*H4*J4*K4*N4*Q4*S4^2*Y4*Z4*F5*G5^2*L5*O5, 380 N^D = N*V*U2*C3*X3*B4^2*E4*A5*D5*K5^2*O5, 381 N^(D^-1) = N*V^-1*R1*U2*C3*X3^2*B4*E4*A5*D5*K5*L5^2*O5, 382 N^E = N*X*J2*N3^2*R3*G4, 383 N^(E^-1) = N*X*K1*B2*G3*N3*R3*G4*H4*S4^2*Y4, 384 N^F = N*Y*A1^2*I1*K1^2*N1*T1*V1*E2*F2*J2*K2*M2*R2^2*V2*Y2*C3*E3*G3*H3*J3*N3^2*O3^2*R3*X3*B4*I4*M4*N4*P4*Q4*S4^2*Y4*Z4*B5*F5^2*I5^2*K5*L5^2*O5, 385 N^(F^-1) = N*Y*A1*I1*K1*L1*N1*T1*Y1*B2*C2*E2^2*F2^2*J2*M2*O2*R2*T2*U2*X2^2*Y2^2*Z2^2*C3*N3^2*R3*X3^2*Y3^2*B4^2*E4*H4*J4*K4*M4*P4*T4*Y4*Z4*I5^2*K5^2, 386 N^G = N*C1^5*P1*S3*X3*B4*E4*F5*K5^2*L5^2*N5, 387 N^(G^-1) = N*C1*P1^2*H2*S3*X3^2*B4^2*E4*D5*F5^2*K5*L5*O5, 388 N^H = N*G1*K1^2*B2*J2*N3*J4*S4*T4^2*Y4*Z4, 389 N^(H^-1) = N*G1*K1*Y1*B2*J2*T2*E3*N3^2*T4*Z4, 390 N^I = N*L1*V1*Y1*C2*K2*T2*X2^2*Z2^2*E3*H3*L3*O3^2*S3*Y3^2*E4*I4*J4*L4*Q4*T4*A5*F5^2*I5^2*L5^2, 391 N^(I^-1) = N*L1^2*V1*Y1^2*C2*K2*X2*Z2*E3*H3*T3*Y3*E4*I4*L4*Q4*T4*A5*F5*I5*L5, 392 N^J = N*H1*N1*U1*E2*L2*O2*Z2*C3*F3*L3*X3^2*Y3*Z3^2*B4^2*H4*I4*K4*M4*P4*V4^2*A5*D5*G5^2*H5*K5^2*N5, 393 N^(J^-1) = N*H1*N1*U1*E2^2*F2*L2*O2*U2*Y2*Z2*C3*F3*L3*S3*Y3*Z3^2*D4*H4*I4*K4*M4*P4*V4*D5*F5^2*G5^2*H5^2*I5^2*L5^2*N5, 394 N^K = N*Y1*T2*E3*J4*T4^2, 395 N^(K^-1) = N*Y1^2*T2*E3*J4*T4, 396 N^L = N, 397 N^(L^-1) = N, 398 N^M = N*U1*C2*E2*F2*U2*X2^2*Y2*Z2*H3*L3*S3*X3*Y3*Z3^2*B4*D4*E4*I4*K4*V4^2*A5*F5^2*G5^2*H5*I5^2*K5*L5^2*N5*O5, 399 N^(M^-1) = N*U1*C2*E2^2*F2^2*U2*X2*Y2^2*C3*H3*L3*X3^2*Z3^2*B4^2*E4*I4*K4*V4*A5*D5*G5^2*H5^2*I5*K5^2, 400 O^A = O*X*A1^2*H1*K1^2*T1*U1*F2^2*J2*U2*Y2^2*Z2*F3*G3*N3^2*R3*S3*X3*Y3*Z3^2*B4*D4*I4*K4*M4*Q4*S4*Y4*B5*D5*F5*G5^2*K5*L5*N5*O5, 401 O^(A^-1) = O*X*A1*H1*K1*T1*U1*B2*F2^2*J2*O2*U2*Y2^2*Z2*L3*N3^2*S3*X3*Y3*Z3^2*B4*K4*M4*N4*S4*B5*D5*F5*G5^2*I5^2*K5*L5*N5*O5, 402 O^B = O*Z*A2*D2*M3*U3, 403 O^(B^-1) = O*Z*W1*K3, 404 O^C =: O*S, 405 O^(C^-1) = O*S*B1^2*M1^2*D3*V3*F4*C5*E5*J5^2*P5, 406 O^D = O, 407 O^(D^-1) = O, 408 O^E = O*I1*T1*J2*L2*M2*R2*V2*G3*N3*R3*N4*S4*Y4*I5, 409 O^(E^-1) = O*I1*T1*J2*L2*M2*R2^2*G3*I3*G4*N4*Q4*S4*A5*B5, 410 O^F = O*Z*A2*D2*M3*U3, 411 O^(F^-1) = O*Z*W1*K3, 412 O^G = O*D1*Q1*X1*D2*P2*B3^2*A4^2*C4*X4*M5^2*P5, 413 O^(G^-1) = O*D1*Q1^2*X1*D2*I2*P2*D3*U3*V3*A4*F4*X4^2*E5*P5, 414 O^H = O*I1*T1*J2*L2*M2*R2*V2*G3*N3*R3*N4*S4*Y4*I5, 415 O^(H^-1) = O*I1*T1*J2*L2*M2*R2^2*G3*I3*G4*N4*Q4*S4*A5*B5, 416 O^I = O*W1*A2*D2*M3*U3, 417 O^(I^-1) = O*W1*A2^2*D2*M3*W4, 418 O^J = O*X1*D2*P2*Q3*V3*A4*F4*E5*P5, 419 O^(J^-1) = O*X1*D2*P2*A4^2*X4, 420 O^K = O*R2^2*V2*I3*N3*R3*G4*Q4*Y4*A5*B5*I5, 421 O^(K^-1) = O*R2*V2*I3*N3^2*R3*G4*Q4*Y4*A5*B5*I5^2, 422 O^L = O*O2*V2*F3*L3*R3*H4*I4*K4*V4*Y4*A5*D5*H5^2*I5, 423 O^(L^-1) = O*O2*V2*F3*L3*R3*H4*I4*K4*V4^2*Y4*A5*H5*I5^2, 424 O^M = O*X1*D2*P2*A4^2*X4, 425 O^(M^-1) = O*X1*D2*P2*Q3*V3*A4*F4*E5*P5, 426 O^N = O*O2*V2*F3*L3*R3*H4*I4*K4*V4^2*Y4*A5*H5*I5^2, 427 O^(N^-1) = O*O2*V2*F3*L3*R3*H4*I4*K4*V4*Y4*A5*D5*H5^2*I5, 428 P^A =: P*T, 429 P^(A^-1) = P*T^2*C1^3*R1*B2*H2*Q2^2*T2*U2*V2*G3*R3*S3*B4*H4*I4*J4*K4*N4*Q4*S4^2*Y4*Z4*O5, 430 P^B =: P*U, 431 P^(B^-1) = P*U^2*D1*A2*K3*M3*F4*P5, 432 P^C = P*O1*N2*P2*S2*P3*V3*F4*O4*E5*J5^2, 433 P^(C^-1) = P*O1*N2*P2*S2^2*V3*F4*O4*X4*J5, 434 P^D = P*W^2*F1*S1*I2*S2*D3*P3^2*Q3*C4^2*F4*X4^2*J5^2*M5^2, 435 P^(D^-1) = P*W^4*F1*I2*S2*D3*P3*Q3^2*C4^2*F4*X4*J5^2, 436 P^E = P*A1^2*K1^2*N1*E2^2*F2^2*O2*R2*U2*V2*Y2^2*C3*G3*L3*N3*S3*X3^2*B4^2*D4*H4*K4*N4*P4*Q4*S4*V4*F5*H5^2*K5^2*L5, 437 P^(E^-1) = P*A1*K1*N1*B2*E2*F2*R2^2*V2*Y2*C3*X3*B4*D4*P4*S4^2*V4^2*Y4*F5^2*H5*K5*L5^2*O5, 438 P^F = P*B1^2*O1*A2*S2*W2*K3*M3*U3*W4*C5, 439 P^(F^-1) = P*B1*A2*W2*K3*M3*F4*O4*R4*P5, 440 P^G = P*E1^2*S1*S2^2*D3*P3*V3*C4*F4*E5*J5*M5, 441 P^(G^-1) = P*E1*D3*X4*E5*P5, 442 P^H = P*L1*Y1*C2*T2*V2*X2*Z2*N3*O3^2*Y3*E4*N4*Q4*Y4*Z4*A5*F5*L5*N5, 443 P^(H^-1) = P*L1^2*Y1^2*C2*V2*X2^2*Z2^2*L3*N3*O3*S3*Y3^2*E4*J4*N4*Q4*T4*Y4*Z4*A5*F5^2*L5^2*N5, 444 P^I = P*M1^2*W2*D3*P3*U3*F4*X4^2*C5*E5*P5, 445 P^(I^-1) = P*M1*W2*U3*F4, 446 P^J = P*V3*F4*E5*P5, 447 P^(J^-1) = P*V3*F4*E5*P5, 448 P^K = P*Z1*Q2*W3*Z3*E4*U4^2*Z4*G5*N5, 449 P^(K^-1) = P*Z1^2*Q2^2*W3^2*Z3^2*E4*U4*Z4*G5^2, 450 P^L = P*E2*F2*U2*Y2*S3*X3*B4*D4*V4^2*A5*D5*F5^2*H5*I5^2*K5*L5^2*O5, 451 P^(L^-1) = P*E2^2*F2^2*U2*Y2^2*C3*S3*X3^2*B4^2*V4*A5*F5*H5^2*I5*K5^2*L5, 452 P^M = P*V3*F4*E5*P5, 453 P^(M^-1) = P*V3*F4*E5*P5, 454 P^N = P*X2*Z2*S3*Y3*D5*F5*L5*N5, 455 P^(N^-1) = P*X2^2*Z2^2*S3*Y3^2*E4*D5*F5^2*L5^2, 456 P^O = P*Q3*V3*A4^2*F4*X4^2*E5*P5, 457 Q^A =: Q*V, 458 Q^(A^-1) = Q*V^-1*B2*T2*Y2^2*F3*G3*R3*Y3^2*J4*Y4*Z4*K5^2, 459 Q^B = Q, 460 Q^(B^-1) = Q, 461 Q^C =: Q*W, 462 Q^(C^-1) = Q*W^5*E1*S1*S2^2*D3*C4*E5*J5*M5^2*P5, 463 Q^D = Q*F1*I2*S2*P3*Q3*C4^2*F4*X4*J5^2*P5, 464 Q^(D^-1) = Q*F1^5*I2*S2^2*P3^2*Q3*C4*X4^2*J5*P5, 465 Q^E = Q, 466 Q^(E^-1) = Q, 467 Q^F = Q*D1*O1*Q1^2*D2*G2^2*I2*W2*Q3^2*V3*A4*J5, 468 Q^(F^-1) = Q*D1*O1*Q1*G2*I2*Q3^2*U3*V3*F4*C5, 469 Q^G = Q*F1^5*I2*S2^2*P3^2*Q3*C4*X4^2*J5*P5, 470 Q^(G^-1) = Q*F1*I2*S2*P3*Q3*C4^2*F4*X4*J5^2*P5, 471 Q^H = Q*N1*C2*E2*F2^2*O2*U2*X2*Y2^2*Z2^2*C3*G3*Y3^2*E4*H4*J4*K4*P4*Y4*A5*H5^2*I5, 472 Q^(H^-1) = Q*N1*C2*E2^2*F2*O2*U2*X2^2*Y2*Z2*C3*G3*R3*Y3*D4*E4*H4*J4*K4*P4*Y4*Z4*A5*H5*I5^2*N5, 473 Q^I = Q*Q1^2*D2*G2^2*I2*W2*Q3^2*U3*V3*A4*F4*C5*J5, 474 Q^(I^-1) = Q*Q1*D2*G2*W2, 475 Q^J = Q, 476 Q^(J^-1) = Q, 477 Q^K = Q*E2*F2^2*X2*Y2^2*Z2^2*R3*Y3^2*Z4*D5*H5^2*I5*O5, 478 Q^(K^-1) = Q*E2^2*F2*X2^2*Y2*Z2*C3*R3*Y3*D4*E4*Z4*H5*I5^2*N5, 479 Q^L = Q, 480 Q^(L^-1) = Q, 481 Q^M = Q*B3*F4*W4^2, 482 Q^(M^-1) = Q*B3^2*W4, 483 Q^N = Q*U2*C3*X3^2*B4*E4*A5*D5*K5*O5, 484 Q^(N^-1) = Q*U2*C3*X3*B4^2*E4*A5*D5*K5^2*O5, 485 Q^O = Q, 486 Q^P = Q*B3*F4*W4^2, 487 R^A =: R*X, 488 R^(A^-1) = R*X*K1*B2*J2*G3*H4, 489 R^B = R*I1*T1*J2*R2*G3*I3*N3*M4*P4*Q4*S4*A5, 490 R^(B^-1) = R*I1*T1*J2*M2*R2^2*V2*G3*R3*M4*N4*P4*S4*Y4*A5*B5*I5, 491 R^C =: R*Y, 492 R^(C^-1) = R*Y*L1*Y1*Z1*Q2*T2*V2*X2^2*Z2^2*L3*S3*T3*W3^2*Y3^2*Z3^2*J4*N4*Q4*T4*Y4*Z4*F5^2*G5^2*L5^2*N5, 493 R^D = R, 494 R^(D^-1) = R, 495 R^E = R*T1*N3*R3*G4, 496 R^(E^-1) = R*T1, 497 R^F = R*I1*T1*J2*R2*G3*I3*N3*M4*P4*Q4*S4*A5, 498 R^(F^-1) = R*I1*T1*J2*M2*R2^2*V2*G3*R3*M4*N4*P4*S4*Y4*A5*B5*I5, 499 R^G = R*H1*U1*F2*Y2*Z2*X3^2*Y3*Z3^2*D4*G5^2*I5^2*L5^2*N5*O5, 500 R^(G^-1) = R*H1*U1*Z2*Y3*Z3^2*D5*F5^2*G5^2*L5^2*N5, 501 R^H = R*T1*N3*R3*G4, 502 R^(H^-1) = R*T1, 503 R^I = R*M2*R2^2*V2*I3*N3*R3*Q4*Y4*B5*I5^2, 504 R^(I^-1) = R*M2*R2*V2*I3*N3^2*R3*Q4*Y4*I5, 505 R^J = R*L2*O2*F3*L3*H4*I4*K4*M4*P4*V4*A5*D5*H5^2, 506 R^(J^-1) = R*L2*O2*F3*L3*H4*I4*K4*M4*P4*V4^2*H5, 507 R^K = R*N3*R3*G4, 508 R^(K^-1) = R*N3^2*R3*G4, 509 R^L = R*F3*G3*R3*I4*Y4, 510 R^(L^-1) = R*F3*G3*R3*I4*Y4, 511 R^M = R*L2*O2*F3*L3*H4*I4*K4*M4*P4*V4^2*H5, 512 R^(M^-1) = R*L2*O2*F3*L3*H4*I4*K4*M4*P4*V4*A5*D5*H5^2, 513 R^N = R*F3*G3*R3*I4*Y4, 514 R^(N^-1) = R*F3*G3*R3*I4*Y4, 515 R^O = R*M4*Q4*B5, 516 R^P = R*V4*A5*D5*H5^2, 517 R^Q = R, 518 R^(Q^-1) = R, 519 S^A = S*G1*L1^2*U1*Y1^2*K2*Z2^2*E3*Y3^2*Z3^2*I4*J4*T4^2*Z4*D5*F5*G5^2*L5*N5, 520 S^(A^-1) = S*G1*L1*U1*Y1*K2*T2*Z2^2*E3*L3*Y3^2*Z3^2*T4^2*D5*F5*G5^2*L5, 521 S^B =: S*Z, 522 S^(B^-1) = S*Z*W1*A2*D2*K3*M3*W4^2, 523 S^C = S*M1^2*O1*P2*W2*D3*V3*F4*X4*C5*E5*P5, 524 S^(C^-1) = S*M1*O1*P2*W2*V3*F4*X4^2*E5*P5, 525 S^D = S*D1*O1*Q1^2*X1*D2*G2^2*I2*W2*U3*V3*A4*F4*C5*J5, 526 S^(D^-1) = S*D1*O1*Q1*X1*D2*G2*W2*B3^2*A4^2*J5^2, 527 S^E = S*I1*T1*J2*L2*M2*R2^2*G3*N4*Q4*S4*A5*B5, 528 S^(E^-1) = S*I1*T1*J2*L2*M2*R2*V2*G3*I3*N3*R3*G4*N4*S4*Y4*I5, 529 S^F = S*J1*W1*A2^2*D2*N2*K3*M3*U3*O4, 530 S^(F^-1) = S*J1*W1*A2*D2*S2*W2*K3*M3*R4*W4^2*C5, 531 S^G = S*O1*G2*P2*W2*C4^2*E5*J5^2*M5, 532 S^(G^-1) = S*O1*G2^2*P2*W2*D3*C5*J5, 533 S^H = S*V1*K2*R2*V2*E3*H3*I3*J3*N3^2*O3^2*R3*G4*J4*L4*Q4*Y4*A5*B5*I5^2, 534 S^(H^-1) = S*V1*K2*R2^2*V2*E3*H3*I3*J3*N3*O3*R3*T3*G4*J4*Q4*T4*Y4*Z4*A5*B5*I5, 535 S^I = S*N2*S2*W2*R4*C5, 536 S^(I^-1) = S*N2*S2^2*W2*R4, 537 S^J = S*X1*D2*P2*A4^2*X4, 538 S^(J^-1) = S*X1*D2*P2*Q3*V3*A4*F4*E5*P5, 539 S^K = S*O3^2*T3*L4*T4*Z4, 540 S^(K^-1) = S*O3*T3*L4*T4^2*Z4, 541 S^L = S*O2*V2*F3*L3*R3*H4*I4*K4*V4^2*Y4*A5*H5*I5^2, 542 S^(L^-1) = S*O2*V2*F3*L3*R3*H4*I4*K4*V4*Y4*A5*D5*H5^2*I5, 543 S^M = S*P2*W2*Q3*V3*A4^2*F4*E5*J5, 544 S^(M^-1) = S*P2*W2*Q3^2*V3*A4*F4*X4*J5^2*P5, 545 S^N = S*L3*T3*I4*V4^2*Z4*D5*H5*I5^2, 546 S^(N^-1) = S*L3*T3*I4*V4*Z4*D5*H5^2*I5, 547 S^O = S, 548 S^P = S*X4^2*E5*J5*P5, 549 S^Q = S*V3*F4, 550 S^(Q^-1) = S*V3*F4, 551 S^R = S*M4*Q4*B5, 552 T^A = T*Q2^2*T2*I4*J4*Z4, 553 T^(A^-1) = T*Q2*T2*I4*J4*Z4*N5, 554 T^B = T*A1^2*K1^2*N1*E2*F2*Y2*C3*N3^2*R3*X3*B4*S4*A5*B5*F5^2*K5*L5^2*O5, 555 T^(B^-1) = T*A1*K1*N1*B2*E2^2*F2^2*O2*R2^2*U2*V2*Y2^2*C3*G3*L3*N3^2*R3*S3*X3^2*B4^2*H4*K4*N4*Q4*S4^2*A5*F5*I5^2*K5^2*L5, 556 T^C = T*T2*S3*T3*J4*Z4*D5, 557 T^(C^-1) = T*T2*S3*T3*J4*Z4*D5, 558 T^D = T*C1^2*R1*H2*D4*F5^2*O5, 559 T^(D^-1) = T*C1^4*R1*D4*F5*L5*O5, 560 T^E = T*K1^2*B2*N3*S4, 561 T^(E^-1) = T*K1*B2*N3^2*Y4, 562 T^F = T*L1*Y1*C2*R2^2*T2*V2*X2^2*Z2^2*L3*N3*O3^2*S3*T3*Y3^2*E4*J4*T4^2*Y4*A5*F5^2*I5^2*L5^2, 563 T^(F^-1) = T*L1^2*Y1^2*C2*R2^2*V2*X2*Z2*N3*Y3*E4*T4^2*Y4*A5*F5*I5^2*L5, 564 T^G = T*P1^2*H2*D5*L5*N5, 565 T^(G^-1) = T*P1*N5, 566 T^H = T*Y1*T2*S4*T4^2, 567 T^(H^-1) = T*Y1^2*T2*S4*T4, 568 T^I = T*Z1*Q2*T3*W3^2*Z3^2*E4*U4^2*Z4*G5^2*N5, 569 T^(I^-1) = T*Z1^2*Q2^2*T3*W3*Z3*E4*Z4*G5, 570 T^J = T*E2^2*F2^2*U2*Y2^2*C3*S3*X3^2*B4^2*V4*A5*D5*F5*H5^2*I5*K5^2*L5, 571 T^(J^-1) = T*E2*F2*U2*Y2*S3*X3*B4*D4*V4^2*A5*F5^2*H5*I5^2*K5*L5^2*O5, 572 T^K = T*Q2*N5, 573 T^(K^-1) = T*Q2^2*N5, 574 T^L = T, 575 T^(L^-1) = T, 576 T^M = T*X2^2*Z2^2*S3*Y3^2*E4*F5^2*L5^2, 577 T^(M^-1) = T*X2*Z2*S3*Y3*F5*L5*N5, 578 T^N = T, 579 T^(N^-1) = T, 580 T^O = T*V4^2*D5*H5*I5^2, 581 T^P = T*W3^2*Z3^2*G5^2, 582 T^Q = T*X3*B4^2*K5^2, 583 T^(Q^-1) = T*X3^2*B4*K5*O5, 584 T^R = T, 585 T^S = T, 586 U^A =: U*A1, 587 U^(A^-1) = U*A1^2*K1*B2*O2*U2*G3*L3*R3*S3*H4*K4*N4*Q4*Y4*D5*O5, 588 U^B = U*A2*D2*U3, 589 U^(B^-1) = U*A2^2*D2*W4, 590 U^C =: U*B1, 591 U^(C^-1) = U*B1^2*M1*O1*W2*O4*R4*P5, 592 U^D = U, 593 U^(D^-1) = U, 594 U^E = U*R2^2*V2*N3*R3*P4*Y4*A5*B5*I5, 595 U^(E^-1) = U*R2*V2*N3^2*R3*P4*Y4*A5*B5*I5^2, 596 U^F = U*A2*D2*U3, 597 U^(F^-1) = U*A2^2*D2*W4, 598 U^G = U*Q1^2*I2*B3*D3*Q3*U3*V3*A4*C4^2*F4*E5*M5, 599 U^(G^-1) = U*Q1*Q3*A4^2*F4*X4^2*P5, 600 U^H = U*R2^2*V2*N3*R3*P4*Y4*A5*B5*I5, 601 U^(H^-1) = U*R2*V2*N3^2*R3*P4*Y4*A5*B5*I5^2, 602 U^I = U*A2^2*U3*F4*W4*P5, 603 U^(I^-1) = U*A2*U3, 604 U^J = U*Q3*V3*A4^2*F4*X4^2*E5*P5, 605 U^(J^-1) = U*Q3^2*V3*A4*F4*X4*E5*P5, 606 U^K = U*R2*N3^2*I5^2, 607 U^(K^-1) = U*R2^2*N3*I5, 608 U^L = U*V4^2*D5*H5*I5^2, 609 U^(L^-1) = U*V4*D5*H5^2*I5, 610 U^M = U*Q3^2*V3*A4*F4*X4*E5*P5, 611 U^(M^-1) = U*Q3*V3*A4^2*F4*X4^2*E5*P5, 612 U^N = U*V4*D5*H5^2*I5, 613 U^(N^-1) = U*V4^2*D5*H5*I5^2, 614 U^O = U, 615 U^P = U*Q3*A4^2*X4^2, 616 U^Q = U, 617 U^(Q^-1) = U, 618 U^R = U, 619 U^S = U, 620 U^T = U*V4^2*H5*I5^2, 621 V^A = V*B2*T2*Y2^2*F3*G3*R3*Y3^2*H4*J4*Y4*Z4*K5^2, 622 V^(A^-1) = V*B2*T2*Y2*F3*G3*R3*Y3*D4*J4*Y4*Z4*K5*N5, 623 V^B = V, 624 V^(B^-1) = V, 625 V^C = V*C1*O5, 626 V^(C^-1) = V*C1^5*P1*H2*L5*N5*O5, 627 V^D = V*R1*D4*L5^2*N5*O5, 628 V^(D^-1) = V*R1^5*D4*L5*N5*O5, 629 V^E = V, 630 V^(E^-1) = V, 631 V^F = V*N1*C2*E2^2*V2*X2^2*C3*R3*T3*E4*Y4*Z4*B5*H5^2*I5^2, 632 V^(F^-1) = V*N1*C2*E2*X2*C3*E4, 633 V^G = V*R1^5*D4*L5*N5*O5, 634 V^(G^-1) = V*R1*D4*L5^2*N5*O5, 635 V^H = V*B2*T2*Y2*Y3*D4*N5, 636 V^(H^-1) = V*B2*T2*Y2^2*Y3^2*Y4, 637 V^I = V*E2^2*V2*X2^2*C3*R3*T3*E4*Y4*Z4*H5^2*I5^2, 638 V^(I^-1) = V*E2*V2*X2*R3*T3*Y4*Z4, 639 V^J = V, 640 V^(J^-1) = V, 641 V^K = V*Y2*Y3*D4*Y4*N5, 642 V^(K^-1) = V*Y2^2*Y3^2*D4*Y4*N5, 643 V^L = V, 644 V^(L^-1) = V, 645 V^M = V*U2*C3*X3*E4*A5*D5*O5, 646 V^(M^-1) = V*U2*C3*X3^2*E4*A5*D5*O5, 647 V^N = V*K5^2, 648 V^(N^-1) = V*K5, 649 V^O = V, 650 V^P = V*X3, 651 V^Q = V*O5, 652 V^(Q^-1) = V*O5, 653 V^R = V, 654 V^S = V*D5, 655 V^T = V*K5^2, 656 V^U = V, 657 W^A =: W*C1, 658 W^(A^-1) = W*C1^5*H2*T2*Y3^2*I4*J4*Z4*G5^2*L5*N5, 659 W^B =: W*D1, 660 W^(B^-1) = W*D1*D2*I2*D3*Q3^2*V3*F4*X4^2*E5*P5, 661 W^C =: W*E1, 662 W^(C^-1) = W*E1^2*S1*S2^2*V3*C4*F4*X4*E5*J5*M5^2, 663 W^D =: W*F1, 664 W^(D^-1) = W*F1^5*F4*X4, 665 W^E = W*N1*O2*U2*C3*G3*L3*R3*S3*H4*K4*P4*Y4*A5*D5*O5, 666 W^(E^-1) = W*N1*O2*U2*G3*L3*S3*H4*K4*P4*Y4*A5, 667 W^F = W*O1*Q1*D2*G2*W2*D3*U3*A4^2*F4*X4^2*E5*J5^2*P5, 668 W^(F^-1) = W*O1*Q1^2*D2*G2^2*I2*Q3^2*V3*C5*P5, 669 W^G = W*S1*S2*D3*P3^2*C4^2*X4*J5^2*M5^2, 670 W^(G^-1) = W*S1*D3*P3*X4*M5^2*P5, 671 W^H = W*C2*E2^2*F2*X2^2*Y2*Z2*C3*L3*R3*S3*Y3*D4*E4*J4*H5*I5^2*N5, 672 W^(H^-1) = W*C2*E2*F2^2*X2*Y2^2*Z2^2*L3*R3*S3*Y3^2*E4*J4*Z4*D5*H5^2*I5*O5, 673 W^I = W*G2^2*W2*A3^2*D3*X4^2*C5*E5*J5, 674 W^(I^-1) = W*G2*W2*A3*P5, 675 W^J = W, 676 W^(J^-1) = W, 677 W^K = W*X2*Z2^2*W3*Y3^2*Z3^2*Z4*G5^2, 678 W^(K^-1) = W*X2^2*Z2*W3^2*Y3*Z3*E4*Z4*G5*N5, 679 W^L = W*U2*C3*S3*A5*D5*O5, 680 W^(L^-1) = W*U2*C3*S3*A5*D5, 681 W^M = W*B3^2*W4, 682 W^(M^-1) = W*B3*F4*W4^2, 683 W^N = W*S3*X3*B4^2*E4*K5^2, 684 W^(N^-1) = W*S3*X3^2*B4*E4*K5*O5, 685 W^O = W*V3*F4*E5*P5, 686 W^P = W*C4*P5, 687 W^Q = W, 688 W^(Q^-1) = W, 689 W^R = W*A5*D5, 690 W^S = W*E5*P5, 691 W^T = W*F5^2*L5, 692 W^U = W, 693 W^V = W*O5, 694 W^(V^-1) = W*O5, 695 X^A = X*J2*S4^2, 696 X^(A^-1) = X*J2*S4^2*Y4, 697 X^B = X*T1*N3*R3, 698 X^(B^-1) = X*T1*I3*G4, 699 X^C = X*G1, 700 X^(C^-1) = X*G1*Y1*Q2*N5, 701 X^D = X, 702 X^(D^-1) = X, 703 X^E = X*J2*S4*Y4, 704 X^(E^-1) = X*J2, 705 X^F = X*T1*N3*R3, 706 X^(F^-1) = X*T1*I3*G4, 707 X^G = X*B2*Y2^2*F3*G3*R3*D4*I4*Y4*K5, 708 X^(G^-1) = X*B2*Y2*F3*G3*R3*D4*I4*Y4, 709 X^H = X*J2*S4*Y4, 710 X^(H^-1) = X*J2, 711 X^I = X*I3*N3*R3*G4, 712 X^(I^-1) = X*I3*N3^2*R3*G4, 713 X^J = X*F3*R3*I4, 714 X^(J^-1) = X*F3*R3*I4, 715 X^K = X*S4*Y4, 716 X^(K^-1) = X*S4^2*Y4, 717 X^L = X*H4*Y4, 718 X^(L^-1) = X*H4*Y4, 719 X^M = X*F3*R3*I4, 720 X^(M^-1) = X*F3*R3*I4, 721 X^N = X*H4*Y4, 722 X^(N^-1) = X*H4*Y4, 723 X^O = X, 724 X^P = X, 725 X^Q = X, 726 X^(Q^-1) = X, 727 Y^A =: Y*G1, 728 Y^(A^-1) = Y*G1*Y1*T2*E3*J4, 729 Y^B = Y*I1*T1*J2*R2^2*V2*G3*I3*R3*M4*P4*S4*Y4*A5*I5, 730 Y^(B^-1) = Y*I1*T1*J2*M2*R2*G3*N3*M4*N4*P4*Q4*S4*A5, 731 Y^C = Y*Z1*C2*Q2*V2*H3*T3*W3^2*Z3^2*E4*I4*J4*N4*Q4*Y4*G5^2*N5, 732 Y^(C^-1) = Y*Z1^2*C2*Q2^2*V2*H3*W3*Z3*E4*I4*J4*N4*Q4*Y4*G5, 733 Y^D =: Y*H1, 734 Y^(D^-1) = Y*H1*F2*Y2*Z2*X3^2*Y3*D4*D5*I5^2*N5*O5, 735 Y^E = Y*T1*G4, 736 Y^(E^-1) = Y*T1*N3*R3, 737 Y^F = Y*V1*K2*M2*R2*V2*E3*I3*J3*N3^2*O3^2*R3*T3*J4*N4*Q4*Y4*Z4*B5*I5, 738 Y^(F^-1) = Y*V1*K2*M2*R2^2*V2*E3*I3*N3*O3*R3*J4*L4*N4*Q4*T4*Y4*I5^2, 739 Y^G = Y*U1*Z2*S3*Y3*Z3^2*D5*F5^2*G5^2*N5, 740 Y^(G^-1) = Y*U1*S3*Z3^2*D5*G5^2, 741 Y^H = Y*K2*N3^2*R3*G4, 742 Y^(H^-1) = Y*K2*N3*R3*G4*T4*Z4, 743 Y^I = Y*J3*O3^2*T3*L4*T4*Z4, 744 Y^(I^-1) = Y*J3*O3*T3*L4*T4^2*Z4, 745 Y^J = Y*L2*O2*F3*L3*H4*I4*K4*M4*P4*V4^2*H5, 746 Y^(J^-1) = Y*L2*O2*F3*L3*H4*I4*K4*M4*P4*V4*A5*D5*H5^2, 747 Y^K = Y*T4*Z4, 748 Y^(K^-1) = Y*T4^2*Z4, 749 Y^L = Y*F3*G3*R3*I4*Y4, 750 Y^(L^-1) = Y*F3*G3*R3*I4*Y4, 751 Y^M = Y*H3*L3*I4*V4^2*A5*D5*H5, 752 Y^(M^-1) = Y*H3*L3*I4*V4*A5*D5*H5^2, 753 Y^N = Y*I4*J4*Z4, 754 Y^(N^-1) = Y*I4*J4*Z4, 755 Y^O = Y*M4*Q4*B5, 756 Y^P = Y, 757 Y^Q = Y*A5*D5, 758 Y^(Q^-1) = Y*A5*D5, 759 Z^A =: Z*I1, 760 Z^(A^-1) = Z*I1*V2*I3*R3*G4*Q4*S4*I5, 761 Z^B = Z*W1*U3*W4^2, 762 Z^(B^-1) = Z*W1*K3, 763 Z^C =: Z*J1, 764 Z^(C^-1) = Z*J1*S2*P3*U3*F4*C5*P5, 765 Z^D = Z, 766 Z^(D^-1) = Z, 767 Z^E = Z*M2*I3*N4*Q4, 768 Z^(E^-1) = Z*M2*I3*N4*Q4*B5, 769 Z^F = Z*W1*U3*W4^2, 770 Z^(F^-1) = Z*W1*K3, 771 Z^G = Z*X1*P2*Q3, 772 Z^(G^-1) = Z*X1*P2*X4, 773 Z^H = Z*M2*I3*N4*Q4, 774 Z^(H^-1) = Z*M2*I3*N4*Q4*B5, 775 Z^I = Z*K3*U3*W4^2, 776 Z^(I^-1) = Z*K3*U3*W4, 777 Z^J = Z*M3*U3, 778 Z^(J^-1) = Z*M3*U3, 779 Z^K = Z*B5, 780 Z^(K^-1) = Z*B5, 781 Z^L = Z*M4*P4*Q4, 782 Z^(L^-1) = Z*M4*P4*Q4, 783 Z^M = Z*M3*U3, 784 Z^(M^-1) = Z*M3*U3, 785 Z^N = Z*M4*P4*Q4, 786 Z^(N^-1) = Z*M4*P4*Q4, 787 Z^O = Z, 788 Z^P = Z, 789 Z^Q = Z, 790 Z^(Q^-1) = Z, 791 A1^A =: A1*K1, 792 A1^(A^-1) = A1*K1^2*D4, 793 A1^B = A1*R2*R3*P4*A5, 794 A1^(B^-1) = A1*R2^2*R3*P4*A5, 795 A1^C = A1*L1, 796 A1^(C^-1) = A1*L1^2*Z1*T2*L3*S3*J4*Z4, 797 A1^D = A1, 798 A1^(D^-1) = A1, 799 A1^E = A1*N3^2*S4*Y4, 800 A1^(E^-1) = A1*N3*S4^2*Y4, 801 A1^F = A1*R2*R3*P4*A5, 802 A1^(F^-1) = A1*R2^2*R3*P4*A5, 803 A1^G = A1*F2^2*B4*D4*D5*I5*L5^2*O5, 804 A1^(G^-1) = A1*F2*I5^2, 805 A1^H = A1*N3^2*S4*Y4, 806 A1^(H^-1) = A1*N3*S4^2*Y4, 807 A1^I = A1*R2^2, 808 A1^(I^-1) = A1*R2, 809 A1^J = A1*V4*H5^2, 810 A1^(J^-1) = A1*V4^2*H5, 811 A1^K = A1*N3*S4^2, 812 A1^(K^-1) = A1*N3^2*S4, 813 A1^L = A1, 814 A1^(L^-1) = A1, 815 A1^M = A1*V4^2*H5, 816 A1^(M^-1) = A1*V4*H5^2, 817 A1^N = A1, 818 A1^(N^-1) = A1, 819 A1^O = A1, 820 A1^P = A1*V4*H5^2, 821 A1^Q = A1, 822 A1^(Q^-1) = A1, 823 B1^A =: B1*L1, 824 B1^(A^-1) = B1*L1^2*Y1*T2*L3*S3*J4*Z4, 825 B1^B = B1*A2^2*D2*U3, 826 B1^(B^-1) = B1*A2*D2*W4^2, 827 B1^C =: B1*M1, 828 B1^(C^-1) = B1*M1^2*D3*X4^2*C5*E5*P5, 829 B1^D = B1*Q1*G2*Q3*A4^2*F4*J5^2, 830 B1^(D^-1) = B1*Q1^2*G2^2*I2*B3*Q3*U3*V3*A4*F4*C5*J5, 831 B1^E = B1*R2*V2*N3^2*R3*P4*Y4*A5*B5*I5^2, 832 B1^(E^-1) = B1*R2^2*V2*N3*R3*P4*Y4*A5*B5*I5, 833 B1^F = B1*A2*S2^2*W2*U3*W4, 834 B1^(F^-1) = B1*A2^2*S2*W2*U3*F4*W4^2*C5*P5, 835 B1^G = B1*G2^2*D3*C4*X4*C5*E5*J5*M5^2, 836 B1^(G^-1) = B1*G2*X4*J5^2*P5, 837 B1^H = B1*R2^2*N3*O3*T3*T4^2*Z4*I5, 838 B1^(H^-1) = B1*R2*N3^2*O3^2*T3*T4*Z4*I5^2, 839 B1^I = B1*S2^2*C5*P5, 840 B1^(I^-1) = B1*S2*C5, 841 B1^J = B1*Q3^2*V3*A4*F4*X4*E5*P5, 842 B1^(J^-1) = B1*Q3*V3*A4^2*F4*X4^2*E5*P5, 843 B1^K = B1*O3*T4^2, 844 B1^(K^-1) = B1*O3^2*T4, 845 B1^L = B1*V4*D5*H5^2*I5, 846 B1^(L^-1) = B1*V4^2*D5*H5*I5^2, 847 B1^M = B1*Q3^2*A4*X4^2*E5*J5^2*P5, 848 B1^(M^-1) = B1*Q3*A4^2*X4*E5*J5*P5, 849 B1^N = B1*V4*H5^2*I5, 850 B1^(N^-1) = B1*V4^2*H5*I5^2, 851 B1^O = B1, 852 B1^P = B1*X4*J5^2, 853 B1^Q = B1, 854 B1^(Q^-1) = B1, 855 C1^A = C1*T2*Y3^2*I4*J4*Z4*G5^2*N5, 856 C1^(A^-1) = C1*T2*Y3*I4*J4*Z4*G5, 857 C1^B =: C1*N1, 858 C1^(B^-1) = C1*N1*V2*C3*R3*Y4*B5, 859 C1^C = C1*P1, 860 C1^(C^-1) = C1*P1^2*H2*D5*L5, 861 C1^D = C1*R1, 862 C1^(D^-1) = C1*R1^5, 863 C1^E = C1*B2*Y4, 864 C1^(E^-1) = C1*B2*D4, 865 C1^F = C1*C2*E2*V2*X2*R3*T3*E4*Y4*Z4*B5*H5*I5, 866 C1^(F^-1) = C1*C2*E2^2*V2*X2^2*C3*R3*E4*Y4*B5, 867 C1^G = C1*H2*L5^2*N5, 868 C1^(G^-1) = C1*H2*N5, 869 C1^H = C1*T2*Y2^2*Y3^2*D4*Y4, 870 C1^(H^-1) = C1*T2*Y2*Y3*D4*Y4*N5, 871 C1^I = C1*X2^2*T3*W3^2*E4*Z4, 872 C1^(I^-1) = C1*X2*T3*W3*Z4, 873 C1^J = C1*U2*C3*S3*A5*D5, 874 C1^(J^-1) = C1*U2*C3*S3*A5*D5*O5, 875 C1^K = C1*Y3*G5*N5, 876 C1^(K^-1) = C1*Y3^2*G5^2*N5, 877 C1^L = C1, 878 C1^(L^-1) = C1, 879 C1^M = C1*S3*X3^2*E4*O5, 880 C1^(M^-1) = C1*S3*X3*E4, 881 C1^N = C1*K5, 882 C1^(N^-1) = C1*K5^2, 883 C1^O = C1*D5, 884 C1^P = C1*F5, 885 C1^Q = C1*O5, 886 C1^(Q^-1) = C1*O5, 887 D1^A = D1*B2*O2*U2*V2*G3*L3*R3*S3*H4*K4*Y4*D5*O5, 888 D1^(A^-1) = D1*B2*O2*U2*V2*G3*L3*R3*S3*H4*K4*Y4, 889 D1^B = D1*D2*F4*P5, 890 D1^(B^-1) = D1*D2*U3, 891 D1^C =: D1*O1, 892 D1^(C^-1) = D1*O1, 893 D1^D = D1, 894 D1^(D^-1) = D1, 895 D1^E = D1*V2*R3*P4*Y4*A5, 896 D1^(E^-1) = D1*V2*R3*P4*Y4*A5, 897 D1^F = D1*D2*F4*P5, 898 D1^(F^-1) = D1*D2*U3, 899 D1^G = D1*I2*D3*Q3^2*U3*F4*X4^2*P5, 900 D1^(G^-1) = D1*I2*D3*Q3^2*U3*F4*X4^2*P5, 901 D1^H = D1*V2*R3*P4*Y4*A5, 902 D1^(H^-1) = D1*V2*R3*P4*Y4*A5, 903 D1^I = D1*U3*F4*P5, 904 D1^(I^-1) = D1*U3*F4*P5, 905 D1^J = D1*V3*F4*E5*P5, 906 D1^(J^-1) = D1*V3*F4*E5*P5, 907 D1^K = D1, 908 D1^(K^-1) = D1, 909 D1^L = D1*D5, 910 D1^(L^-1) = D1*D5, 911 D1^M = D1*V3*F4*E5*P5, 912 D1^(M^-1) = D1*V3*F4*E5*P5, 913 D1^N = D1*D5, 914 D1^(N^-1) = D1*D5, 915 D1^O = D1, 916 D1^P = D1, 917 D1^Q = D1, 918 D1^(Q^-1) = D1, 919 E1^A =: E1*P1, 920 E1^(A^-1) = E1*P1^2*H2*D5*G5^2*L5, 921 E1^B =: E1*Q1, 922 E1^(B^-1) = E1*Q1^2*I2*D3*Q3^2*U3*V3*A4*F4*X4^2*E5*P5, 923 E1^C = E1*D3*E5*P5, 924 E1^(C^-1) = E1*D3*X4*E5*P5, 925 E1^D = E1*I2*S2^2*P3^2*C4*F4*X4^2*J5*P5, 926 E1^(D^-1) = E1*I2*S2*P3*C4^2*F4*X4^2*J5^2*P5, 927 E1^E = E1*E2^2*F2*Y2*C3*D4*H5*I5^2, 928 E1^(E^-1) = E1*E2*F2^2*Y2^2*D5*H5^2*I5*O5, 929 E1^F = E1*G2^2*D3*A4*X4^2*C5*E5*J5*P5, 930 E1^(F^-1) = E1*G2*A4*P5, 931 E1^G = E1*D3*P3^2*X4^2*M5, 932 E1^(G^-1) = E1*D3*P3*X4^2*M5^2, 933 E1^H = E1*X2*Z2^2*Y3^2, 934 E1^(H^-1) = E1*X2^2*Z2*Y3*E4*N5, 935 E1^I = E1*A3^2, 936 E1^(I^-1) = E1*A3*P5, 937 E1^J = E1*B3*C4^2*F4*W4^2*M5, 938 E1^(J^-1) = E1*B3^2*C4*W4*M5^2*P5, 939 E1^K = E1*W3*Z3^2*G5^2, 940 E1^(K^-1) = E1*W3^2*Z3*G5, 941 E1^L = E1*X3^2*B4*F5*K5*L5^2*O5, 942 E1^(L^-1) = E1*X3*B4^2*F5^2*K5^2*L5, 943 E1^M = E1*C4*M5^2*P5, 944 E1^(M^-1) = E1*C4^2*M5, 945 E1^N = E1*F5^2*L5, 946 E1^(N^-1) = E1*F5*L5^2, 947 E1^O = E1, 948 E1^P = E1*M5, 949 E1^Q = E1, 950 E1^(Q^-1) = E1, 951 F1^A =: F1*R1, 952 F1^(A^-1) = F1*R1^5*K5^2*O5, 953 F1^B = F1, 954 F1^(B^-1) = F1, 955 F1^C =: F1*S1, 956 F1^(C^-1) = F1*S1*S2*P3*C4^2*J5^2*P5, 957 F1^D = F1*I2*Q3^2*F4*X4, 958 F1^(D^-1) = F1*I2*Q3^2*F4*X4^2, 959 F1^E = F1, 960 F1^(E^-1) = F1, 961 F1^F = F1*I2*Q3^2*U3*V3*F4*W4*C5, 962 F1^(F^-1) = F1*I2*Q3^2*U3*V3*F4*W4^2*C5, 963 F1^G = F1*I2*Q3*F4*X4, 964 F1^(G^-1) = F1*I2*F4*X4^2, 965 F1^H = F1*C3*E4*D5*O5, 966 F1^(H^-1) = F1*C3*E4*D5*O5, 967 F1^I = F1*W4^2, 968 F1^(I^-1) = F1*W4, 969 F1^J = F1, 970 F1^(J^-1) = F1, 971 F1^K = F1, 972 F1^(K^-1) = F1, 973 F1^L = F1, 974 F1^(L^-1) = F1, 975 F1^M = F1, 976 F1^(M^-1) = F1, 977 F1^N = F1*O5, 978 F1^(N^-1) = F1*O5, 979 F1^O = F1, 980 F1^P = F1, 981 F1^Q = F1, 982 F1^(Q^-1) = F1, 983 G1^A = G1*E3, 984 G1^(A^-1) = G1*E3, 985 G1^B =: G1*T1, 986 G1^(B^-1) = G1*T1*I3*N3*R3*G4, 987 G1^C = G1*Q2*T2*J4*N5, 988 G1^(C^-1) = G1*Q2^2*T2*J4*N5, 989 G1^D = G1*B2*T2*Y2*F3*G3*R3*Y3*D4*J4*Y4*Z4*N5, 990 G1^(D^-1) = G1*B2*T2*Y2^2*F3*G3*R3*Y3^2*D4*J4*Y4*Z4*K5*N5, 991 G1^E = G1*J2, 992 G1^(E^-1) = G1*J2*S4*Y4, 993 G1^F = G1*K2*I3*N3^2*R3*G4*L4, 994 G1^(F^-1) = G1*K2*I3*N3*R3*G4*T4*Z4, 995 G1^G = G1*T2*Y3^2*I4*J4*Z4*N5, 996 G1^(G^-1) = G1*T2*Y3*I4*J4*Z4*N5, 997 G1^H = G1*E3*S4^2*Y4, 998 G1^(H^-1) = G1*E3*S4*Y4, 999 G1^I = G1*L4*T4*Z4, 1000 G1^(I^-1) = G1*L4*T4^2*Z4, 1001 G1^J = G1*F3*R3*I4, 1002 G1^(J^-1) = G1*F3*R3*I4, 1003 G1^K = G1, 1004 G1^(K^-1) = G1, 1005 G1^L = G1*H4*Y4, 1006 G1^(L^-1) = G1*H4*Y4, 1007 G1^M = G1*I4*Z4, 1008 G1^(M^-1) = G1*I4*Z4, 1009 H1^A = H1*B2*T2*Y2*F3*G3*R3*Y3*D4*J4*Y4*Z4*N5, 1010 H1^(A^-1) = H1*B2*T2*Y2^2*F3*G3*R3*Y3^2*H4*J4*Y4*Z4, 1011 H1^B = H1, 1012 H1^(B^-1) = H1, 1013 H1^C =: H1*U1, 1014 H1^(C^-1) = H1*U1*Z2*Y3*Z3^2*D5*F5^2*G5^2*L5^2*N5, 1015 H1^D = H1*U2*B4*K4*D5*K5*O5, 1016 H1^(D^-1) = H1*U2*B4^2*K4*D5*K5^2*O5, 1017 H1^E = H1, 1018 H1^(E^-1) = H1, 1019 H1^F = H1*L2*H3*Q4*A5*B5*H5^2, 1020 H1^(F^-1) = H1*L2*H3*H5, 1021 H1^G = H1*U2*B4^2*K4*D5*K5^2*O5, 1022 H1^(G^-1) = H1*U2*B4*K4*D5*K5*O5, 1023 H1^H = H1*G3*R3*J4*Y4*Z4, 1024 H1^(H^-1) = H1*G3*R3*J4*Y4*Z4, 1025 H1^I = H1*Q4*A5*B5*H5^2, 1026 H1^(I^-1) = H1*Q4*A5*B5*H5, 1027 H1^J = H1, 1028 H1^(J^-1) = H1, 1029 H1^K = H1, 1030 H1^(K^-1) = H1, 1031 H1^L = H1, 1032 H1^(L^-1) = H1, 1033 H1^M = H1*K4*A5, 1034 H1^(M^-1) = H1*K4*A5, 1035 I1^A = I1*I3*R3*G4*Y4, 1036 I1^(A^-1) = I1*I3*R3*G4, 1037 I1^B = I1*M2*B5, 1038 I1^(B^-1) = I1*M2*N4, 1039 I1^C = I1*V1, 1040 I1^(C^-1) = I1*V1, 1041 I1^D = I1, 1042 I1^(D^-1) = I1, 1043 I1^E = I1*I3, 1044 I1^(E^-1) = I1*I3, 1045 I1^F = I1*M2*B5, 1046 I1^(F^-1) = I1*M2*N4, 1047 I1^G = I1*O2*L3, 1048 I1^(G^-1) = I1*O2*L3, 1049 I1^H = I1*I3, 1050 I1^(H^-1) = I1*I3, 1051 I1^I = I1*N4*B5, 1052 I1^(I^-1) = I1*N4*B5, 1053 I1^J = I1*M4*P4, 1054 I1^(J^-1) = I1*M4*P4, 1055 I1^K = I1, 1056 I1^(K^-1) = I1, 1057 I1^L = I1, 1058 I1^(L^-1) = I1, 1059 I1^M = I1*M4*P4, 1060 I1^(M^-1) = I1*M4*P4, 1061 J1^A =: J1*V1, 1062 J1^(A^-1) = J1*V1*T3*L4*Z4, 1063 J1^B =: J1*W1, 1064 J1^(B^-1) = J1*W1*K3*U3*W4^2, 1065 J1^C = J1*W2*P3*U3*F4*R4*C5, 1066 J1^(C^-1) = J1*W2*P3^2*U3*F4*R4*P5, 1067 J1^D =: J1*X1, 1068 J1^(D^-1) = J1*X1*Q3, 1069 J1^E = J1*M2*I3*N4*Q4*B5, 1070 J1^(E^-1) = J1*M2*I3*N4*Q4, 1071 J1^F = J1*N2*K3*U3*O4*W4, 1072 J1^(F^-1) = J1*N2*K3*U3*W4^2*C5, 1073 J1^G = J1*P2*X4*E5, 1074 J1^(G^-1) = J1*P2*E5, 1075 J1^H = J1*J3*L4*B5, 1076 J1^(H^-1) = J1*J3*L4*B5, 1077 J1^I = J1*O4*C5, 1078 J1^(I^-1) = J1*O4*C5, 1079 J1^J = J1*M3*U3, 1080 J1^(J^-1) = J1*M3*U3, 1081 J1^K = J1, 1082 J1^(K^-1) = J1, 1083 J1^L = J1*M4*P4*Q4, 1084 J1^(L^-1) = J1*M4*P4*Q4, 1085 J1^M = J1*R4*C5, 1086 J1^(M^-1) = J1*R4*C5, 1087 K1^A = K1, 1088 K1^(A^-1) = K1, 1089 K1^B = K1*N3^2, 1090 K1^(B^-1) = K1*N3, 1091 K1^C = K1*Y1, 1092 K1^(C^-1) = K1*Y1^2*Q2*N5, 1093 K1^D = K1, 1094 K1^(D^-1) = K1, 1095 K1^E = K1*S4^2, 1096 K1^(E^-1) = K1*S4, 1097 K1^F = K1*N3^2, 1098 K1^(F^-1) = K1*N3, 1099 K1^G = K1*Y2^2*K5, 1100 K1^(G^-1) = K1*Y2, 1101 K1^H = K1*S4^2, 1102 K1^(H^-1) = K1*S4, 1103 K1^I = K1*N3, 1104 K1^(I^-1) = K1*N3^2, 1105 K1^J = K1, 1106 K1^(J^-1) = K1, 1107 K1^K = K1*S4, 1108 K1^(K^-1) = K1*S4^2, 1109 K1^L = K1, 1110 K1^(L^-1) = K1, 1111 K1^M = K1, 1112 K1^(M^-1) = K1, 1113 L1^A =: L1*Y1, 1114 L1^(A^-1) = L1*Y1^2*N5, 1115 L1^B = L1*R2^2*R3*P4*A5, 1116 L1^(B^-1) = L1*R2*R3*P4*A5, 1117 L1^C = L1*Z1, 1118 L1^(C^-1) = L1*Z1^2*N5, 1119 L1^D = L1*F2*Z2*I5^2, 1120 L1^(D^-1) = L1*F2^2*Z2^2*B4*D4*D5*I5*N5*O5, 1121 L1^E = L1*N3*S4^2*Y4, 1122 L1^(E^-1) = L1*N3^2*S4*Y4, 1123 L1^F = L1*R2*O3^2*Z4, 1124 L1^(F^-1) = L1*R2^2*O3*Z4, 1125 L1^G = L1*Z2^2*L5*N5, 1126 L1^(G^-1) = L1*Z2, 1127 L1^H = L1*N3^2*S4*T4, 1128 L1^(H^-1) = L1*N3*S4^2*T4^2, 1129 L1^I = L1*O3^2, 1130 L1^(I^-1) = L1*O3, 1131 L1^J = L1*V4^2*H5, 1132 L1^(J^-1) = L1*V4*H5^2, 1133 L1^K = L1*T4, 1134 L1^(K^-1) = L1*T4^2, 1135 L1^L = L1, 1136 L1^(L^-1) = L1, 1137 L1^M = L1*V4^2*H5, 1138 L1^(M^-1) = L1*V4*H5^2, 1139 M1^A =: M1*Z1, 1140 M1^(A^-1) = M1*Z1^2*Q2*N5, 1141 M1^B =: M1*A2, 1142 M1^(B^-1) = M1*A2^2*F4*W4*P5, 1143 M1^C = M1*P5, 1144 M1^(C^-1) = M1*P5, 1145 M1^D = M1*G2^2*A3^2*B3*C4*X4^2*J5, 1146 M1^(D^-1) = M1*G2*A3*B3*D3*C5*E5*J5^2*P5, 1147 M1^E = M1*R2^2*N3*I5, 1148 M1^(E^-1) = M1*R2*N3^2*I5^2, 1149 M1^F = M1*S2^2*W4*P5, 1150 M1^(F^-1) = M1*S2*W4, 1151 M1^G = M1*A3^2*M5*P5, 1152 M1^(G^-1) = M1*A3, 1153 M1^H = M1*O3*T4^2, 1154 M1^(H^-1) = M1*O3^2*T4, 1155 M1^I = M1*P3^2, 1156 M1^(I^-1) = M1*P3, 1157 M1^J = M1*Q3*A4^2*X4^2, 1158 M1^(J^-1) = M1*Q3^2*A4*X4, 1159 M1^K = M1*U4, 1160 M1^(K^-1) = M1*U4^2, 1161 M1^L = M1*V4^2*H5*I5^2, 1162 M1^(L^-1) = M1*V4*H5^2*I5, 1163 M1^M = M1*X4*J5^2, 1164 M1^(M^-1) = M1*X4^2*J5, 1165 N1^A =: N1*B2, 1166 N1^(A^-1) = N1*B2*D4*Y4, 1167 N1^B = N1*V2*R3*Y4, 1168 N1^(B^-1) = N1*V2*R3*Y4*B5, 1169 N1^C =: N1*C2, 1170 N1^(C^-1) = N1*C2, 1171 N1^D = N1, 1172 N1^(D^-1) = N1, 1173 N1^E = N1*R3, 1174 N1^(E^-1) = N1*R3, 1175 N1^F = N1*V2*R3*Y4, 1176 N1^(F^-1) = N1*V2*R3*Y4*B5, 1177 N1^G = N1*U2*S3, 1178 N1^(G^-1) = N1*U2*S3, 1179 N1^H = N1*R3, 1180 N1^(H^-1) = N1*R3, 1181 N1^I = N1*B5, 1182 N1^(I^-1) = N1*B5, 1183 N1^J = N1*A5*D5, 1184 N1^(J^-1) = N1*A5*D5, 1185 N1^K = N1, 1186 N1^(K^-1) = N1, 1187 N1^L = N1, 1188 N1^(L^-1) = N1, 1189 N1^M = N1*A5*D5, 1190 N1^(M^-1) = N1*A5*D5, 1191 O1^A = O1*T2*L3*S3*T3*J4*Z4, 1192 O1^(A^-1) = O1*T2*L3*S3*T3*J4*Z4, 1193 O1^B =: O1*D2, 1194 O1^(B^-1) = O1*D2*U3*F4*P5, 1195 O1^C = O1*D3*X4^2*C5*E5*P5, 1196 O1^(C^-1) = O1*D3*X4^2*C5*E5*P5, 1197 O1^D = O1*I2*Q3^2*U3*F4*C5, 1198 O1^(D^-1) = O1*I2*Q3^2*U3*F4*C5, 1199 O1^E = O1*V2*R3*P4*Y4*A5, 1200 O1^(E^-1) = O1*V2*R3*P4*Y4*A5, 1201 O1^F = O1*W2*U3*F4*C5*P5, 1202 O1^(F^-1) = O1*W2*U3*F4, 1203 O1^G = O1*D3*X4^2*C5, 1204 O1^(G^-1) = O1*D3*X4^2*C5, 1205 O1^H = O1*T3*Z4, 1206 O1^(H^-1) = O1*T3*Z4, 1207 O1^I = O1*C5*P5, 1208 O1^(I^-1) = O1*C5*P5, 1209 O1^J = O1*V3*F4*E5*P5, 1210 O1^(J^-1) = O1*V3*F4*E5*P5, 1211 O1^K = O1, 1212 O1^(K^-1) = O1, 1213 O1^L = O1*D5, 1214 O1^(L^-1) = O1*D5, 1215 O1^M = O1*E5*P5, 1216 O1^(M^-1) = O1*E5*P5, 1217 P1^A = P1*G5^2*N5, 1218 P1^(A^-1) = P1*G5*N5, 1219 P1^B =: P1*E2, 1220 P1^(B^-1) = P1*E2^2*C3*H5^2*I5^2, 1221 P1^C = P1*N5, 1222 P1^(C^-1) = P1*N5, 1223 P1^D = P1*D4*L5*N5*O5, 1224 P1^(D^-1) = P1*D4*L5^2*N5*O5, 1225 P1^E = P1*Y2^2*D4, 1226 P1^(E^-1) = P1*Y2*D4, 1227 P1^F = P1*X2^2*E4*H5^2*I5^2, 1228 P1^(F^-1) = P1*X2*H5^2*I5^2, 1229 P1^G = P1*N5, 1230 P1^(G^-1) = P1*N5, 1231 P1^H = P1*Y3*N5, 1232 P1^(H^-1) = P1*Y3^2*N5, 1233 P1^I = P1*W3^2, 1234 P1^(I^-1) = P1*W3, 1235 P1^J = P1*X3*F5^2, 1236 P1^(J^-1) = P1*X3^2*F5*O5, 1237 P1^K = P1*G5, 1238 P1^(K^-1) = P1*G5^2, 1239 P1^L = P1*K5^2, 1240 P1^(L^-1) = P1*K5, 1241 P1^M = P1*F5, 1242 P1^(M^-1) = P1*F5^2, 1243 Q1^A =: Q1*F2, 1244 Q1^(A^-1) = Q1*F2^2*Y2*D4*D5*O5, 1245 Q1^B = Q1*A4*F4*P5, 1246 Q1^(B^-1) = Q1*A4^2*F4*P5, 1247 Q1^C =: Q1*G2, 1248 Q1^(C^-1) = Q1*G2^2*A3*D3*X4^2*C5*E5*P5, 1249 Q1^D = Q1, 1250 Q1^(D^-1) = Q1, 1251 Q1^E = Q1*H5^2*I5, 1252 Q1^(E^-1) = Q1*H5*I5^2, 1253 Q1^F = Q1*A4*F4*P5, 1254 Q1^(F^-1) = Q1*A4^2*F4*P5, 1255 Q1^G = Q1*B3^2*C4*F4*M5^2, 1256 Q1^(G^-1) = Q1*B3*C4^2*M5*P5, 1257 Q1^H = Q1*H5^2*I5, 1258 Q1^(H^-1) = Q1*H5*I5^2, 1259 Q1^I = Q1*A4^2, 1260 Q1^(I^-1) = Q1*A4, 1261 Q1^J = Q1, 1262 Q1^(J^-1) = Q1, 1263 Q1^K = Q1*H5*I5^2, 1264 Q1^(K^-1) = Q1*H5^2*I5, 1265 Q1^L = Q1, 1266 Q1^(L^-1) = Q1, 1267 Q1^M = Q1, 1268 Q1^(M^-1) = Q1, 1269 R1^A = R1*D4*K5^2*N5, 1270 R1^(A^-1) = R1*D4*K5*N5, 1271 R1^B = R1, 1272 R1^(B^-1) = R1, 1273 R1^C = R1*H2, 1274 R1^(C^-1) = R1*H2*L5^2, 1275 R1^D = R1*D4*N5*O5, 1276 R1^(D^-1) = R1*D4*N5*O5, 1277 R1^E = R1, 1278 R1^(E^-1) = R1, 1279 R1^F = R1*C3*E4, 1280 R1^(F^-1) = R1*C3*E4, 1281 R1^G = R1*D4*N5*O5, 1282 R1^(G^-1) = R1*D4*N5*O5, 1283 R1^H = R1*D4*N5, 1284 R1^(H^-1) = R1*D4*N5, 1285 R1^I = R1, 1286 R1^(I^-1) = R1, 1287 R1^J = R1, 1288 R1^(J^-1) = R1, 1289 R1^K = R1, 1290 R1^(K^-1) = R1, 1291 R1^L = R1, 1292 R1^(L^-1) = R1, 1293 R1^M = R1*O5, 1294 R1^(M^-1) = R1*O5, 1295 S1^A =: S1*H2, 1296 S1^(A^-1) = S1*H2*L5^2, 1297 S1^B = S1*I2*D3*Q3^2*U3*V3*F4*W4^2*X4^2*E5*P5, 1298 S1^(B^-1) = S1*I2*D3*Q3^2*U3*V3*F4*W4*X4^2*E5*P5, 1299 S1^C = S1*D3*P3*X4^2*M5^2*P5, 1300 S1^(C^-1) = S1*D3*P3^2*X4^2*M5*P5, 1301 S1^D =: S1*I2, 1302 S1^(D^-1) = S1*I2*Q3, 1303 S1^E = S1*C3*D5*O5, 1304 S1^(E^-1) = S1*C3*D5*O5, 1305 S1^F = S1*D3*W4*X4^2*C5*E5*P5, 1306 S1^(F^-1) = S1*D3*W4^2*X4^2*C5*E5*P5, 1307 S1^G = S1*D3*X4*P5, 1308 S1^(G^-1) = S1*D3*P5, 1309 S1^H = S1*E4, 1310 S1^(H^-1) = S1*E4, 1311 S1^I = S1, 1312 S1^(I^-1) = S1, 1313 S1^J = S1, 1314 S1^(J^-1) = S1, 1315 S1^K = S1, 1316 S1^(K^-1) = S1, 1317 S1^L = S1*O5, 1318 S1^(L^-1) = S1*O5, 1319 S1^M = S1, 1320 S1^(M^-1) = S1, 1321 T1^A =: T1*J2, 1322 T1^(A^-1) = T1*J2*S4*Y4, 1323 T1^B = T1*I3*G4, 1324 T1^(B^-1) = T1*I3*G4, 1325 T1^C =: T1*K2, 1326 T1^(C^-1) = T1*K2*T4, 1327 T1^D = T1, 1328 T1^(D^-1) = T1, 1329 T1^E = T1*G4, 1330 T1^(E^-1) = T1*G4, 1331 T1^F = T1*I3*G4, 1332 T1^(F^-1) = T1*I3*G4, 1333 T1^G = T1*F3*I4, 1334 T1^(G^-1) = T1*F3*I4, 1335 T1^H = T1*G4, 1336 T1^(H^-1) = T1*G4, 1337 T1^I = T1, 1338 T1^(I^-1) = T1, 1339 T1^J = T1, 1340 T1^(J^-1) = T1, 1341 U1^A = U1*T2*Y3*I4*J4*Z4*G5, 1342 U1^(A^-1) = U1*T2*Y3^2*I4*J4*Z4*G5^2*N5, 1343 U1^B =: U1*L2, 1344 U1^(B^-1) = U1*L2*Q4*A5*B5, 1345 U1^C = U1*S3*Z3*D5*G5, 1346 U1^(C^-1) = U1*S3*Z3^2*D5*G5^2, 1347 U1^D = U1*U2*B4*K4*D5*K5*L5^2, 1348 U1^(D^-1) = U1*U2*B4^2*K4*D5*K5^2*L5, 1349 U1^E = U1*G3*R3*Y4, 1350 U1^(E^-1) = U1*G3*R3*Y4, 1351 U1^F = U1*H3*Q4*A5*B5*H5, 1352 U1^(F^-1) = U1*H3*Q4*A5*B5*H5^2, 1353 U1^G = U1*S3*L5^2, 1354 U1^(G^-1) = U1*S3*L5, 1355 U1^H = U1*J4*Z4, 1356 U1^(H^-1) = U1*J4*Z4, 1357 U1^I = U1, 1358 U1^(I^-1) = U1, 1359 U1^J = U1*K4*A5, 1360 U1^(J^-1) = U1*K4*A5, 1361 V1^A = V1*L4*Z4, 1362 V1^(A^-1) = V1*L4*Z4, 1363 V1^B =: V1*M2, 1364 V1^(B^-1) = V1*M2*N4*B5, 1365 V1^C = V1*T3, 1366 V1^(C^-1) = V1*T3, 1367 V1^D = V1*O2, 1368 V1^(D^-1) = V1*O2, 1369 V1^E = V1*I3, 1370 V1^(E^-1) = V1*I3, 1371 V1^F = V1*J3*N4*B5, 1372 V1^(F^-1) = V1*J3*N4*B5, 1373 V1^G = V1*L3, 1374 V1^(G^-1) = V1*L3, 1375 V1^H = V1*L4, 1376 V1^(H^-1) = V1*L4, 1377 V1^I = V1, 1378 V1^(I^-1) = V1, 1379 V1^J = V1*M4*P4, 1380 V1^(J^-1) = V1*M4*P4, 1381 W1^A = W1*Q4, 1382 W1^(A^-1) = W1*Q4, 1383 W1^B = W1*K3, 1384 W1^(B^-1) = W1*K3, 1385 W1^C =: W1*N2, 1386 W1^(C^-1) = W1*N2, 1387 W1^D = W1, 1388 W1^(D^-1) = W1, 1389 W1^E = W1*N4, 1390 W1^(E^-1) = W1*N4, 1391 W1^F = W1*K3, 1392 W1^(F^-1) = W1*K3, 1393 W1^G = W1*U3, 1394 W1^(G^-1) = W1*U3, 1395 W1^H = W1*N4, 1396 W1^(H^-1) = W1*N4, 1397 W1^I = W1, 1398 W1^(I^-1) = W1, 1399 W1^J = W1, 1400 W1^(J^-1) = W1, 1401 X1^A =: X1*O2, 1402 X1^(A^-1) = X1*O2*D5, 1403 X1^B = X1, 1404 X1^(B^-1) = X1, 1405 X1^C =: X1*P2, 1406 X1^(C^-1) = X1*P2*X4, 1407 X1^D = X1*V3, 1408 X1^(D^-1) = X1*V3, 1409 X1^E = X1, 1410 X1^(E^-1) = X1, 1411 X1^F = X1*M3*R4, 1412 X1^(F^-1) = X1*M3*R4, 1413 X1^G = X1*V3, 1414 X1^(G^-1) = X1*V3, 1415 X1^H = X1*P4*Q4, 1416 X1^(H^-1) = X1*P4*Q4, 1417 X1^I = X1, 1418 X1^(I^-1) = X1, 1419 X1^J = X1, 1420 X1^(J^-1) = X1, 1421 Y1^A = Y1, 1422 Y1^(A^-1) = Y1, 1423 Y1^B = Y1*N3, 1424 Y1^(B^-1) = Y1*N3^2, 1425 Y1^C = Y1*Q2, 1426 Y1^(C^-1) = Y1*Q2^2, 1427 Y1^D = Y1*Y2*Y3, 1428 Y1^(D^-1) = Y1*Y2^2*Y3^2*K5, 1429 Y1^E = Y1*S4, 1430 Y1^(E^-1) = Y1*S4^2, 1431 Y1^F = Y1*N3^2*T4, 1432 Y1^(F^-1) = Y1*N3*T4^2, 1433 Y1^G = Y1*Y3^2, 1434 Y1^(G^-1) = Y1*Y3, 1435 Y1^H = Y1*S4^2, 1436 Y1^(H^-1) = Y1*S4, 1437 Y1^I = Y1*T4, 1438 Y1^(I^-1) = Y1*T4^2, 1439 Y1^J = Y1, 1440 Y1^(J^-1) = Y1, 1441 Z1^A =: Z1*Q2, 1442 Z1^(A^-1) = Z1*Q2^2, 1443 Z1^B =: Z1*R2, 1444 Z1^(B^-1) = Z1*R2^2, 1445 Z1^C = Z1, 1446 Z1^(C^-1) = Z1, 1447 Z1^D = Z1*Z2^2*Z3^2*B4*L5, 1448 Z1^(D^-1) = Z1*Z2*Z3*B4*N5, 1449 Z1^E = Z1*N3^2*S4, 1450 Z1^(E^-1) = Z1*N3*S4^2, 1451 Z1^F = Z1*O3^2, 1452 Z1^(F^-1) = Z1*O3, 1453 Z1^G = Z1*Z3^2, 1454 Z1^(G^-1) = Z1*Z3, 1455 Z1^H = Z1*T4, 1456 Z1^(H^-1) = Z1*T4^2, 1457 Z1^I = Z1*U4^2, 1458 Z1^(I^-1) = Z1*U4, 1459 Z1^J = Z1*V4*H5^2, 1460 Z1^(J^-1) = Z1*V4^2*H5, 1461 A2^A = A2*S4*I5, 1462 A2^(A^-1) = A2*S4^2*I5^2, 1463 A2^B = A2*W4, 1464 A2^(B^-1) = A2*W4^2, 1465 A2^C =: A2*S2, 1466 A2^(C^-1) = A2*S2^2*P3*P5, 1467 A2^D = A2, 1468 A2^(D^-1) = A2, 1469 A2^E = A2, 1470 A2^(E^-1) = A2, 1471 A2^F = A2*W4, 1472 A2^(F^-1) = A2*W4^2, 1473 A2^G = A2*Q3^2*X4, 1474 A2^(G^-1) = A2*Q3*X4^2, 1475 A2^H = A2, 1476 A2^(H^-1) = A2, 1477 A2^I = A2*W4^2, 1478 A2^(I^-1) = A2*W4, 1479 A2^J = A2, 1480 A2^(J^-1) = A2, 1481 B2^A = B2*Y4, 1482 B2^(A^-1) = B2*Y4, 1483 B2^B = B2*R3, 1484 B2^(B^-1) = B2*R3, 1485 B2^C = B2*T2, 1486 B2^(C^-1) = B2*T2, 1487 B2^D = B2, 1488 B2^(D^-1) = B2, 1489 B2^E = B2*Y4, 1490 B2^(E^-1) = B2*Y4, 1491 B2^F = B2*R3, 1492 B2^(F^-1) = B2*R3, 1493 B2^G = B2*D4, 1494 B2^(G^-1) = B2*D4, 1495 B2^H = B2*Y4, 1496 B2^(H^-1) = B2*Y4, 1497 B2^I = B2, 1498 B2^(I^-1) = B2, 1499 B2^J = B2, 1500 B2^(J^-1) = B2, 1501 C2^A =: C2*T2, 1502 C2^(A^-1) = C2*T2*N5, 1503 C2^B = C2*V2*R3*Y4, 1504 C2^(B^-1) = C2*V2*R3*Y4*B5, 1505 C2^C = C2*E4, 1506 C2^(C^-1) = C2*E4, 1507 C2^D =: C2*U2, 1508 C2^(D^-1) = C2*U2, 1509 C2^E = C2*R3, 1510 C2^(E^-1) = C2*R3, 1511 C2^F = C2*T3*Z4*B5, 1512 C2^(F^-1) = C2*T3*Z4*B5, 1513 C2^G = C2*S3, 1514 C2^(G^-1) = C2*S3, 1515 C2^H = C2*Z4, 1516 C2^(H^-1) = C2*Z4, 1517 C2^I = C2, 1518 C2^(I^-1) = C2, 1519 C2^J = C2*A5*D5, 1520 C2^(J^-1) = C2*A5*D5, 1521 D2^A =: D2*V2, 1522 D2^(A^-1) = D2*V2, 1523 D2^B = D2*U3, 1524 D2^(B^-1) = D2*U3, 1525 D2^C =: D2*W2, 1526 D2^(C^-1) = D2*W2, 1527 D2^D = D2, 1528 D2^(D^-1) = D2, 1529 D2^E = D2*B5, 1530 D2^(E^-1) = D2*B5, 1531 D2^F = D2*U3, 1532 D2^(F^-1) = D2*U3, 1533 D2^G = D2*V3*E5, 1534 D2^(G^-1) = D2*V3*E5, 1535 D2^H = D2*B5, 1536 D2^(H^-1) = D2*B5, 1537 D2^I = D2, 1538 D2^(I^-1) = D2, 1539 D2^J = D2, 1540 D2^(J^-1) = D2, 1541 E2^A = E2*Y2^2*D4, 1542 E2^(A^-1) = E2*Y2*D4, 1543 E2^B = E2*H5^2*I5^2, 1544 E2^(B^-1) = E2*H5*I5, 1545 E2^C =: E2*X2, 1546 E2^(C^-1) = E2*X2^2*W3*E4, 1547 E2^D = E2, 1548 E2^(D^-1) = E2, 1549 E2^E = E2, 1550 E2^(E^-1) = E2, 1551 E2^F = E2*H5^2*I5^2, 1552 E2^(F^-1) = E2*H5*I5, 1553 E2^G = E2*X3^2*F5*O5, 1554 E2^(G^-1) = E2*X3*F5^2, 1555 E2^H = E2, 1556 E2^(H^-1) = E2, 1557 E2^I = E2*H5*I5, 1558 E2^(I^-1) = E2*H5^2*I5^2, 1559 E2^J = E2, 1560 E2^(J^-1) = E2, 1561 F2^A =: F2*Y2, 1562 F2^(A^-1) = F2*Y2^2, 1563 F2^B = F2*H5, 1564 F2^(B^-1) = F2*H5^2, 1565 F2^C = F2*Z2, 1566 F2^(C^-1) = F2*Z2^2*Z3*N5, 1567 F2^D = F2, 1568 F2^(D^-1) = F2, 1569 F2^E = F2, 1570 F2^(E^-1) = F2, 1571 F2^F = F2*H5, 1572 F2^(F^-1) = F2*H5^2, 1573 F2^G = F2*B4^2*L5, 1574 F2^(G^-1) = F2*B4*L5^2, 1575 F2^H = F2, 1576 F2^(H^-1) = F2, 1577 F2^I = F2*H5^2, 1578 F2^(I^-1) = F2*H5, 1579 F2^J = F2, 1580 F2^(J^-1) = F2, 1581 G2^A =: G2*Z2, 1582 G2^(A^-1) = G2*Z2^2*Y3*N5, 1583 G2^B = G2*A4^2*F4*P5, 1584 G2^(B^-1) = G2*A4*F4*P5, 1585 G2^C =: G2*A3, 1586 G2^(C^-1) = G2*A3^2*P5, 1587 G2^D =: G2*B3, 1588 G2^(D^-1) = G2*B3^2*F4, 1589 G2^E = G2*H5*I5^2, 1590 G2^(E^-1) = G2*H5^2*I5, 1591 G2^F = G2*A4*J5^2*P5, 1592 G2^(F^-1) = G2*A4^2*J5*P5, 1593 G2^G = G2*C4^2*M5*P5, 1594 G2^(G^-1) = G2*C4*M5^2, 1595 G2^H = G2*H5^2*I5, 1596 G2^(H^-1) = G2*H5*I5^2, 1597 G2^I = G2*J5^2, 1598 G2^(I^-1) = G2*J5, 1599 G2^J = G2, 1600 G2^(J^-1) = G2, 1601 H2^A = H2*N5, 1602 H2^(A^-1) = H2*N5, 1603 H2^B =: H2*C3, 1604 H2^(B^-1) = H2*C3, 1605 H2^C = H2*N5, 1606 H2^(C^-1) = H2*N5, 1607 H2^D = H2*D4*N5*O5, 1608 H2^(D^-1) = H2*D4*N5*O5, 1609 H2^E = H2*D4, 1610 H2^(E^-1) = H2*D4, 1611 H2^F = H2*E4, 1612 H2^(F^-1) = H2*E4, 1613 H2^G = H2*N5, 1614 H2^(G^-1) = H2*N5, 1615 H2^H = H2*N5, 1616 H2^(H^-1) = H2*N5, 1617 H2^I = H2, 1618 H2^(I^-1) = H2, 1619 H2^J = H2*O5, 1620 H2^(J^-1) = H2*O5, 1621 I2^A = I2*D4*N5*O5, 1622 I2^(A^-1) = I2*D4*N5*O5, 1623 I2^B = I2, 1624 I2^(B^-1) = I2, 1625 I2^C =: I2*D3, 1626 I2^(C^-1) = I2*D3*X4, 1627 I2^D = I2*F4, 1628 I2^(D^-1) = I2*F4, 1629 I2^E = I2, 1630 I2^(E^-1) = I2, 1631 I2^F = I2*F4, 1632 I2^(F^-1) = I2*F4, 1633 I2^G = I2*F4, 1634 I2^(G^-1) = I2*F4, 1635 I2^H = I2, 1636 I2^(H^-1) = I2, 1637 I2^I = I2, 1638 I2^(I^-1) = I2, 1639 I2^J = I2, 1640 I2^(J^-1) = I2, 1641 J2^A = J2, 1642 J2^(A^-1) = J2, 1643 J2^B = J2*G4, 1644 J2^(B^-1) = J2*G4, 1645 J2^C = J2*E3, 1646 J2^(C^-1) = J2*E3, 1647 J2^D = J2, 1648 J2^(D^-1) = J2, 1649 J2^E = J2, 1650 J2^(E^-1) = J2, 1651 J2^F = J2*G4, 1652 J2^(F^-1) = J2*G4, 1653 J2^G = J2*H4, 1654 J2^(G^-1) = J2*H4, 1655 K2^A =: K2*E3, 1656 K2^(A^-1) = K2*E3, 1657 K2^B = K2*I3*G4, 1658 K2^(B^-1) = K2*I3*G4, 1659 K2^C = K2*Z4, 1660 K2^(C^-1) = K2*Z4, 1661 K2^D =: K2*F3, 1662 K2^(D^-1) = K2*F3, 1663 K2^E = K2*G4, 1664 K2^(E^-1) = K2*G4, 1665 K2^F = K2*L4, 1666 K2^(F^-1) = K2*L4, 1667 K2^G = K2*I4, 1668 K2^(G^-1) = K2*I4, 1669 L2^A =: L2*G3, 1670 L2^(A^-1) = L2*G3, 1671 L2^B = L2*Q4*B5, 1672 L2^(B^-1) = L2*Q4*B5, 1673 L2^C =: L2*H3, 1674 L2^(C^-1) = L2*H3, 1675 L2^D = L2, 1676 L2^(D^-1) = L2, 1677 L2^E = L2, 1678 L2^(E^-1) = L2, 1679 L2^F = L2*Q4*B5, 1680 L2^(F^-1) = L2*Q4*B5, 1681 L2^G = L2*K4, 1682 L2^(G^-1) = L2*K4, 1683 M2^A =: M2*I3, 1684 M2^(A^-1) = M2*I3, 1685 M2^B = M2*N4, 1686 M2^(B^-1) = M2*N4, 1687 M2^C =: M2*J3, 1688 M2^(C^-1) = M2*J3, 1689 M2^D = M2, 1690 M2^(D^-1) = M2, 1691 M2^E = M2, 1692 M2^(E^-1) = M2, 1693 M2^F = M2*N4, 1694 M2^(F^-1) = M2*N4, 1695 M2^G = M2*M4, 1696 M2^(G^-1) = M2*M4, 1697 N2^A = N2, 1698 N2^(A^-1) = N2, 1699 N2^B =: N2*K3, 1700 N2^(B^-1) = N2*K3, 1701 N2^C = N2*C5, 1702 N2^(C^-1) = N2*C5, 1703 N2^D = N2*U3*C5, 1704 N2^(D^-1) = N2*U3*C5, 1705 N2^E = N2*N4, 1706 N2^(E^-1) = N2*N4, 1707 N2^F = N2*O4, 1708 N2^(F^-1) = N2*O4, 1709 N2^G = N2*C5, 1710 N2^(G^-1) = N2*C5, 1711 O2^A = O2, 1712 O2^(A^-1) = O2, 1713 O2^B = O2, 1714 O2^(B^-1) = O2, 1715 O2^C = O2*L3, 1716 O2^(C^-1) = O2*L3, 1717 O2^D = O2*D5, 1718 O2^(D^-1) = O2*D5, 1719 O2^E = O2, 1720 O2^(E^-1) = O2, 1721 O2^F = O2*P4, 1722 O2^(F^-1) = O2*P4, 1723 O2^G = O2*D5, 1724 O2^(G^-1) = O2*D5, 1725 P2^A =: P2*L3, 1726 P2^(A^-1) = P2*L3, 1727 P2^B =: P2*M3, 1728 P2^(B^-1) = P2*M3, 1729 P2^C = P2*E5, 1730 P2^(C^-1) = P2*E5, 1731 P2^D = P2*V3, 1732 P2^(D^-1) = P2*V3, 1733 P2^E = P2*P4*Q4, 1734 P2^(E^-1) = P2*P4*Q4, 1735 P2^F = P2*R4, 1736 P2^(F^-1) = P2*R4, 1737 P2^G = P2*E5, 1738 P2^(G^-1) = P2*E5, 1739 Q2^A = Q2, 1740 Q2^(A^-1) = Q2, 1741 Q2^B = Q2*N3^2, 1742 Q2^(B^-1) = Q2*N3, 1743 Q2^C = Q2, 1744 Q2^(C^-1) = Q2, 1745 Q2^D = Q2*Y3^2*G5^2*K5, 1746 Q2^(D^-1) = Q2*Y3*G5*K5, 1747 Q2^E = Q2*S4^2, 1748 Q2^(E^-1) = Q2*S4, 1749 Q2^F = Q2*T4, 1750 Q2^(F^-1) = Q2*T4^2, 1751 Q2^G = Q2*G5^2, 1752 Q2^(G^-1) = Q2*G5, 1753 R2^A =: R2*N3, 1754 R2^(A^-1) = R2*N3^2*S4, 1755 R2^B = R2, 1756 R2^(B^-1) = R2, 1757 R2^C =: R2*O3, 1758 R2^(C^-1) = R2*O3^2*U4, 1759 R2^D = R2, 1760 R2^(D^-1) = R2, 1761 R2^E = R2, 1762 R2^(E^-1) = R2, 1763 R2^F = R2, 1764 R2^(F^-1) = R2, 1765 R2^G = R2*V4^2, 1766 R2^(G^-1) = R2*V4, 1767 S2^A = S2, 1768 S2^(A^-1) = S2, 1769 S2^B = S2*W4^2, 1770 S2^(B^-1) = S2*W4, 1771 S2^C =: S2*P3, 1772 S2^(C^-1) = S2*P3^2, 1773 S2^D =: S2*Q3, 1774 S2^(D^-1) = S2*Q3^2, 1775 S2^E = S2, 1776 S2^(E^-1) = S2, 1777 S2^F = S2*W4, 1778 S2^(F^-1) = S2*W4^2, 1779 S2^G = S2*X4^2, 1780 S2^(G^-1) = S2*X4, 1781 T2^A = T2, 1782 T2^(A^-1) = T2, 1783 T2^B =: T2*R3, 1784 T2^(B^-1) = T2*R3, 1785 T2^C = T2*N5, 1786 T2^(C^-1) = T2*N5, 1787 T2^D = T2*D4*N5, 1788 T2^(D^-1) = T2*D4*N5, 1789 T2^E = T2*Y4, 1790 T2^(E^-1) = T2*Y4, 1791 T2^F = T2*Z4, 1792 T2^(F^-1) = T2*Z4, 1793 T2^G = T2*N5, 1794 T2^(G^-1) = T2*N5, 1795 U2^A = U2*D4*N5, 1796 U2^(A^-1) = U2*D4*N5, 1797 U2^B = U2, 1798 U2^(B^-1) = U2, 1799 U2^C =: U2*S3, 1800 U2^(C^-1) = U2*S3, 1801 U2^D = U2*O5, 1802 U2^(D^-1) = U2*O5, 1803 U2^E = U2, 1804 U2^(E^-1) = U2, 1805 U2^F = U2*A5, 1806 U2^(F^-1) = U2*A5, 1807 U2^G = U2*O5, 1808 U2^(G^-1) = U2*O5, 1809 V2^A = V2, 1810 V2^(A^-1) = V2, 1811 V2^B = V2*B5, 1812 V2^(B^-1) = V2*B5, 1813 V2^C = V2*T3, 1814 V2^(C^-1) = V2*T3, 1815 V2^D = V2, 1816 V2^(D^-1) = V2, 1817 V2^E = V2, 1818 V2^(E^-1) = V2, 1819 V2^F = V2*B5, 1820 V2^(F^-1) = V2*B5, 1821 V2^G = V2*D5, 1822 V2^(G^-1) = V2*D5, 1823 W2^A =: W2*T3, 1824 W2^(A^-1) = W2*T3, 1825 W2^B =: W2*U3, 1826 W2^(B^-1) = W2*U3, 1827 W2^C = W2*P5, 1828 W2^(C^-1) = W2*P5, 1829 W2^D =: W2*V3, 1830 W2^(D^-1) = W2*V3, 1831 W2^E = W2*B5, 1832 W2^(E^-1) = W2*B5, 1833 W2^F = W2*C5, 1834 W2^(F^-1) = W2*C5, 1835 W2^G = W2*E5, 1836 W2^(G^-1) = W2*E5, 1837 X2^A = X2*Y3^2*N5, 1838 X2^(A^-1) = X2*Y3*N5, 1839 X2^B = X2*H5*I5, 1840 X2^(B^-1) = X2*H5^2*I5^2, 1841 X2^C =: X2*W3, 1842 X2^(C^-1) = X2*W3^2, 1843 X2^D =: X2*X3, 1844 X2^(D^-1) = X2*X3^2*O5, 1845 X2^E = X2, 1846 X2^(E^-1) = X2, 1847 X2^F = X2*H5^2*I5^2, 1848 X2^(F^-1) = X2*H5*I5, 1849 X2^G = X2*F5^2, 1850 X2^(G^-1) = X2*F5, 1851 Y2^A = Y2, 1852 Y2^(A^-1) = Y2, 1853 Y2^B = Y2, 1854 Y2^(B^-1) = Y2, 1855 Y2^C = Y2*Y3, 1856 Y2^(C^-1) = Y2*Y3^2*G5, 1857 Y2^D = Y2, 1858 Y2^(D^-1) = Y2, 1859 Y2^E = Y2, 1860 Y2^(E^-1) = Y2, 1861 Y2^F = Y2, 1862 Y2^(F^-1) = Y2, 1863 Y2^G = Y2*K5^2, 1864 Y2^(G^-1) = Y2*K5, 1865 Z2^A =: Z2*Y3, 1866 Z2^(A^-1) = Z2*Y3^2, 1867 Z2^B = Z2*H5^2, 1868 Z2^(B^-1) = Z2*H5, 1869 Z2^C = Z2*Z3, 1870 Z2^(C^-1) = Z2*Z3^2, 1871 Z2^D = Z2*B4, 1872 Z2^(D^-1) = Z2*B4^2, 1873 Z2^E = Z2, 1874 Z2^(E^-1) = Z2, 1875 Z2^F = Z2*H5, 1876 Z2^(F^-1) = Z2*H5^2, 1877 Z2^G = Z2*L5^2, 1878 Z2^(G^-1) = Z2*L5, 1879 A3^A =: A3*Z3, 1880 A3^(A^-1) = A3*Z3^2*G5, 1881 A3^B =: A3*A4, 1882 A3^(B^-1) = A3*A4^2, 1883 A3^C = A3, 1884 A3^(C^-1) = A3, 1885 A3^D = A3*C4^2, 1886 A3^(D^-1) = A3*C4*P5, 1887 A3^E = A3*H5^2*I5, 1888 A3^(E^-1) = A3*H5*I5^2, 1889 A3^F = A3*J5^2, 1890 A3^(F^-1) = A3*J5, 1891 A3^G = A3*M5^2, 1892 A3^(G^-1) = A3*M5, 1893 B3^A =: B3*B4, 1894 B3^(A^-1) = B3*B4^2*K5, 1895 B3^B = B3, 1896 B3^(B^-1) = B3, 1897 B3^C =: B3*C4, 1898 B3^(C^-1) = B3*C4^2*M5*P5, 1899 B3^D = B3, 1900 B3^(D^-1) = B3, 1901 B3^E = B3, 1902 B3^(E^-1) = B3, 1903 B3^F = B3, 1904 B3^(F^-1) = B3, 1905 B3^G = B3, 1906 B3^(G^-1) = B3, 1907 C3^A =: C3*D4, 1908 C3^(A^-1) = C3*D4, 1909 C3^B = C3, 1910 C3^(B^-1) = C3, 1911 C3^C =: C3*E4, 1912 C3^(C^-1) = C3*E4, 1913 C3^D = C3, 1914 C3^(D^-1) = C3, 1915 C3^E = C3, 1916 C3^(E^-1) = C3, 1917 C3^F = C3, 1918 C3^(F^-1) = C3, 1919 C3^G = C3*O5, 1920 C3^(G^-1) = C3*O5, 1921 D3^A = D3*N5, 1922 D3^(A^-1) = D3*N5, 1923 D3^B = D3*F4*P5, 1924 D3^(B^-1) = D3*F4*P5, 1925 D3^C = D3*P5, 1926 D3^(C^-1) = D3*P5, 1927 D3^D =: D3*F4, 1928 D3^(D^-1) = D3*F4, 1929 D3^E = D3, 1930 D3^(E^-1) = D3, 1931 D3^F = D3*P5, 1932 D3^(F^-1) = D3*P5, 1933 D3^G = D3*P5, 1934 D3^(G^-1) = D3*P5, 1935 E3^A = E3, 1936 E3^(A^-1) = E3, 1937 E3^B =: E3*G4, 1938 E3^(B^-1) = E3*G4, 1939 E3^C = E3, 1940 E3^(C^-1) = E3, 1941 E3^D = E3*H4, 1942 E3^(D^-1) = E3*H4, 1943 F3^A =: F3*H4, 1944 F3^(A^-1) = F3*H4, 1945 F3^B = F3, 1946 F3^(B^-1) = F3, 1947 F3^C =: F3*I4, 1948 F3^(C^-1) = F3*I4, 1949 F3^D = F3, 1950 F3^(D^-1) = F3, 1951 G3^A = G3, 1952 G3^(A^-1) = G3, 1953 G3^B = G3, 1954 G3^(B^-1) = G3, 1955 G3^C = G3*J4, 1956 G3^(C^-1) = G3*J4, 1957 G3^D = G3, 1958 G3^(D^-1) = G3, 1959 H3^A =: H3*J4, 1960 H3^(A^-1) = H3*J4, 1961 H3^B = H3*Q4*B5, 1962 H3^(B^-1) = H3*Q4*B5, 1963 H3^C = H3, 1964 H3^(C^-1) = H3, 1965 H3^D =: H3*K4, 1966 H3^(D^-1) = H3*K4, 1967 I3^A = I3, 1968 I3^(A^-1) = I3, 1969 I3^B = I3, 1970 I3^(B^-1) = I3, 1971 I3^C = I3*L4, 1972 I3^(C^-1) = I3*L4, 1973 I3^D = I3, 1974 I3^(D^-1) = I3, 1975 J3^A =: J3*L4, 1976 J3^(A^-1) = J3*L4, 1977 J3^B = J3*N4, 1978 J3^(B^-1) = J3*N4, 1979 J3^C = J3, 1980 J3^(C^-1) = J3, 1981 J3^D =: J3*M4, 1982 J3^(D^-1) = J3*M4, 1983 K3^A =: K3*N4, 1984 K3^(A^-1) = K3*N4, 1985 K3^B = K3, 1986 K3^(B^-1) = K3, 1987 K3^C =: K3*O4, 1988 K3^(C^-1) = K3*O4, 1989 K3^D = K3, 1990 K3^(D^-1) = K3, 1991 L3^A = L3, 1992 L3^(A^-1) = L3, 1993 L3^B =: L3*P4, 1994 L3^(B^-1) = L3*P4, 1995 L3^C = L3, 1996 L3^(C^-1) = L3, 1997 L3^D = L3*D5, 1998 L3^(D^-1) = L3*D5, 1999 M3^A =: M3*Q4, 2000 M3^(A^-1) = M3*Q4, 2001 M3^B = M3, 2002 M3^(B^-1) = M3, 2003 M3^C =: M3*R4, 2004 M3^(C^-1) = M3*R4, 2005 M3^D = M3, 2006 M3^(D^-1) = M3, 2007 N3^A =: N3*S4, 2008 N3^(A^-1) = N3*S4^2, 2009 N3^B = N3, 2010 N3^(B^-1) = N3, 2011 N3^C = N3*T4, 2012 N3^(C^-1) = N3*T4^2, 2013 N3^D = N3, 2014 N3^(D^-1) = N3, 2015 O3^A =: O3*T4, 2016 O3^(A^-1) = O3*T4^2, 2017 O3^B = O3, 2018 O3^(B^-1) = O3, 2019 O3^C =: O3*U4, 2020 O3^(C^-1) = O3*U4^2, 2021 O3^D =: O3*V4, 2022 O3^(D^-1) = O3*V4^2, 2023 P3^A = P3, 2024 P3^(A^-1) = P3, 2025 P3^B =: P3*W4, 2026 P3^(B^-1) = P3*W4^2, 2027 P3^C = P3, 2028 P3^(C^-1) = P3, 2029 P3^D = P3*X4^2, 2030 P3^(D^-1) = P3*X4, 2031 Q3^A = Q3, 2032 Q3^(A^-1) = Q3, 2033 Q3^B = Q3, 2034 Q3^(B^-1) = Q3, 2035 Q3^C =: Q3*X4, 2036 Q3^(C^-1) = Q3*X4^2, 2037 Q3^D = Q3, 2038 Q3^(D^-1) = Q3, 2039 R3^A =: R3*Y4, 2040 R3^(A^-1) = R3*Y4, 2041 R3^B = R3, 2042 R3^(B^-1) = R3, 2043 R3^C =: R3*Z4, 2044 R3^(C^-1) = R3*Z4, 2045 R3^D = R3, 2046 R3^(D^-1) = R3, 2047 S3^A = S3*N5, 2048 S3^(A^-1) = S3*N5, 2049 S3^B =: S3*A5, 2050 S3^(B^-1) = S3*A5, 2051 S3^C = S3, 2052 S3^(C^-1) = S3, 2053 S3^D = S3*O5, 2054 S3^(D^-1) = S3*O5, 2055 T3^A = T3, 2056 T3^(A^-1) = T3, 2057 T3^B =: T3*B5, 2058 T3^(B^-1) = T3*B5, 2059 T3^C = T3, 2060 T3^(C^-1) = T3, 2061 T3^D = T3*D5, 2062 T3^(D^-1) = T3*D5, 2063 U3^A = U3, 2064 U3^(A^-1) = U3, 2065 U3^B = U3, 2066 U3^(B^-1) = U3, 2067 U3^C =: U3*C5, 2068 U3^(C^-1) = U3*C5, 2069 U3^D = U3, 2070 U3^(D^-1) = U3, 2071 V3^A =: V3*D5, 2072 V3^(A^-1) = V3*D5, 2073 V3^B = V3, 2074 V3^(B^-1) = V3, 2075 V3^C =: V3*E5, 2076 V3^(C^-1) = V3*E5, 2077 V3^D = V3, 2078 V3^(D^-1) = V3, 2079 W3^A = W3*G5^2, 2080 W3^(A^-1) = W3*G5, 2081 W3^B = W3*H5^2*I5^2, 2082 W3^(B^-1) = W3*H5*I5, 2083 W3^C = W3, 2084 W3^(C^-1) = W3, 2085 W3^D = W3*F5^2, 2086 W3^(D^-1) = W3*F5, 2087 X3^A = X3*K5^2, 2088 X3^(A^-1) = X3*K5, 2089 X3^B = X3, 2090 X3^(B^-1) = X3, 2091 X3^C =: X3*F5, 2092 X3^(C^-1) = X3*F5^2, 2093 X3^D = X3, 2094 X3^(D^-1) = X3, 2095 Y3^A = Y3, 2096 Y3^(A^-1) = Y3, 2097 Y3^B = Y3, 2098 Y3^(B^-1) = Y3, 2099 Y3^C = Y3*G5, 2100 Y3^(C^-1) = Y3*G5^2, 2101 Y3^D = Y3*K5, 2102 Y3^(D^-1) = Y3*K5^2, 2103 Z3^A =: Z3*G5, 2104 Z3^(A^-1) = Z3*G5^2, 2105 Z3^B =: Z3*H5, 2106 Z3^(B^-1) = Z3*H5^2, 2107 Z3^C = Z3, 2108 Z3^(C^-1) = Z3, 2109 Z3^D = Z3*L5^2, 2110 Z3^(D^-1) = Z3*L5, 2111 A4^A =: A4*I5, 2112 A4^(A^-1) = A4*I5^2, 2113 A4^B = A4, 2114 A4^(B^-1) = A4, 2115 A4^C =: A4*J5, 2116 A4^(C^-1) = A4*J5^2, 2117 A4^D = A4, 2118 A4^(D^-1) = A4, 2119 B4^A =: B4*K5, 2120 B4^(A^-1) = B4*K5^2, 2121 B4^B = B4, 2122 B4^(B^-1) = B4, 2123 B4^C = B4*L5, 2124 B4^(C^-1) = B4*L5^2, 2125 B4^D = B4, 2126 B4^(D^-1) = B4, 2127 C4^A =: C4*L5, 2128 C4^(A^-1) = C4*L5^2, 2129 C4^B = C4, 2130 C4^(B^-1) = C4, 2131 C4^C =: C4*M5, 2132 C4^(C^-1) = C4*M5^2, 2133 C4^D = C4, 2134 C4^(D^-1) = C4, 2135 D4^A = D4, 2136 D4^(A^-1) = D4, 2137 D4^B = D4, 2138 D4^(B^-1) = D4, 2139 D4^C = D4*N5, 2140 D4^(C^-1) = D4*N5, 2141 D4^D = D4, 2142 D4^(D^-1) = D4, 2143 E4^A =: E4*N5, 2144 E4^(A^-1) = E4*N5, 2145 E4^B = E4, 2146 E4^(B^-1) = E4, 2147 E4^C = E4, 2148 E4^(C^-1) = E4, 2149 E4^D =: E4*O5, 2150 E4^(D^-1) = E4*O5, 2151 F4^A = F4, 2152 F4^(A^-1) = F4, 2153 F4^B = F4, 2154 F4^(B^-1) = F4, 2155 F4^C =: F4*P5, 2156 F4^(C^-1) = F4*P5, 2157 F4^D = F4, 2158 F4^(D^-1) = F4 > 2159 2160# Class : 12 2161# Nr of generators of each class : 4 3 3 3 4 6 9 13 16 21 28 36 2162 2163 2164# The definitions: 2165# E := [ B, A ] 2166# F := [ C, B ] 2167# G := [ D, C ] 2168# H := [ C, B, A ] 2169# I := [ C, B, C ] 2170# J := [ D, C, B ] 2171# K := [ C, B, C, A ] 2172# L := [ D, C, B, A ] 2173# M := [ D, C, B, C ] 2174# N := [ D, C, B, C, A ] 2175# O := [ D, C, B, C, B ] 2176# P := [ D, C, B, C, C ] 2177# Q := [ D, C, B, C, D ] 2178# R := [ D, C, B, C, A, B ] 2179# S := [ D, C, B, C, B, C ] 2180# T := [ D, C, B, C, C, A ] 2181# U := [ D, C, B, C, C, B ] 2182# V := [ D, C, B, C, D, A ] 2183# W := [ D, C, B, C, D, C ] 2184# X := [ D, C, B, C, A, B, A ] 2185# Y := [ D, C, B, C, A, B, C ] 2186# Z := [ D, C, B, C, B, C, B ] 2187# A1 := [ D, C, B, C, C, B, A ] 2188# B1 := [ D, C, B, C, C, B, C ] 2189# C1 := [ D, C, B, C, D, C, A ] 2190# D1 := [ D, C, B, C, D, C, B ] 2191# E1 := [ D, C, B, C, D, C, C ] 2192# F1 := [ D, C, B, C, D, C, D ] 2193# G1 := [ D, C, B, C, A, B, C, A ] 2194# H1 := [ D, C, B, C, A, B, C, D ] 2195# I1 := [ D, C, B, C, B, C, B, A ] 2196# J1 := [ D, C, B, C, B, C, B, C ] 2197# K1 := [ D, C, B, C, C, B, A, A ] 2198# L1 := [ D, C, B, C, C, B, C, A ] 2199# M1 := [ D, C, B, C, C, B, C, C ] 2200# N1 := [ D, C, B, C, D, C, A, B ] 2201# O1 := [ D, C, B, C, D, C, B, C ] 2202# P1 := [ D, C, B, C, D, C, C, A ] 2203# Q1 := [ D, C, B, C, D, C, C, B ] 2204# R1 := [ D, C, B, C, D, C, D, A ] 2205# S1 := [ D, C, B, C, D, C, D, C ] 2206# T1 := [ D, C, B, C, A, B, C, A, B ] 2207# U1 := [ D, C, B, C, A, B, C, D, C ] 2208# V1 := [ D, C, B, C, B, C, B, C, A ] 2209# W1 := [ D, C, B, C, B, C, B, C, B ] 2210# X1 := [ D, C, B, C, B, C, B, C, D ] 2211# Y1 := [ D, C, B, C, C, B, C, A, A ] 2212# Z1 := [ D, C, B, C, C, B, C, C, A ] 2213# A2 := [ D, C, B, C, C, B, C, C, B ] 2214# B2 := [ D, C, B, C, D, C, A, B, A ] 2215# C2 := [ D, C, B, C, D, C, A, B, C ] 2216# D2 := [ D, C, B, C, D, C, B, C, B ] 2217# E2 := [ D, C, B, C, D, C, C, A, B ] 2218# F2 := [ D, C, B, C, D, C, C, B, A ] 2219# G2 := [ D, C, B, C, D, C, C, B, C ] 2220# H2 := [ D, C, B, C, D, C, D, C, A ] 2221# I2 := [ D, C, B, C, D, C, D, C, D ] 2222# J2 := [ D, C, B, C, A, B, C, A, B, A ] 2223# K2 := [ D, C, B, C, A, B, C, A, B, C ] 2224# L2 := [ D, C, B, C, A, B, C, D, C, B ] 2225# M2 := [ D, C, B, C, B, C, B, C, A, B ] 2226# N2 := [ D, C, B, C, B, C, B, C, B, C ] 2227# O2 := [ D, C, B, C, B, C, B, C, D, A ] 2228# P2 := [ D, C, B, C, B, C, B, C, D, C ] 2229# Q2 := [ D, C, B, C, C, B, C, C, A, A ] 2230# R2 := [ D, C, B, C, C, B, C, C, A, B ] 2231# S2 := [ D, C, B, C, C, B, C, C, B, C ] 2232# T2 := [ D, C, B, C, D, C, A, B, C, A ] 2233# U2 := [ D, C, B, C, D, C, A, B, C, D ] 2234# V2 := [ D, C, B, C, D, C, B, C, B, A ] 2235# W2 := [ D, C, B, C, D, C, B, C, B, C ] 2236# X2 := [ D, C, B, C, D, C, C, A, B, C ] 2237# Y2 := [ D, C, B, C, D, C, C, B, A, A ] 2238# Z2 := [ D, C, B, C, D, C, C, B, C, A ] 2239# A3 := [ D, C, B, C, D, C, C, B, C, C ] 2240# B3 := [ D, C, B, C, D, C, C, B, C, D ] 2241# C3 := [ D, C, B, C, D, C, D, C, A, B ] 2242# D3 := [ D, C, B, C, D, C, D, C, D, C ] 2243# E3 := [ D, C, B, C, A, B, C, A, B, C, A ] 2244# F3 := [ D, C, B, C, A, B, C, A, B, C, D ] 2245# G3 := [ D, C, B, C, A, B, C, D, C, B, A ] 2246# H3 := [ D, C, B, C, A, B, C, D, C, B, C ] 2247# I3 := [ D, C, B, C, B, C, B, C, A, B, A ] 2248# J3 := [ D, C, B, C, B, C, B, C, A, B, C ] 2249# K3 := [ D, C, B, C, B, C, B, C, B, C, B ] 2250# L3 := [ D, C, B, C, B, C, B, C, D, C, A ] 2251# M3 := [ D, C, B, C, B, C, B, C, D, C, B ] 2252# N3 := [ D, C, B, C, C, B, C, C, A, B, A ] 2253# O3 := [ D, C, B, C, C, B, C, C, A, B, C ] 2254# P3 := [ D, C, B, C, C, B, C, C, B, C, C ] 2255# Q3 := [ D, C, B, C, C, B, C, C, B, C, D ] 2256# R3 := [ D, C, B, C, D, C, A, B, C, A, B ] 2257# S3 := [ D, C, B, C, D, C, A, B, C, D, C ] 2258# T3 := [ D, C, B, C, D, C, B, C, B, C, A ] 2259# U3 := [ D, C, B, C, D, C, B, C, B, C, B ] 2260# V3 := [ D, C, B, C, D, C, B, C, B, C, D ] 2261# W3 := [ D, C, B, C, D, C, C, A, B, C, C ] 2262# X3 := [ D, C, B, C, D, C, C, A, B, C, D ] 2263# Y3 := [ D, C, B, C, D, C, C, B, C, A, A ] 2264# Z3 := [ D, C, B, C, D, C, C, B, C, C, A ] 2265# A4 := [ D, C, B, C, D, C, C, B, C, C, B ] 2266# B4 := [ D, C, B, C, D, C, C, B, C, D, A ] 2267# C4 := [ D, C, B, C, D, C, C, B, C, D, C ] 2268# D4 := [ D, C, B, C, D, C, D, C, A, B, A ] 2269# E4 := [ D, C, B, C, D, C, D, C, A, B, C ] 2270# F4 := [ D, C, B, C, D, C, D, C, D, C, D ] 2271# G4 := [ D, C, B, C, A, B, C, A, B, C, A, B ] 2272# H4 := [ D, C, B, C, A, B, C, A, B, C, D, A ] 2273# I4 := [ D, C, B, C, A, B, C, A, B, C, D, C ] 2274# J4 := [ D, C, B, C, A, B, C, D, C, B, C, A ] 2275# K4 := [ D, C, B, C, A, B, C, D, C, B, C, D ] 2276# L4 := [ D, C, B, C, B, C, B, C, A, B, C, A ] 2277# M4 := [ D, C, B, C, B, C, B, C, A, B, C, D ] 2278# N4 := [ D, C, B, C, B, C, B, C, B, C, B, A ] 2279# O4 := [ D, C, B, C, B, C, B, C, B, C, B, C ] 2280# P4 := [ D, C, B, C, B, C, B, C, D, C, A, B ] 2281# Q4 := [ D, C, B, C, B, C, B, C, D, C, B, A ] 2282# R4 := [ D, C, B, C, B, C, B, C, D, C, B, C ] 2283# S4 := [ D, C, B, C, C, B, C, C, A, B, A, A ] 2284# T4 := [ D, C, B, C, C, B, C, C, A, B, C, A ] 2285# U4 := [ D, C, B, C, C, B, C, C, A, B, C, C ] 2286# V4 := [ D, C, B, C, C, B, C, C, A, B, C, D ] 2287# W4 := [ D, C, B, C, C, B, C, C, B, C, C, B ] 2288# X4 := [ D, C, B, C, C, B, C, C, B, C, D, C ] 2289# Y4 := [ D, C, B, C, D, C, A, B, C, A, B, A ] 2290# Z4 := [ D, C, B, C, D, C, A, B, C, A, B, C ] 2291# A5 := [ D, C, B, C, D, C, A, B, C, D, C, B ] 2292# B5 := [ D, C, B, C, D, C, B, C, B, C, A, B ] 2293# C5 := [ D, C, B, C, D, C, B, C, B, C, B, C ] 2294# D5 := [ D, C, B, C, D, C, B, C, B, C, D, A ] 2295# E5 := [ D, C, B, C, D, C, B, C, B, C, D, C ] 2296# F5 := [ D, C, B, C, D, C, C, A, B, C, D, C ] 2297# G5 := [ D, C, B, C, D, C, C, B, C, C, A, A ] 2298# H5 := [ D, C, B, C, D, C, C, B, C, C, A, B ] 2299# I5 := [ D, C, B, C, D, C, C, B, C, C, B, A ] 2300# J5 := [ D, C, B, C, D, C, C, B, C, C, B, C ] 2301# K5 := [ D, C, B, C, D, C, C, B, C, D, A, A ] 2302# L5 := [ D, C, B, C, D, C, C, B, C, D, C, A ] 2303# M5 := [ D, C, B, C, D, C, C, B, C, D, C, C ] 2304# N5 := [ D, C, B, C, D, C, D, C, A, B, C, A ] 2305# O5 := [ D, C, B, C, D, C, D, C, A, B, C, D ] 2306# P5 := [ D, C, B, C, D, C, D, C, D, C, D, C ] 2307