Mapping of the physically irreducible representations of Cracknell, Davies, Miller & Love onto those of Kovalev.
1 P1: GM1=k8t1, Z1=k7t1, X1=k5t1, U1=k3t1, V1=k4t1, R1=k1t1, Y1=k6t1, T1=k2t1, GP1GQ1=k0t1t1*
2 P-1: GM1+=k8t1, GM1-=k8t2, Z1+=k7t1, Z1-=k7t2, X1+=k5t1, X1-=k5t2, U1+=k3t1, U1-=k3t2, V1+=k4t1, V1-=k4t2, R1+=k1t1, R1-=k1t2, Y1+=k6t1, Y1-=k6t2, T1+=k2t1, T1-=k2t2, GP1=k0t1
3 P2: GM1=k7t1, GM2=k7t2, LD1LE1=k3t1t1*, LD2LE2=k3t2t2*, A1=k14t1, A2=k14t2, B1=k12t1, B2=k12t2, C1=k9t1, C2=k9t2, D1=k8t1, D2=k8t2, E1=k10t1, E2=k10t2, Y1=k13t1, Y2=k13t2, Z1=k11t1, Z2=k11t2, U1UA1=k6t1t1*, U2UA2=k6t2t2*, V1VA1=k4t1t1*, V2VA2=k4t2t2*, W1WA1=k5t1t1*, W2WA2=k5t2t2*, F1=k1t1, G1=k2t1, GP1GQ1=k0t1t1*
4 P2_1: GM1=k7t1, GM2=k7t2, LD1LE1=k3t2t2*, LD2LE2=k3t1t1*, A1=k14t1, A2=k14t2, B1=k12t1, B2=k12t2, C1C2=k9t1t2, D1D2=k8t1t2, E1E2=k10t1t2, Y1=k13t1, Y2=k13t2, Z1Z2=k11t1t2, U1UA1=k6t2t2*, U2UA2=k6t1t1*, V1VA1=k4t2t2*, V2VA2=k4t1t1*, W1WA1=k5t2t2*, W2WA2=k5t1t1*, F1=k1t1, G1G1=k2t1t1, GP1GQ1=k0t1t1*
5 C2: GM1=k6t1, GM2=k6t2, LD1LE1=k2t1t1*, LD2LE2=k2t2t2*, Y1=k8t1, Y2=k8t2, A1=k7t1, A2=k7t2, V1=k4t1, L1=k5t1, M1=k9t1, M2=k9t2, U1UA1=k3t1t1*, U2UA2=k3t2t2*, B1=k1t1, GP1GQ1=k0t1t1*
6 Pm: GM1=k7t1, GM2=k7t2, LD1=k3t1, A1=k14t1, A2=k14t2, B1=k12t1, B2=k12t2, C1=k9t1, C2=k9t2, D1=k8t1, D2=k8t2, E1=k10t1, E2=k10t2, Y1=k13t1, Y2=k13t2, Z1=k11t1, Z2=k11t2, U1=k6t1, V1=k4t1, W1=k5t1, F1FA1=k1t1t1*, F2FA2=k1t2t2*, G1GA1=k2t1t1*, G2GA2=k2t2t2*, GP1GQ1=k0t1t1*
7 Pc: GM1=k7t1, GM2=k7t2, LD1=k3t1, A1A2=k14t1t2, B1B2=k12t1t2, C1=k9t1, C2=k9t2, D1D2=k8t1t2, E1E2=k10t1t2, Y1=k13t1, Y2=k13t2, Z1=k11t1, Z2=k11t2, U1U1=k6t1t1, V1V1=k4t1t1, W1=k5t1, F1FA1=k1t2t2*, F2FA2=k1t1t1*, G1GA1=k2t2t2*, G2GA2=k2t1t1*, GP1GQ1=k0t1t1*
8 Cm: GM1=k6t1, GM2=k6t2, LD1=k2t1, Y1=k8t1, Y2=k8t2, A1=k7t1, A2=k7t2, V1=k4t1, L1=k5t1, M1=k9t1, M2=k9t2, U1=k3t1, B1BA1=k1t1t1*, B2BA2=k1t2t2*, GP1GQ1=k0t1t1*
9 Cc: GM1=k6t1, GM2=k6t2, LD1=k2t1, Y1=k8t1, Y2=k8t2, A1A2=k7t1t2, V1=k4t1, L1=k5t1, M1M2=k9t1t2, U1U1=k3t1t1, B1BA1=k1t2t2*, B2BA2=k1t1t1*, GP1GQ1=k0t1t1*
10 P2/m: GM1+=k7t1, GM2+=k7t3, GM1-=k7t2, GM2-=k7t4, LD1=k3t1, LD2=k3t2, A1+=k14t1, A2+=k14t3, A1-=k14t2, A2-=k14t4, B1+=k12t1, B2+=k12t3, B1-=k12t2, B2-=k12t4, C1+=k9t1, C2+=k9t3, C1-=k9t2, C2-=k9t4, D1+=k8t1, D2+=k8t3, D1-=k8t2, D2-=k8t4, E1+=k10t1, E2+=k10t3, E1-=k10t2, E2-=k10t4, Y1+=k13t1, Y2+=k13t3, Y1-=k13t2, Y2-=k13t4, Z1+=k11t1, Z2+=k11t3, Z1-=k11t2, Z2-=k11t4, U1=k6t1, U2=k6t2, V1=k4t1, V2=k4t2, W1=k5t1, W2=k5t2, F1=k1t1, F2=k1t2, G1=k2t1, G2=k2t2, GP1=k0t1
11 P2_1/m: GM1+=k7t1, GM2+=k7t3, GM1-=k7t2, GM2-=k7t4, LD1=k3t2, LD2=k3t1, A1+=k14t1, A2+=k14t3, A1-=k14t2, A2-=k14t4, B1+=k12t1, B2+=k12t3, B1-=k12t2, B2-=k12t4, C1=k9t1, D1=k8t1, E1=k10t1, Y1+=k13t1, Y2+=k13t3, Y1-=k13t2, Y2-=k13t4, Z1=k11t1, U1=k6t2, U2=k6t1, V1=k4t2, V2=k4t1, W1=k5t2, W2=k5t1, F1=k1t1, F2=k1t2, G1G2=k2t1t2, GP1=k0t1
12 C2/m: GM1+=k6t1, GM2+=k6t3, GM1-=k6t2, GM2-=k6t4, LD1=k2t1, LD2=k2t2, Y1+=k8t1, Y2+=k8t3, Y1-=k8t2, Y2-=k8t4, A1+=k7t1, A2+=k7t3, A1-=k7t2, A2-=k7t4, V1+=k4t1, V1-=k4t2, L1+=k5t1, L1-=k5t2, M1+=k9t1, M2+=k9t3, M1-=k9t2, M2-=k9t4, U1=k3t1, U2=k3t2, B1=k1t1, B2=k1t2, GP1=k0t1
13 P2/c: GM1+=k7t1, GM2+=k7t3, GM1-=k7t2, GM2-=k7t4, LD1=k3t1, LD2=k3t2, A1=k14t1, B1=k12t1, C1+=k9t1, C2+=k9t3, C1-=k9t2, C2-=k9t4, D1=k8t1, E1=k10t1, Y1+=k13t1, Y2+=k13t3, Y1-=k13t2, Y2-=k13t4, Z1+=k11t1, Z2+=k11t3, Z1-=k11t2, Z2-=k11t4, U1U2=k6t1t2, V1V2=k4t1t2, W1=k5t1, W2=k5t2, F1=k1t2, F2=k1t1, G1=k2t2, G2=k2t1, GP1=k0t1
14 P2_1/c: GM1+=k7t1, GM2+=k7t3, GM1-=k7t2, GM2-=k7t4, LD1=k3t2, LD2=k3t1, A1=k14t1, B1=k12t1, C1=k9t1, D1+D2+=k8t2t4, D1-D2-=k8t1t3, E1+E2+=k10t2t4, E1-E2-=k10t1t3, Y1+=k13t1, Y2+=k13t3, Y1-=k13t2, Y2-=k13t4, Z1=k11t1, U1U2=k6t1t2, V1V2=k4t1t2, W1=k5t2, W2=k5t1, F1=k1t2, F2=k1t1, G1G2=k2t1t2, GP1=k0t1
15 C2/c: GM1+=k6t1, GM2+=k6t3, GM1-=k6t2, GM2-=k6t4, LD1=k2t1, LD2=k2t2, Y1+=k8t1, Y2+=k8t3, Y1-=k8t2, Y2-=k8t4, A1=k7t1, V1+=k4t1, V1-=k4t2, L1+=k5t1, L1-=k5t2, M1=k9t1, U1U2=k3t1t2, B1=k1t2, B2=k1t1, GP1=k0t1
16 P222: GM1=k19t1, GM2=k19t4, GM3=k19t2, GM4=k19t3, DT1=k8t1, DT2=k8t2, LD1=k9t1, LD2=k9t2, SM1=k7t1, SM2=k7t2, X1=k20t1, X2=k20t4, X3=k20t2, X4=k20t3, Y1=k21t1, Y2=k21t4, Y3=k21t2, Y4=k21t3, Z1=k22t1, Z2=k22t4, Z3=k22t2, Z4=k22t3, S1=k25t1, S2=k25t4, S3=k25t2, S4=k25t3, T1=k23t1, T2=k23t4, T3=k23t2, T4=k23t3, U1=k24t1, U2=k24t4, U3=k24t2, U4=k24t3, R1=k26t1, R2=k26t4, R3=k26t2, R4=k26t3, A1=k12t1, A2=k12t2, B1=k15t1, B2=k15t2, C1=k10t1, C2=k10t2, D1=k13t1, D2=k13t2, P1=k14t1, P2=k14t2, Q1=k17t1, Q2=k17t2, E1=k11t1, E2=k11t2, G1=k16t1, G2=k16t2, H1=k18t1, H2=k18t2, K1=k1t1, L1=k2t1, M1=k3t1, N1=k4t1, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
17 P222_1: GM1=k19t1, GM2=k19t4, GM3=k19t2, GM4=k19t3, DT1=k8t1, DT2=k8t2, LD1=k9t1, LD2=k9t2, SM1=k7t1, SM2=k7t2, X1=k20t1, X2=k20t4, X3=k20t2, X4=k20t3, Y1=k21t1, Y2=k21t4, Y3=k21t2, Y4=k21t3, Z1=k22t1, S1=k25t1, S2=k25t4, S3=k25t2, S4=k25t3, T1=k23t1, U1=k24t1, R1=k26t1, A1A2=k12t1t2, B1B2=k15t1t2, C1=k10t1, C2=k10t2, D1=k13t1, D2=k13t2, P1P2=k14t1t2, Q1=k17t1, Q2=k17t2, E1E2=k11t1t2, G1=k16t1, G2=k16t2, H1=k18t1, H2=k18t2, K1=k1t1, L1=k2t1, M1=k3t1, N1=k4t1, V1=k5t1, W1W1=k6t1t1, GP1GQ1=k0t1t1*
18 P2_12_12: GM1=k19t1, GM2=k19t4, GM3=k19t2, GM4=k19t3, DT1=k8t1, DT2=k8t2, LD1=k9t1, LD2=k9t2, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Z1=k22t1, Z2=k22t4, Z3=k22t2, Z4=k22t3, S1S2=k25t1t2, S3S4=k25t3t4, T1=k23t1, U1=k24t1, R1R2=k26t1t2, R3R4=k26t3t4, A1=k12t1, A2=k12t2, B1=k15t1, B2=k15t2, C1C2=k10t1t2, D1D2=k13t1t2, P1P2=k14t1t2, Q1Q1=k17t1t1, Q2Q2=k17t2t2, E1E2=k11t1t2, G1G2=k16t1t2, H1H2=k18t1t2, K1=k1t1, L1L1=k2t1t1, M1=k3t1, N1N1=k4t1t1, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
19 P2_12_12_1: GM1=k19t1, GM2=k19t4, GM3=k19t2, GM4=k19t3, DT1=k8t1, DT2=k8t2, LD1=k9t1, LD2=k9t2, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Z1=k22t1, S1S2=k25t1t4, S3S4=k25t2t3, T1T3=k23t1t2, T2T4=k23t3t4, U1U4=k24t3t4, U2U3=k24t1t2, R1R1=k26t1t1, A1A2=k12t1t2, B1B2=k15t1t2, C1C2=k10t1t2, D1D2=k13t1t2, P1P1=k14t1t1, P2P2=k14t2t2, Q1Q1=k17t1t1, Q2Q2=k17t2t2, E1E1=k11t1t1, E2E2=k11t2t2, G1G2=k16t1t2, H1H2=k18t1t2, K1=k1t1, L1L1=k2t1t1, M1=k3t1, N1N1=k4t1t1, V1=k5t1, W1W1=k6t1t1, GP1GQ1=k0t1t1*
20 C222_1: GM1=k14t1, GM2=k14t4, GM3=k14t2, GM4=k14t3, DT1=k10t1, DT2=k10t2, LD1=k6t1, LD2=k6t2, SM1=k8t1, SM2=k8t2, Y1=k15t1, Y2=k15t4, Y3=k15t2, Y4=k15t3, Z1=k16t1, R1R2=k13t1t2, S1=k12t1, S2=k12t2, T1=k17t1, A1A2=k9t1t2, B1B2=k11t1t2, D1DA1=k5t1t1*, D2DA2=k5t2t2*, H1=k7t1, H2=k7t2, K1=k1t1, M1=k2t1, P1=k3t1, Q1Q1=k4t1t1, GP1GQ1=k0t1t1*
21 C222: GM1=k14t1, GM2=k14t4, GM3=k14t2, GM4=k14t3, DT1=k10t1, DT2=k10t2, LD1=k6t1, LD2=k6t2, SM1=k8t1, SM2=k8t2, Y1=k15t1, Y2=k15t4, Y3=k15t2, Y4=k15t3, Z1=k16t1, Z2=k16t4, Z3=k16t2, Z4=k16t3, R1=k13t1, R2=k13t2, S1=k12t1, S2=k12t2, T1=k17t1, T2=k17t4, T3=k17t2, T4=k17t3, A1=k9t1, A2=k9t2, B1=k11t1, B2=k11t2, D1DA1=k5t1t1*, D2DA2=k5t2t2*, H1=k7t1, H2=k7t2, K1=k1t1, M1=k2t1, P1=k3t1, Q1=k4t1, GP1GQ1=k0t1t1*
22 F222: GM1=k14t1, GM2=k14t4, GM3=k14t2, GM4=k14t3, DT1=k6t1, DT2=k6t2, LD1=k8t1, LD2=k8t2, SM1=k4t1, SM2=k4t2, Z1=k17t1, Z2=k17t4, Z3=k17t2, Z4=k17t3, T1=k15t1, T2=k15t4, T3=k15t2, T4=k15t3, Y1=k16t1, Y2=k16t4, Y3=k16t2, Y4=k16t3, L1=k10t1, A1=k5t1, A2=k5t2, B1=k7t1, B2=k7t2, H1=k9t1, H2=k9t2, E1=k1t1, J1=k2t1, M1=k3t1, GP1GQ1=k0t1t1*
23 I222: GM1=k17t1, GM2=k17t4, GM3=k17t2, GM4=k17t3, DT1=k8t1, DT2=k8t2, LD1=k9t1, LD2=k9t2, SM1=k7t1, SM2=k7t2, X1=k18t1, X2=k18t4, X3=k18t2, X4=k18t3, S1=k10t1, S2=k10t2, R1=k11t1, R2=k11t2, T1=k12t1, T2=k12t2, Q1QA1=k5t1t1*, Q2QA2=k5t2t2*, P1PA1=k6t1t1*, P2PA2=k6t2t2*, D1DA1=k4t1t1*, D2DA2=k4t2t2*, W1WA1=k16t1t1*, W2WA2=k16t4t4*, W3WA3=k16t2t2*, W4WA4=k16t3t3*, A1=k1t1, B1=k2t1, C1=k3t1, GP1GQ1=k0t1t1*
24 I2_12_12_1: GM1=k17t1, GM2=k17t4, GM3=k17t2, GM4=k17t3, DT1=k8t1, DT2=k8t2, LD1=k9t1, LD2=k9t2, SM1=k7t1, SM2=k7t2, X1=k18t3, X2=k18t2, X3=k18t4, X4=k18t1, S1=k10t2, S2=k10t1, R1=k11t2, R2=k11t1, T1=k12t2, T2=k12t1, Q1QA1=k5t1t1*, Q2QA2=k5t2t2*, P1PA1=k6t1t1*, P2PA2=k6t2t2*, D1DA1=k4t1t1*, D2DA2=k4t2t2*, W1WA1=k16t1t1*, A1=k1t1, B1=k2t1, C1=k3t1, GP1GQ1=k0t1t1*
25 Pmm2: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, X2=k20t2, X3=k20t3, X4=k20t4, Y1=k21t1, Y2=k21t2, Y3=k21t3, Y4=k21t4, Z1=k22t1, Z2=k22t2, Z3=k22t3, Z4=k22t4, S1=k25t1, S2=k25t2, S3=k25t3, S4=k25t4, T1=k23t1, T2=k23t2, T3=k23t3, T4=k23t4, U1=k24t1, U2=k24t2, U3=k24t3, U4=k24t4, R1=k26t1, R2=k26t2, R3=k26t3, R4=k26t4, A1=k12t1, A2=k12t2, B1=k15t1, B2=k15t2, C1=k10t1, C2=k10t2, D1=k13t1, D2=k13t2, P1=k14t1, P2=k14t2, Q1QA1=k17t1t1*, Q2QA2=k17t2t2*, Q3QA3=k17t3t3*, Q4QA4=k17t4t4*, E1=k11t1, E2=k11t2, G1GA1=k16t1t1*, G2GA2=k16t2t2*, G3GA3=k16t3t3*, G4GA4=k16t4t4*, H1HA1=k18t1t1*, H2HA2=k18t2t2*, H3HA3=k18t3t3*, H4HA4=k18t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
26 Pmc2_1: GM1=k19t1, GM2=k19t2, GM3=k19t4, GM4=k19t3, DT1=k7t1, DT2=k7t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t4t4*, LD4LE4=k9t3t3*, SM1=k8t1, SM2=k8t2, X1=k21t1, X2=k21t2, X3=k21t4, X4=k21t3, Y1=k20t1, Y2=k20t2, Y3=k20t4, Y4=k20t3, Z1Z3=k22t1t4, Z2Z4=k22t2t3, S1=k25t1, S2=k25t2, S3=k25t4, S4=k25t3, T1T3=k24t1t4, T2T4=k24t2t3, U1U3=k23t1t4, U2U4=k23t2t3, R1R3=k26t1t4, R2R4=k26t2t3, A1A2=k15t1t2, B1B1=k12t1t1, B2B2=k12t2t2, C1=k13t1, C2=k13t2, D1=k10t1, D2=k10t2, P1P1=k11t1t1, P2P2=k11t2t2, Q1QA1=k17t1t1*, Q2QA2=k17t2t2*, Q3QA3=k17t4t4*, Q4QA4=k17t3t3*, E1E2=k14t1t2, G1GA1=k18t1t1*, G2GA2=k18t2t2*, G3GA3=k18t4t4*, G4GA4=k18t3t3*, H1HA1=k16t1t1*, H2HA2=k16t2t2*, H3HA3=k16t4t4*, H4HA4=k16t3t3*, K1KA1=k3t1t1*, K2KA2=k3t2t2*, L1LA1=k4t1t1*, L2LA2=k4t2t2*, M1MA1=k1t1t1*, M2MA2=k1t2t2*, N1NA1=k2t1t1*, N2NA2=k2t2t2*, V1=k5t1, W1W1=k6t1t1, GP1GQ1=k0t1t1*
27 Pcc2: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, X2=k20t2, X3=k20t3, X4=k20t4, Y1=k21t1, Y2=k21t2, Y3=k21t3, Y4=k21t4, Z1Z2=k22t1t2, Z3Z4=k22t3t4, S1=k25t1, S2=k25t2, S3=k25t3, S4=k25t4, T1T2=k23t1t2, T3T4=k23t3t4, U1U2=k24t1t2, U3U4=k24t3t4, R1R2=k26t1t2, R3R4=k26t3t4, A1A2=k12t1t2, B1B2=k15t1t2, C1=k10t1, C2=k10t2, D1=k13t1, D2=k13t2, P1P2=k14t1t2, Q1QA1=k17t1t1*, Q2QA2=k17t2t2*, Q3QA3=k17t3t3*, Q4QA4=k17t4t4*, E1E2=k11t1t2, G1GA1=k16t1t1*, G2GA2=k16t2t2*, G3GA3=k16t3t3*, G4GA4=k16t4t4*, H1HA1=k18t1t1*, H2HA2=k18t2t2*, H3HA3=k18t3t3*, H4HA4=k18t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
28 Pma2: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Y2=k21t2, Y3=k21t3, Y4=k21t4, Z1=k22t1, Z2=k22t2, Z3=k22t3, Z4=k22t4, S1=k25t1, T1=k23t1, T2=k23t2, T3=k23t3, T4=k23t4, U1=k24t1, R1=k26t1, A1=k12t1, A2=k12t2, B1=k15t1, B2=k15t2, C1=k10t1, C2=k10t2, D1D2=k13t1t2, P1P2=k14t1t2, Q1QA1=k17t1t1*, E1=k11t1, E2=k11t2, G1GA1=k16t1t1*, H1HA1=k18t1t1*, H2HA2=k18t2t2*, H3HA3=k18t3t3*, H4HA4=k18t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t2t2*, L2LA2=k2t1t1*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
29 Pca2_1: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Y2=k21t2, Y3=k21t3, Y4=k21t4, Z1Z4=k22t1t4, Z2Z3=k22t2t3, S1=k25t1, T1T4=k23t1t4, T2T3=k23t2t3, U1U1=k24t1t1, R1R1=k26t1t1, A1A1=k12t1t1, A2A2=k12t2t2, B1B2=k15t1t2, C1=k10t1, C2=k10t2, D1D2=k13t1t2, P1P1=k14t2t2, P2P2=k14t1t1, Q1QA1=k17t1t1*, E1E1=k11t1t1, E2E2=k11t2t2, G1GA1=k16t1t1*, H1HA1=k18t1t1*, H2HA2=k18t2t2*, H3HA3=k18t3t3*, H4HA4=k18t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1W1=k6t1t1, GP1GQ1=k0t1t1*
30 Pnc2: GM1=k19t1, GM2=k19t2, GM3=k19t4, GM4=k19t3, DT1=k7t1, DT2=k7t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t4t4*, LD4LE4=k9t3t3*, SM1=k8t1, SM2=k8t2, X1=k21t1, X2=k21t2, X3=k21t4, X4=k21t3, Y1=k20t1, Z1Z2=k22t1t2, Z3Z4=k22t3t4, S1=k25t1, T1=k24t1, U1U2=k23t1t2, U3U4=k23t3t4, R1=k26t1, A1A2=k15t1t2, B1B2=k12t1t2, C1C2=k13t1t2, D1=k10t1, D2=k10t2, P1P2=k11t1t2, Q1QA1=k17t1t1*, E1=k14t2, E2=k14t1, G1GA1=k18t1t1*, G2GA2=k18t2t2*, G3GA3=k18t4t4*, G4GA4=k18t3t3*, H1HA1=k16t1t1*, K1KA1=k3t1t1*, K2KA2=k3t2t2*, L1LA1=k4t1t1*, L2LA2=k4t2t2*, M1MA1=k1t1t1*, M2MA2=k1t2t2*, N1NA1=k2t1t1*, N2NA2=k2t2t2*, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
31 Pmn2_1: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Y2=k21t2, Y3=k21t3, Y4=k21t4, Z1Z3=k22t1t3, Z2Z4=k22t2t4, S1=k25t1, T1T3=k23t1t3, T2T4=k23t2t4, U1=k24t1, R1=k26t1, A1A2=k12t1t2, B1B1=k15t1t1, B2B2=k15t2t2, C1=k10t1, C2=k10t2, D1D2=k13t1t2, P1P2=k14t1t2, Q1QA1=k17t1t1*, E1E2=k11t1t2, G1GA1=k16t1t1*, H1HA1=k18t1t1*, H2HA2=k18t2t2*, H3HA3=k18t3t3*, H4HA4=k18t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1W1=k6t1t1, GP1GQ1=k0t1t1*
32 Pba2: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Z1=k22t1, Z2=k22t2, Z3=k22t3, Z4=k22t4, S1S2=k25t3t4, S3S4=k25t1t2, T1=k23t1, U1=k24t1, R1R2=k26t3t4, R3R4=k26t1t2, A1=k12t1, A2=k12t2, B1=k15t1, B2=k15t2, C1C2=k10t1t2, D1D2=k13t1t2, P1P2=k14t1t2, Q1QA1=k17t4t4*, Q2QA2=k17t3t3*, Q3QA3=k17t2t2*, Q4QA4=k17t1t1*, E1E2=k11t1t2, G1GA1=k16t1t1*, H1HA1=k18t1t1*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
33 Pna2_1: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Z1Z4=k22t1t4, Z2Z3=k22t2t3, S1S2=k25t3t4, S3S4=k25t1t2, T1=k23t1, U1U1=k24t1t1, R1R3=k26t1t3, R2R4=k26t2t4, A1A1=k12t1t1, A2A2=k12t2t2, B1B2=k15t1t2, C1C2=k10t1t2, D1D2=k13t1t2, P1P1=k14t1t1, P2P2=k14t2t2, Q1QA1=k17t3t3*, Q2QA2=k17t4t4*, Q3QA3=k17t1t1*, Q4QA4=k17t2t2*, E1E2=k11t1t2, G1GA1=k16t1t1*, H1HA1=k18t1t1*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1W1=k6t1t1, GP1GQ1=k0t1t1*
34 Pnn2: GM1=k19t1, GM2=k19t2, GM3=k19t3, GM4=k19t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k20t1, Y1=k21t1, Z1Z2=k22t1t2, Z3Z4=k22t3t4, S1S2=k25t3t4, S3S4=k25t1t2, T1=k23t1, U1=k24t1, R1=k26t3, R2=k26t4, R3=k26t1, R4=k26t2, A1A2=k12t1t2, B1B2=k15t1t2, C1C2=k10t1t2, D1D2=k13t1t2, P1=k14t1, P2=k14t2, Q1QA1=k17t3t3*, Q2QA2=k17t4t4*, Q3QA3=k17t1t1*, Q4QA4=k17t2t2*, E1=k11t1, E2=k11t2, G1GA1=k16t1t1*, H1HA1=k18t1t1*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, L1LA1=k2t1t1*, L2LA2=k2t2t2*, M1MA1=k3t1t1*, M2MA2=k3t2t2*, N1NA1=k4t1t1*, N2NA2=k4t2t2*, V1=k5t1, W1=k6t1, GP1GQ1=k0t1t1*
35 Cmm2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t3t3*, LD4LE4=k6t4t4*, SM1=k8t1, SM2=k8t2, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1=k16t1, Z2=k16t2, Z3=k16t3, Z4=k16t4, R1=k13t1, R2=k13t2, S1=k12t1, S2=k12t2, T1=k17t1, T2=k17t2, T3=k17t3, T4=k17t4, A1=k9t1, A2=k9t2, B1=k11t1, B2=k11t2, D1DA1=k5t1t1*, D2DA2=k5t2t2*, H1HA1=k7t1t1*, H2HA2=k7t2t2*, H3HA3=k7t3t3*, H4HA4=k7t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1=k3t1, Q1=k4t1, GP1GQ1=k0t1t1*
36 Cmc2_1: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t3t3*, LD4LE4=k6t4t4*, SM1=k8t1, SM2=k8t2, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1Z3=k16t1t3, Z2Z4=k16t2t4, R1R2=k13t1t2, S1=k12t1, S2=k12t2, T1T3=k17t1t3, T2T4=k17t2t4, A1A2=k9t1t2, B1B1=k11t1t1, B2B2=k11t2t2, D1DA1=k5t1t1*, D2DA2=k5t2t2*, H1HA1=k7t1t1*, H2HA2=k7t2t2*, H3HA3=k7t3t3*, H4HA4=k7t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1=k3t1, Q1Q1=k4t1t1, GP1GQ1=k0t1t1*
37 Ccc2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t3t3*, LD4LE4=k6t4t4*, SM1=k8t1, SM2=k8t2, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1Z2=k16t1t2, Z3Z4=k16t3t4, R1=k13t1, R2=k13t2, S1=k12t1, S2=k12t2, T1T2=k17t1t2, T3T4=k17t3t4, A1A2=k9t1t2, B1B2=k11t1t2, D1DA1=k5t1t1*, D2DA2=k5t2t2*, H1HA1=k7t1t1*, H2HA2=k7t2t2*, H3HA3=k7t3t3*, H4HA4=k7t4t4*, K1KA1=k1t1t1*, K2KA2=k1t2t2*, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1=k3t1, Q1=k4t1, GP1GQ1=k0t1t1*
38 Amm2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1=k6t1, LD2=k6t2, SM1SN1=k8t1t1*, SM2SN2=k8t2t2*, SM3SN3=k8t3t3*, SM4SN4=k8t4t4*, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1=k16t1, Z2=k16t2, Z3=k16t3, Z4=k16t4, R1=k13t1, R2=k13t2, S1=k12t1, S2=k12t2, T1=k17t1, T2=k17t2, T3=k17t3, T4=k17t4, A1AA1=k9t1t1*, A2AA2=k9t2t2*, A3AA3=k9t3t3*, A4AA4=k9t4t4*, B1=k11t1, B2=k11t2, D1=k5t1, H1=k7t1, H2=k7t2, K1=k1t1, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1PA1=k3t1t1*, P2PA2=k3t2t2*, Q1QA1=k4t1t1*, Q2QA2=k4t2t2*, GP1GQ1=k0t1t1*
39 Abm2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1=k6t1, LD2=k6t2, SM1SN1=k8t1t1*, SM2SN2=k8t2t2*, SM3SN3=k8t3t3*, SM4SN4=k8t4t4*, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1=k16t1, Z2=k16t2, Z3=k16t3, Z4=k16t4, R1R2=k13t1t2, S1S2=k12t1t2, T1=k17t1, T2=k17t2, T3=k17t3, T4=k17t4, A1AA1=k9t1t1*, A2AA2=k9t2t2*, A3AA3=k9t3t3*, A4AA4=k9t4t4*, B1=k11t1, B2=k11t2, D1D1=k5t1t1, H1=k7t1, H2=k7t2, K1=k1t1, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1PA1=k3t2t2*, P2PA2=k3t1t1*, Q1QA1=k4t2t2*, Q2QA2=k4t1t1*, GP1GQ1=k0t1t1*
40 Ama2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1=k6t1, LD2=k6t2, SM1SN1=k8t1t1*, SM2SN2=k8t2t2*, SM3SN3=k8t3t3*, SM4SN4=k8t4t4*, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1=k16t1, R1=k13t1, R2=k13t2, S1=k12t1, S2=k12t2, T1=k17t1, A1AA1=k9t1t1*, B1B2=k11t1t2, D1=k5t1, H1=k7t1, H2=k7t2, K1=k1t1, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1PA1=k3t1t1*, P2PA2=k3t2t2*, Q1QA1=k4t1t1*, Q2QA2=k4t2t2*, GP1GQ1=k0t1t1*
41 Aba2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k10t1, DT2=k10t2, LD1=k6t1, LD2=k6t2, SM1SN1=k8t1t1*, SM2SN2=k8t2t2*, SM3SN3=k8t3t3*, SM4SN4=k8t4t4*, Y1=k15t1, Y2=k15t2, Y3=k15t3, Y4=k15t4, Z1=k16t1, R1R2=k13t1t2, S1S2=k12t1t2, T1=k17t1, A1AA1=k9t1t1*, B1B2=k11t1t2, D1D1=k5t1t1, H1=k7t2, H2=k7t1, K1=k1t1, M1MA1=k2t1t1*, M2MA2=k2t2t2*, P1PA1=k3t2t2*, P2PA2=k3t1t1*, Q1QA1=k4t1t1*, Q2QA2=k4t2t2*, GP1GQ1=k0t1t1*
42 Fmm2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k6t1, DT2=k6t2, LD1LE1=k8t1t1*, LD2LE2=k8t2t2*, LD3LE3=k8t3t3*, LD4LE4=k8t4t4*, SM1=k4t1, SM2=k4t2, Z1=k17t1, Z2=k17t2, Z3=k17t3, Z4=k17t4, T1=k15t1, T2=k15t2, T3=k15t3, T4=k15t4, Y1=k16t1, Y2=k16t2, Y3=k16t3, Y4=k16t4, L1=k10t1, A1=k5t1, A2=k5t2, B1=k7t1, B2=k7t2, H1HA1=k9t1t1*, H2HA2=k9t2t2*, H3HA3=k9t3t3*, H4HA4=k9t4t4*, E1EA1=k1t1t1*, E2EA2=k1t2t2*, J1JA1=k2t1t1*, J2JA2=k2t2t2*, M1=k3t1, GP1GQ1=k0t1t1*
43 Fdd2: GM1=k14t1, GM2=k14t2, GM3=k14t3, GM4=k14t4, DT1=k6t1, DT2=k6t2, LD1LE1=k8t1t1*, LD2LE2=k8t2t2*, LD3LE3=k8t3t3*, LD4LE4=k8t4t4*, SM1=k4t1, SM2=k4t2, Z1Z2=k17t1t2, Z3Z4=k17t3t4, T1=k15t1, Y1=k16t1, L1=k10t1, A1A2=k5t1t2, B1B2=k7t1t2, H1HA1=k9t1t1*, E1EA1=k1t1t1*, E2EA2=k1t2t2*, J1JA1=k2t1t1*, J2JA2=k2t2t2*, M1=k3t1, GP1GQ1=k0t1t1*
44 Imm2: GM1=k17t1, GM2=k17t2, GM3=k17t3, GM4=k17t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k18t1, X2=k18t2, X3=k18t3, X4=k18t4, S1=k10t1, S2=k10t2, R1=k11t1, R2=k11t2, T1=k12t1, T2=k12t2, Q1=k5t1, P1PA1=k6t1t1*, P2PA2=k6t2t2*, D1=k4t1, W1=k16t1, W2=k16t2, A1AA1=k1t1t1*, A2AA2=k1t2t2*, B1BA1=k2t1t1*, B2BA2=k2t2t2*, C1=k3t1, GP1GQ1=k0t1t1*
45 Iba2: GM1=k17t1, GM2=k17t2, GM3=k17t3, GM4=k17t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k18t2, X2=k18t1, X3=k18t4, X4=k18t3, S1S2=k10t1t2, R1R2=k11t1t2, T1=k12t1, T2=k12t2, Q1Q1=k5t1t1, P1PA1=k6t1t1*, P2PA2=k6t2t2*, D1D1=k4t1t1, W1W1=k16t1t1, W2W2=k16t2t2, A1AA1=k1t1t1*, A2AA2=k1t2t2*, B1BA1=k2t2t2*, B2BA2=k2t1t1*, C1=k3t1, GP1GQ1=k0t1t1*
46 Ima2: GM1=k17t1, GM2=k17t2, GM3=k17t3, GM4=k17t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, LD4LE4=k9t4t4*, SM1=k7t1, SM2=k7t2, X1=k18t2, X2=k18t1, X3=k18t4, X4=k18t3, S1=k10t2, S2=k10t1, R1R2=k11t1t2, T1=k12t2, T2=k12t1, Q1Q1=k5t1t1, P1PA1=k6t1t1*, P2PA2=k6t2t2*, D1=k4t1, W1W2=k16t1t2, A1AA1=k1t1t1*, A2AA2=k1t2t2*, B1BA1=k2t2t2*, B2BA2=k2t1t1*, C1=k3t1, GP1GQ1=k0t1t1*
47 Pmmm: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1+=k20t1, X2+=k20t7, X3+=k20t3, X4+=k20t5, X1-=k20t2, X2-=k20t8, X3-=k20t4, X4-=k20t6, Y1+=k21t1, Y2+=k21t7, Y3+=k21t3, Y4+=k21t5, Y1-=k21t2, Y2-=k21t8, Y3-=k21t4, Y4-=k21t6, Z1+=k22t1, Z2+=k22t7, Z3+=k22t3, Z4+=k22t5, Z1-=k22t2, Z2-=k22t8, Z3-=k22t4, Z4-=k22t6, S1+=k25t1, S2+=k25t7, S3+=k25t3, S4+=k25t5, S1-=k25t2, S2-=k25t8, S3-=k25t4, S4-=k25t6, T1+=k23t1, T2+=k23t7, T3+=k23t3, T4+=k23t5, T1-=k23t2, T2-=k23t8, T3-=k23t4, T4-=k23t6, U1+=k24t1, U2+=k24t7, U3+=k24t3, U4+=k24t5, U1-=k24t2, U2-=k24t8, U3-=k24t4, U4-=k24t6, R1+=k26t1, R2+=k26t7, R3+=k26t3, R4+=k26t5, R1-=k26t2, R2-=k26t8, R3-=k26t4, R4-=k26t6, A1=k12t1, A2=k12t2, A3=k12t3, A4=k12t4, B1=k15t1, B2=k15t2, B3=k15t3, B4=k15t4, C1=k10t1, C2=k10t2, C3=k10t3, C4=k10t4, D1=k13t1, D2=k13t2, D3=k13t3, D4=k13t4, P1=k14t1, P2=k14t2, P3=k14t3, P4=k14t4, Q1=k17t1, Q2=k17t2, Q3=k17t3, Q4=k17t4, E1=k11t1, E2=k11t2, E3=k11t3, E4=k11t4, G1=k16t1, G2=k16t2, G3=k16t3, G4=k16t4, H1=k18t1, H2=k18t2, H3=k18t3, H4=k18t4, K1=k1t1, K2=k1t2, L1=k2t1, L2=k2t2, M1=k3t1, M2=k3t2, N1=k4t1, N2=k4t2, V1=k5t1, V2=k5t2, W1=k6t1, W2=k6t2, GP1=k0t1
48 Pnnn: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t1, Y2=k21t2, Z1=k22t1, Z2=k22t2, S1=k25t1, S2=k25t2, T1=k23t1, T2=k23t2, U1=k24t1, U2=k24t2, R1+=k26t2, R2+=k26t8, R3+=k26t4, R4+=k26t6, R1-=k26t1, R2-=k26t7, R3-=k26t3, R4-=k26t5, A1=k12t1, B1=k15t1, C1=k10t1, D1=k13t1, P1=k14t2, P2=k14t1, P3=k14t4, P4=k14t3, Q1=k17t2, Q2=k17t1, Q3=k17t4, Q4=k17t3, E1=k11t2, E2=k11t1, E3=k11t4, E4=k11t3, G1=k16t1, H1=k18t1, K1=k1t1, K2=k1t2, L1=k2t2, L2=k2t1, M1=k3t1, M2=k3t2, N1=k4t2, N2=k4t1, V1=k5t1, V2=k5t2, W1=k6t2, W2=k6t1, GP1=k0t1
49 Pccm: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1+=k20t1, X2+=k20t7, X3+=k20t3, X4+=k20t5, X1-=k20t2, X2-=k20t8, X3-=k20t4, X4-=k20t6, Y1+=k21t1, Y2+=k21t7, Y3+=k21t3, Y4+=k21t5, Y1-=k21t2, Y2-=k21t8, Y3-=k21t4, Y4-=k21t6, Z1=k22t1, Z2=k22t2, S1+=k25t1, S2+=k25t7, S3+=k25t3, S4+=k25t5, S1-=k25t2, S2-=k25t8, S3-=k25t4, S4-=k25t6, T1=k23t1, T2=k23t2, U1=k24t1, U2=k24t2, R1=k26t1, R2=k26t2, A1=k12t1, B1=k15t1, C1=k10t1, C2=k10t2, C3=k10t3, C4=k10t4, D1=k13t1, D2=k13t2, D3=k13t3, D4=k13t4, P1=k14t1, Q1=k17t1, Q2=k17t2, Q3=k17t3, Q4=k17t4, E1=k11t1, G1=k16t1, G2=k16t2, G3=k16t3, G4=k16t4, H1=k18t1, H2=k18t2, H3=k18t3, H4=k18t4, K1=k1t1, K2=k1t2, L1=k2t1, L2=k2t2, M1=k3t1, M2=k3t2, N1=k4t1, N2=k4t2, V1=k5t1, V2=k5t2, W1=k6t1, W2=k6t2, GP1=k0t1
50 Pban: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t1, Y2=k21t2, Z1+=k22t1, Z2+=k22t7, Z3+=k22t3, Z4+=k22t5, Z1-=k22t2, Z2-=k22t8, Z3-=k22t4, Z4-=k22t6, S1=k25t1, S2=k25t2, T1=k23t1, T2=k23t2, U1=k24t1, U2=k24t2, R1=k26t1, R2=k26t2, A1=k12t1, A2=k12t2, A3=k12t3, A4=k12t4, B1=k15t1, B2=k15t2, B3=k15t3, B4=k15t4, C1=k10t1, D1=k13t1, P1=k14t1, Q1=k17t1, Q2=k17t2, Q3=k17t3, Q4=k17t4, E1=k11t1, G1=k16t1, H1=k18t1, K1=k1t1, K2=k1t2, L1=k2t2, L2=k2t1, M1=k3t1, M2=k3t2, N1=k4t2, N2=k4t1, V1=k5t1, V2=k5t2, W1=k6t1, W2=k6t2, GP1=k0t1
51 Pmma: GM1+=k19t1, GM2+=k19t5, GM3+=k19t7, GM4+=k19t3, GM1-=k19t2, GM2-=k19t6, GM3-=k19t8, GM4-=k19t4, DT1=k7t1, DT2=k7t2, DT3=k7t4, DT4=k7t3, LD1=k8t1, LD2=k8t2, LD3=k8t4, LD4=k8t3, SM1=k9t1, SM2=k9t2, SM3=k9t3, SM4=k9t4, X1=k22t1, X2=k22t2, Y1+=k20t1, Y2+=k20t5, Y3+=k20t7, Y4+=k20t3, Y1-=k20t2, Y2-=k20t6, Y3-=k20t8, Y4-=k20t4, Z1+=k21t1, Z2+=k21t5, Z3+=k21t7, Z4+=k21t3, Z1-=k21t2, Z2-=k21t6, Z3-=k21t8, Z4-=k21t4, S1=k24t1, S2=k24t2, T1+=k25t1, T2+=k25t5, T3+=k25t7, T4+=k25t3, T1-=k25t2, T2-=k25t6, T3-=k25t8, T4-=k25t4, U1=k23t1, U2=k23t2, R1=k26t1, R2=k26t2, A1=k18t1, A2=k18t2, A3=k18t3, A4=k18t4, B1=k10t1, B2=k10t2, B3=k10t4, B4=k10t3, C1=k16t1, C2=k16t2, C3=k16t3, C4=k16t4, D1=k12t1, P1=k11t1, Q1Q4=k14t1t2, Q2Q3=k14t3t4, E1=k17t1, E2=k17t2, E3=k17t3, E4=k17t4, G1G4=k15t1t2, G2G3=k15t3t4, H1=k13t1, H2=k13t2, H3=k13t4, H4=k13t3, K1=k5t1, K2=k5t2, L1L2=k6t1t2, M1=k1t1, M2=k1t2, N1=k2t1, N2=k2t2, V1=k3t1, V2=k3t2, W1=k4t1, W2=k4t2, GP1=k0t1
52 Pnna: GM1+=k19t1, GM2+=k19t3, GM3+=k19t5, GM4+=k19t7, GM1-=k19t2, GM2-=k19t4, GM3-=k19t6, GM4-=k19t8, DT1=k9t1, DT2=k9t2, DT3=k9t4, DT4=k9t3, LD1=k7t1, LD2=k7t2, LD3=k7t3, LD4=k7t4, SM1=k8t1, SM2=k8t2, SM3=k8t4, SM4=k8t3, X1=k21t1, X2=k21t2, Y1=k22t2, Y2=k22t1, Z1=k20t1, Z2=k20t2, S1S2=k23t1t2, T1+=k24t1, T1-=k24t2, U1=k25t1, U2=k25t2, R1=k26t1, R2=k26t2, A1=k13t1, B1=k16t1, C1C4=k15t1t2, C2C3=k15t3t4, D1=k18t1, P1=k17t2, P2=k17t1, P3=k17t3, P4=k17t4, Q1Q3=k11t2t4, Q2Q4=k11t1t3, E1=k14t1, G1=k10t1, H1=k12t1, K1=k3t1, K2=k3t2, L1=k4t1, L2=k4t2, M1=k5t1, M2=k5t2, N1N2=k6t1t2, V1=k1t1, V2=k1t2, W1=k2t1, W2=k2t2, GP1=k0t1
53 Pmna: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1+=k21t1, Y2+=k21t7, Y3+=k21t3, Y4+=k21t5, Y1-=k21t2, Y2-=k21t8, Y3-=k21t4, Y4-=k21t6, Z1=k22t1, Z2=k22t2, S1=k25t1, S2=k25t2, T1=k23t1, T2=k23t2, U1+=k24t2, U1-=k24t1, R1+=k26t2, R1-=k26t1, A1=k12t1, B1B3=k15t1t2, B2B4=k15t3t4, C1=k10t1, C2=k10t2, C3=k10t3, C4=k10t4, D1=k13t1, P1=k14t1, Q1=k17t1, E1=k11t1, G1=k16t1, H1=k18t1, H2=k18t2, H3=k18t3, H4=k18t4, K1=k1t1, K2=k1t2, L1=k2t2, L2=k2t1, M1=k3t1, M2=k3t2, N1=k4t1, N2=k4t2, V1=k5t1, V2=k5t2, W1W2=k6t1t2, GP1=k0t1
54 Pcca: GM1+=k19t1, GM2+=k19t5, GM3+=k19t7, GM4+=k19t3, GM1-=k19t2, GM2-=k19t6, GM3-=k19t8, GM4-=k19t4, DT1=k7t1, DT2=k7t2, DT3=k7t4, DT4=k7t3, LD1=k8t1, LD2=k8t2, LD3=k8t4, LD4=k8t3, SM1=k9t1, SM2=k9t2, SM3=k9t3, SM4=k9t4, X1=k22t1, X2=k22t2, Y1+=k20t1, Y2+=k20t5, Y3+=k20t7, Y4+=k20t3, Y1-=k20t2, Y2-=k20t6, Y3-=k20t8, Y4-=k20t4, Z1=k21t1, Z2=k21t2, S1=k24t1, S2=k24t2, T1=k25t1, T2=k25t2, U1U2=k23t1t2, R1R2=k26t1t2, A1=k18t1, B1=k10t1, C1=k16t1, C2=k16t2, C3=k16t3, C4=k16t4, D1=k12t1, P1P4=k11t2t4, P2P3=k11t1t3, Q1Q4=k14t1t2, Q2Q3=k14t3t4, E1=k17t1, G1G4=k15t1t2, G2G3=k15t3t4, H1=k13t1, H2=k13t2, H3=k13t4, H4=k13t3, K1=k5t1, K2=k5t2, L1L2=k6t1t2, M1=k1t1, M2=k1t2, N1=k2t1, N2=k2t2, V1=k3t1, V2=k3t2, W1=k4t1, W2=k4t2, GP1=k0t1
55 Pbam: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t2, Y2=k21t1, Z1+=k22t1, Z2+=k22t7, Z3+=k22t3, Z4+=k22t5, Z1-=k22t2, Z2-=k22t8, Z3-=k22t4, Z4-=k22t6, S1+S2+=k25t1t7, S3+S4+=k25t3t5, S1-S2-=k25t2t8, S3-S4-=k25t4t6, T1=k23t2, T2=k23t1, U1=k24t1, U2=k24t2, R1+R2+=k26t1t7, R3+R4+=k26t3t5, R1-R2-=k26t2t8, R3-R4-=k26t4t6, A1=k12t1, A2=k12t2, A3=k12t3, A4=k12t4, B1=k15t1, B2=k15t2, B3=k15t3, B4=k15t4, C1C4=k10t1t2, C2C3=k10t3t4, D1D4=k13t1t2, D2D3=k13t3t4, P1P4=k14t1t2, P2P3=k14t3t4, Q1Q2=k17t1t2, Q3Q4=k17t3t4, E1E4=k11t1t2, E2E3=k11t3t4, G1=k16t1, H1=k18t1, K1=k1t1, K2=k1t2, L1L2=k2t1t2, M1=k3t1, M2=k3t2, N1N2=k4t1t2, V1=k5t1, V2=k5t2, W1=k6t1, W2=k6t2, GP1=k0t1
56 Pccn: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t1, Y2=k21t2, Z1=k22t1, Z2=k22t2, S1=k25t1, S2=k25t2, T1T2=k23t1t2, U1U2=k24t1t2, R1+R2+=k26t2t8, R3+R4+=k26t4t6, R1-R2-=k26t1t7, R3-R4-=k26t3t5, A1=k12t1, B1=k15t1, C1=k10t1, D1=k13t1, P1P4=k14t1t4, P2P3=k14t2t3, Q1Q2=k17t1t2, Q3Q4=k17t3t4, E1E4=k11t1t4, E2E3=k11t2t3, G1G4=k16t1t4, G2G3=k16t2t3, H1H3=k18t1t3, H2H4=k18t2t4, K1=k1t1, K2=k1t2, L1L2=k2t1t2, M1=k3t1, M2=k3t2, N1N2=k4t1t2, V1=k5t1, V2=k5t2, W1=k6t1, W2=k6t2, GP1=k0t1
57 Pbcm: GM1+=k19t1, GM2+=k19t3, GM3+=k19t7, GM4+=k19t5, GM1-=k19t2, GM2-=k19t4, GM3-=k19t8, GM4-=k19t6, DT1=k8t3, DT2=k8t4, DT3=k8t2, DT4=k8t1, LD1=k7t4, LD2=k7t3, LD3=k7t1, LD4=k7t2, SM1=k9t1, SM2=k9t2, SM3=k9t4, SM4=k9t3, X1+=k22t1, X2+=k22t3, X3+=k22t7, X4+=k22t5, X1-=k22t2, X2-=k22t4, X3-=k22t8, X4-=k22t6, Y1=k21t2, Y2=k21t1, Z1=k20t1, Z2=k20t2, S1=k23t2, S2=k23t1, T1T2=k25t1t2, U1=k24t1, U2=k24t2, R1R2=k26t1t2, A1=k16t1, B1B3=k13t3t4, B2B4=k13t1t2, C1C4=k18t1t3, C2C3=k18t2t4, D1=k15t3, D2=k15t4, D3=k15t2, D4=k15t1, P1P3=k14t3t4, P2P4=k14t1t2, Q1=k11t1, E1E1=k17t1t1, G1=k12t4, G2=k12t3, G3=k12t1, G4=k12t2, H1=k10t1, K1=k5t2, K2=k5t1, L1=k6t2, L2=k6t1, M1=k3t2, M2=k3t1, N1N2=k4t1t2, V1=k1t1, V2=k1t2, W1W2=k2t1t2, GP1=k0t1
58 Pnnm: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t2, Y2=k21t1, Z1=k22t1, Z2=k22t2, S1+S2+=k25t1t7, S3+S4+=k25t3t5, S1-S2-=k25t2t8, S3-S4-=k25t4t6, T1+=k23t2, T1-=k23t1, U1+=k24t2, U1-=k24t1, R1=k26t1, R2=k26t2, A1=k12t1, B1=k15t1, C1C4=k10t1t2, C2C3=k10t3t4, D1D4=k13t1t2, D2D3=k13t3t4, P1=k14t1, Q1Q2=k17t1t2, Q3Q4=k17t3t4, E1=k11t1, G1=k16t1, H1=k18t1, K1=k1t1, K2=k1t2, L1L2=k2t1t2, M1=k3t1, M2=k3t2, N1N2=k4t1t2, V1=k5t1, V2=k5t2, W1=k6t2, W2=k6t1, GP1=k0t1
59 Pmmn: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t1, Y2=k21t2, Z1+=k22t1, Z2+=k22t7, Z3+=k22t3, Z4+=k22t5, Z1-=k22t2, Z2-=k22t8, Z3-=k22t4, Z4-=k22t6, S1=k25t1, S2=k25t2, T1=k23t1, T2=k23t2, U1=k24t1, U2=k24t2, R1=k26t1, R2=k26t2, A1=k12t1, A2=k12t2, A3=k12t3, A4=k12t4, B1=k15t1, B2=k15t2, B3=k15t3, B4=k15t4, C1=k10t1, D1=k13t1, P1=k14t1, Q1Q2=k17t1t2, Q3Q4=k17t3t4, E1=k11t1, G1G4=k16t1t4, G2G3=k16t2t3, H1H3=k18t1t3, H2H4=k18t2t4, K1=k1t1, K2=k1t2, L1L2=k2t1t2, M1=k3t1, M2=k3t2, N1N2=k4t1t2, V1=k5t1, V2=k5t2, W1=k6t1, W2=k6t2, GP1=k0t1
60 Pbcn: GM1+=k19t1, GM2+=k19t3, GM3+=k19t5, GM4+=k19t7, GM1-=k19t2, GM2-=k19t4, GM3-=k19t6, GM4-=k19t8, DT1=k9t1, DT2=k9t2, DT3=k9t4, DT4=k9t3, LD1=k7t1, LD2=k7t2, LD3=k7t3, LD4=k7t4, SM1=k8t1, SM2=k8t2, SM3=k8t4, SM4=k8t3, X1=k21t1, X2=k21t2, Y1=k22t1, Y2=k22t2, Z1=k20t1, Z2=k20t2, S1+=k23t1, S1-=k23t2, T1T2=k24t1t2, U1U2=k25t1t2, R1R2=k26t1t2, A1=k13t1, B1B3=k16t1t4, B2B4=k16t2t3, C1=k15t1, D1=k18t1, P1P1=k17t1t1, Q1=k11t1, E1E3=k14t2t3, E2E4=k14t1t4, G1G4=k10t1t2, G2G3=k10t3t4, H1=k12t1, K1=k3t1, K2=k3t2, L1L2=k4t1t2, M1=k5t1, M2=k5t2, N1=k6t1, N2=k6t2, V1=k1t1, V2=k1t2, W1W2=k2t1t2, GP1=k0t1
61 Pbca: GM1+=k19t1, GM2+=k19t7, GM3+=k19t3, GM4+=k19t5, GM1-=k19t2, GM2-=k19t8, GM3-=k19t4, GM4-=k19t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1=k20t1, X2=k20t2, Y1=k21t2, Y2=k21t1, Z1=k22t1, Z2=k22t2, S1S2=k25t1t2, T1T2=k23t1t2, U1U2=k24t1t2, R1+R1+=k26t1t1, R1-R1-=k26t2t2, A1=k12t1, B1B3=k15t1t2, B2B4=k15t3t4, C1C4=k10t1t2, C2C3=k10t3t4, D1=k13t1, P1P1=k14t1t1, Q1Q1=k17t1t1, E1E1=k11t1t1, G1G4=k16t1t4, G2G3=k16t2t3, H1=k18t1, K1=k1t1, K2=k1t2, L1L2=k2t1t2, M1=k3t1, M2=k3t2, N1N2=k4t1t2, V1=k5t1, V2=k5t2, W1W2=k6t1t2, GP1=k0t1
62 Pnma: GM1+=k19t1, GM2+=k19t7, GM3+=k19t5, GM4+=k19t3, GM1-=k19t2, GM2-=k19t8, GM3-=k19t6, GM4-=k19t4, DT1=k7t1, DT2=k7t2, DT3=k7t3, DT4=k7t4, LD1=k9t1, LD2=k9t2, LD3=k9t4, LD4=k9t3, SM1=k8t3, SM2=k8t4, SM3=k8t1, SM4=k8t2, X1=k21t1, X2=k21t2, Y1=k20t1, Y2=k20t2, Z1=k22t1, Z2=k22t2, S1S2=k25t1t2, T1=k24t1, T2=k24t2, U1+U4+=k23t1t3, U2+U3+=k23t5t7, U1-U4-=k23t2t4, U2-U3-=k23t6t8, R1R2=k26t1t2, A1A3=k15t1t2, A2A4=k15t3t4, B1=k12t1, C1C4=k13t2t3, C2C3=k13t1t4, D1=k10t1, P1P2=k11t1t2, P3P4=k11t3t4, Q1Q1=k17t1t1, E1E2=k14t1t3, E3E4=k14t2t4, G1G4=k18t1t3, G2G3=k18t2t4, H1=k16t1, K1=k3t1, K2=k3t2, L1L2=k4t1t2, M1=k1t1, M2=k1t2, N1N2=k2t1t2, V1=k5t2, V2=k5t1, W1W2=k6t1t2, GP1=k0t1
63 Cmcm: GM1+=k14t1, GM2+=k14t7, GM3+=k14t5, GM4+=k14t3, GM1-=k14t2, GM2-=k14t8, GM3-=k14t6, GM4-=k14t4, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k6t1, LD2=k6t2, LD3=k6t4, LD4=k6t3, SM1=k10t1, SM2=k10t2, SM3=k10t3, SM4=k10t4, Y1+=k15t1, Y2+=k15t7, Y3+=k15t5, Y4+=k15t3, Y1-=k15t2, Y2-=k15t8, Y3-=k15t6, Y4-=k15t4, Z1=k16t1, Z2=k16t2, R1=k13t1, S1+=k12t1, S2+=k12t3, S1-=k12t2, S2-=k12t4, T1=k17t1, T2=k17t2, A1=k11t1, B1B3=k9t1t3, B2B4=k9t2t4, D1=k5t2, D2=k5t1, H1=k7t1, H2=k7t2, H3=k7t4, H4=k7t3, K1=k2t1, K2=k2t2, M1=k1t1, M2=k1t2, P1=k3t1, P2=k3t2, Q1Q2=k4t1t2, GP1=k0t1
64 Cmca: GM1+=k14t1, GM2+=k14t7, GM3+=k14t5, GM4+=k14t3, GM1-=k14t2, GM2-=k14t8, GM3-=k14t6, GM4-=k14t4, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k6t1, LD2=k6t2, LD3=k6t4, LD4=k6t3, SM1=k10t1, SM2=k10t2, SM3=k10t3, SM4=k10t4, Y1+=k15t2, Y2+=k15t8, Y3+=k15t6, Y4+=k15t4, Y1-=k15t1, Y2-=k15t7, Y3-=k15t5, Y4-=k15t3, Z1=k16t1, Z2=k16t2, R1+R2+=k13t1t3, R1-R2-=k13t2t4, S1=k12t1, T1=k17t2, T2=k17t1, A1=k11t1, B1B3=k9t1t3, B2B4=k9t2t4, D1D2=k5t1t2, H1=k7t3, H2=k7t4, H3=k7t2, H4=k7t1, K1=k2t1, K2=k2t2, M1=k1t1, M2=k1t2, P1=k3t1, P2=k3t2, Q1Q2=k4t1t2, GP1=k0t1
65 Cmmm: GM1+=k14t1, GM2+=k14t7, GM3+=k14t3, GM4+=k14t5, GM1-=k14t2, GM2-=k14t8, GM3-=k14t4, GM4-=k14t6, DT1=k10t1, DT2=k10t2, DT3=k10t3, DT4=k10t4, LD1=k6t1, LD2=k6t2, LD3=k6t3, LD4=k6t4, SM1=k8t1, SM2=k8t2, SM3=k8t3, SM4=k8t4, Y1+=k15t1, Y2+=k15t7, Y3+=k15t3, Y4+=k15t5, Y1-=k15t2, Y2-=k15t8, Y3-=k15t4, Y4-=k15t6, Z1+=k16t1, Z2+=k16t7, Z3+=k16t3, Z4+=k16t5, Z1-=k16t2, Z2-=k16t8, Z3-=k16t4, Z4-=k16t6, R1+=k13t1, R2+=k13t3, R1-=k13t2, R2-=k13t4, S1+=k12t1, S2+=k12t3, S1-=k12t2, S2-=k12t4, T1+=k17t1, T2+=k17t7, T3+=k17t3, T4+=k17t5, T1-=k17t2, T2-=k17t8, T3-=k17t4, T4-=k17t6, A1=k9t1, A2=k9t2, A3=k9t3, A4=k9t4, B1=k11t1, B2=k11t2, B3=k11t3, B4=k11t4, D1=k5t1, D2=k5t2, H1=k7t1, H2=k7t2, H3=k7t3, H4=k7t4, K1=k1t1, K2=k1t2, M1=k2t1, M2=k2t2, P1=k3t1, P2=k3t2, Q1=k4t1, Q2=k4t2, GP1=k0t1
66 Cccm: GM1+=k14t1, GM2+=k14t7, GM3+=k14t3, GM4+=k14t5, GM1-=k14t2, GM2-=k14t8, GM3-=k14t4, GM4-=k14t6, DT1=k10t1, DT2=k10t2, DT3=k10t3, DT4=k10t4, LD1=k6t1, LD2=k6t2, LD3=k6t3, LD4=k6t4, SM1=k8t1, SM2=k8t2, SM3=k8t3, SM4=k8t4, Y1+=k15t1, Y2+=k15t7, Y3+=k15t3, Y4+=k15t5, Y1-=k15t2, Y2-=k15t8, Y3-=k15t4, Y4-=k15t6, Z1=k16t1, Z2=k16t2, R1+=k13t1, R2+=k13t3, R1-=k13t2, R2-=k13t4, S1+=k12t1, S2+=k12t3, S1-=k12t2, S2-=k12t4, T1=k17t1, T2=k17t2, A1=k9t1, B1=k11t1, D1=k5t1, D2=k5t2, H1=k7t1, H2=k7t2, H3=k7t3, H4=k7t4, K1=k1t1, K2=k1t2, M1=k2t1, M2=k2t2, P1=k3t1, P2=k3t2, Q1=k4t1, Q2=k4t2, GP1=k0t1
67 Cmma: GM1+=k14t1, GM2+=k14t7, GM3+=k14t3, GM4+=k14t5, GM1-=k14t2, GM2-=k14t8, GM3-=k14t4, GM4-=k14t6, DT1=k10t1, DT2=k10t2, DT3=k10t3, DT4=k10t4, LD1=k6t1, LD2=k6t2, LD3=k6t3, LD4=k6t4, SM1=k8t1, SM2=k8t2, SM3=k8t3, SM4=k8t4, Y1+=k15t1, Y2+=k15t7, Y3+=k15t3, Y4+=k15t5, Y1-=k15t2, Y2-=k15t8, Y3-=k15t4, Y4-=k15t6, Z1+=k16t1, Z2+=k16t7, Z3+=k16t3, Z4+=k16t5, Z1-=k16t2, Z2-=k16t8, Z3-=k16t4, Z4-=k16t6, R1=k13t1, S1=k12t1, T1+=k17t1, T2+=k17t7, T3+=k17t3, T4+=k17t5, T1-=k17t2, T2-=k17t8, T3-=k17t4, T4-=k17t6, A1=k9t1, A2=k9t2, A3=k9t3, A4=k9t4, B1=k11t1, B2=k11t2, B3=k11t3, B4=k11t4, D1D2=k5t1t2, H1=k7t1, H2=k7t2, H3=k7t3, H4=k7t4, K1=k1t1, K2=k1t2, M1=k2t1, M2=k2t2, P1=k3t2, P2=k3t1, Q1=k4t2, Q2=k4t1, GP1=k0t1
68 Ccca: GM1+=k14t1, GM2+=k14t7, GM3+=k14t3, GM4+=k14t5, GM1-=k14t2, GM2-=k14t8, GM3-=k14t4, GM4-=k14t6, DT1=k10t1, DT2=k10t2, DT3=k10t3, DT4=k10t4, LD1=k6t1, LD2=k6t2, LD3=k6t3, LD4=k6t4, SM1=k8t1, SM2=k8t2, SM3=k8t3, SM4=k8t4, Y1+=k15t1, Y2+=k15t7, Y3+=k15t3, Y4+=k15t5, Y1-=k15t2, Y2-=k15t8, Y3-=k15t4, Y4-=k15t6, Z1=k16t1, Z2=k16t2, R1=k13t1, S1=k12t1, T1=k17t1, T2=k17t2, A1=k9t1, B1=k11t1, D1D2=k5t1t2, H1=k7t2, H2=k7t1, H3=k7t4, H4=k7t3, K1=k1t1, K2=k1t2, M1=k2t1, M2=k2t2, P1=k3t2, P2=k3t1, Q1=k4t1, Q2=k4t2, GP1=k0t1
69 Fmmm: GM1+=k14t1, GM2+=k14t7, GM3+=k14t3, GM4+=k14t5, GM1-=k14t2, GM2-=k14t8, GM3-=k14t4, GM4-=k14t6, DT1=k6t1, DT2=k6t2, DT3=k6t3, DT4=k6t4, LD1=k8t1, LD2=k8t2, LD3=k8t3, LD4=k8t4, SM1=k4t1, SM2=k4t2, SM3=k4t3, SM4=k4t4, Z1+=k17t1, Z2+=k17t7, Z3+=k17t3, Z4+=k17t5, Z1-=k17t2, Z2-=k17t8, Z3-=k17t4, Z4-=k17t6, T1+=k15t1, T2+=k15t7, T3+=k15t3, T4+=k15t5, T1-=k15t2, T2-=k15t8, T3-=k15t4, T4-=k15t6, Y1+=k16t1, Y2+=k16t7, Y3+=k16t3, Y4+=k16t5, Y1-=k16t2, Y2-=k16t8, Y3-=k16t4, Y4-=k16t6, L1+=k10t1, L1-=k10t2, A1=k5t1, A2=k5t2, A3=k5t3, A4=k5t4, B1=k7t1, B2=k7t2, B3=k7t3, B4=k7t4, H1=k9t1, H2=k9t2, H3=k9t3, H4=k9t4, E1=k1t1, E2=k1t2, J1=k2t1, J2=k2t2, M1=k3t1, M2=k3t2, GP1=k0t1
70 Fddd: GM1+=k14t1, GM2+=k14t7, GM3+=k14t3, GM4+=k14t5, GM1-=k14t2, GM2-=k14t8, GM3-=k14t4, GM4-=k14t6, DT1=k6t1, DT2=k6t2, DT3=k6t3, DT4=k6t4, LD1=k8t1, LD2=k8t2, LD3=k8t3, LD4=k8t4, SM1=k4t1, SM2=k4t2, SM3=k4t3, SM4=k4t4, Z1=k17t1, Z2=k17t2, T1=k15t1, T2=k15t2, Y1=k16t1, Y2=k16t2, L1+=k10t1, L1-=k10t2, A1=k5t1, B1=k7t1, H1=k9t1, E1=k1t1, E2=k1t2, J1=k2t1, J2=k2t2, M1=k3t1, M2=k3t2, GP1=k0t1
71 Immm: GM1+=k17t1, GM2+=k17t7, GM3+=k17t3, GM4+=k17t5, GM1-=k17t2, GM2-=k17t8, GM3-=k17t4, GM4-=k17t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1+=k18t1, X2+=k18t7, X3+=k18t3, X4+=k18t5, X1-=k18t2, X2-=k18t8, X3-=k18t4, X4-=k18t6, S1+=k10t1, S2+=k10t3, S1-=k10t2, S2-=k10t4, R1+=k11t1, R2+=k11t3, R1-=k11t2, R2-=k11t4, T1+=k12t1, T2+=k12t3, T1-=k12t2, T2-=k12t4, Q1=k5t1, Q2=k5t2, P1=k6t1, P2=k6t2, D1=k4t1, D2=k4t2, W1=k16t1, W2=k16t4, W3=k16t2, W4=k16t3, A1=k1t1, A2=k1t2, B1=k2t1, B2=k2t2, C1=k3t1, C2=k3t2, GP1=k0t1
72 Ibam: GM1+=k17t1, GM2+=k17t7, GM3+=k17t3, GM4+=k17t5, GM1-=k17t2, GM2-=k17t8, GM3-=k17t4, GM4-=k17t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1+=k18t2, X2+=k18t8, X3+=k18t4, X4+=k18t6, X1-=k18t1, X2-=k18t7, X3-=k18t3, X4-=k18t5, S1=k10t1, R1=k11t1, T1+=k12t2, T2+=k12t4, T1-=k12t1, T2-=k12t3, Q1Q2=k5t1t2, P1=k6t1, P2=k6t2, D1D2=k4t1t2, W1W2=k16t1t4, W3W4=k16t2t3, A1=k1t1, A2=k1t2, B1=k2t2, B2=k2t1, C1=k3t1, C2=k3t2, GP1=k0t1
73 Ibca: GM1+=k17t1, GM2+=k17t7, GM3+=k17t3, GM4+=k17t5, GM1-=k17t2, GM2-=k17t8, GM3-=k17t4, GM4-=k17t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1+=k18t5, X2+=k18t3, X3+=k18t7, X4+=k18t1, X1-=k18t6, X2-=k18t4, X3-=k18t8, X4-=k18t2, S1=k10t1, R1=k11t1, T1=k12t1, Q1Q2=k5t1t2, P1P2=k6t1t2, D1D2=k4t1t2, W1W1=k16t1t1, A1=k1t1, A2=k1t2, B1=k2t2, B2=k2t1, C1=k3t1, C2=k3t2, GP1=k0t1
74 Imma: GM1+=k17t1, GM2+=k17t7, GM3+=k17t3, GM4+=k17t5, GM1-=k17t2, GM2-=k17t8, GM3-=k17t4, GM4-=k17t6, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, LD4=k9t4, SM1=k7t1, SM2=k7t2, SM3=k7t3, SM4=k7t4, X1+=k18t6, X2+=k18t4, X3+=k18t8, X4+=k18t2, X1-=k18t5, X2-=k18t3, X3-=k18t7, X4-=k18t1, S1+=k10t4, S2+=k10t2, S1-=k10t3, S2-=k10t1, R1+=k11t3, R2+=k11t1, R1-=k11t4, R2-=k11t2, T1=k12t1, Q1=k5t1, Q2=k5t2, P1P2=k6t1t2, D1=k4t1, D2=k4t2, W1=k16t1, A1=k1t1, A2=k1t2, B1=k2t1, B2=k2t2, C1=k3t1, C2=k3t2, GP1=k0t1
75 P4: GM1=k17t1, GM2=k17t3, GM3GM4=k17t2t4, SM1=k10t1, DT1=k8t1, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, M1=k18t1, M2=k18t3, M3M4=k18t2t4, X1=k15t1, X2=k15t2, A1=k20t1, A2=k20t3, A3A4=k20t2t4, R1=k16t1, R2=k16t2, Z1=k19t1, Z2=k19t3, Z3Z4=k19t2t4, Y1=k6t1, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, S1=k11t1, T1=k7t1, U1=k9t1, B1BA1=k3t1t1*, C1CA1=k5t1t1*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, GP1GQ1=k0t1t1*
76 P4_1: GM1=k17t1, GM2=k17t3, GM3GM4=k17t2t4, SM1=k10t1, DT1=k8t1, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t2t2*, LD4LE4=k13t4t4*, M1=k18t1, M2=k18t3, M3M4=k18t2t4, X1=k15t1, X2=k15t2, A1A3=k20t1t2, A2A4=k20t3t4, R1R2=k16t1t2, Z1Z3=k19t1t2, Z2Z4=k19t3t4, Y1=k6t1, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t2t2*, V4VA4=k14t4t4*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, S1S1=k11t1t1, T1T1=k7t1t1, U1U1=k9t1t1, B1BA1=k3t1t1*, C1CA1=k5t1t1*, D1=k1t1, E1E1=k2t1t1, F1FA1=k4t1t1*, GP1GQ1=k0t1t1*
77 P4_2: GM1=k17t1, GM2=k17t3, GM3GM4=k17t2t4, SM1=k10t1, DT1=k8t1, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t2t2*, LD4LE4=k13t4t4*, M1=k18t1, M2=k18t3, M3M4=k18t2t4, X1=k15t1, X2=k15t2, A1A2=k20t1t3, A3=k20t2, A4=k20t4, R1=k16t1, R2=k16t2, Z1Z2=k19t1t3, Z3=k19t2, Z4=k19t4, Y1=k6t1, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t2t2*, V4VA4=k14t4t4*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, S1=k11t1, T1=k7t1, U1=k9t1, B1BA1=k3t1t1*, C1CA1=k5t1t1*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, GP1GQ1=k0t1t1*
78 P4_3: GM1=k17t1, GM2=k17t3, GM3GM4=k17t2t4, SM1=k10t1, DT1=k8t1, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t2t2*, LD4LE4=k13t4t4*, M1=k18t1, M2=k18t3, M3M4=k18t2t4, X1=k15t1, X2=k15t2, A1A3=k20t2t3, A2A4=k20t1t4, R1R2=k16t1t2, Z1Z3=k19t2t3, Z2Z4=k19t1t4, Y1=k6t1, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t2t2*, V4VA4=k14t4t4*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, S1S1=k11t1t1, T1T1=k7t1t1, U1U1=k9t1t1, B1BA1=k3t1t1*, C1CA1=k5t1t1*, D1=k1t1, E1E1=k2t1t1, F1FA1=k4t1t1*, GP1GQ1=k0t1t1*
79 I4: GM1=k14t1, GM2=k14t3, GM3GM4=k14t2t4, SM1=k6t1, LD1LE1=k10t1t1*, LD2LE2=k10t3t3*, LD3LE3=k10t4t4*, LD4LE4=k10t2t2*, DT1=k7t1, X1=k13t1, X2=k13t2, M1=k15t1, M2=k15t3, M3M4=k15t2t4, N1=k11t1, P1=k12t1, P2P2=k12t2t2, Q1QA1=k5t1t1*, W1WA1=k9t1t1*, W2WA2=k9t2t2*, Y1=k8t1, A1AA1=k3t1t1*, B1BA1=k1t1t1*, C1=k2t1, GP1GQ1=k0t1t1*
80 I4_1: GM1=k14t1, GM2=k14t3, GM3GM4=k14t2t4, SM1=k6t1, LD1LE1=k10t1t1*, LD2LE2=k10t3t3*, LD3LE3=k10t2t2*, LD4LE4=k10t4t4*, DT1=k7t1, X1=k13t1, X2=k13t2, M1M2=k15t1t3, M3=k15t2, M4=k15t4, N1=k11t1, P1P2=k12t1t2, Q1QA1=k5t1t1*, W1WA1=k9t1t1*, W2WA2=k9t2t2*, Y1=k8t1, A1AA1=k3t1t1*, B1BA1=k1t1t1*, C1=k2t1, GP1GQ1=k0t1t1*
81 P-4: GM1=k17t1, GM2=k17t3, GM3GM4=k17t2t4, SM1=k10t1, DT1=k8t1, LD1=k13t1, LD2LD2=k13t2t2, M1=k18t1, M2=k18t3, M3M4=k18t2t4, X1=k15t1, X2=k15t2, A1=k20t1, A2=k20t3, A3A4=k20t2t4, R1=k16t1, R2=k16t2, Z1=k19t1, Z2=k19t3, Z3Z4=k19t2t4, Y1=k6t1, V1=k14t1, V2V2=k14t2t2, W1WA1=k12t1t1*, W2WA2=k12t2t2*, S1=k11t1, T1=k7t1, U1=k9t1, B1BA1=k3t1t1*, C1CA1=k5t1t1*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, GP1GQ1=k0t1t1*
82 I-4: GM1=k14t1, GM2=k14t3, GM3GM4=k14t2t4, SM1=k6t1, LD1=k10t1, LD2LD2=k10t2t2, DT1=k7t1, X1=k13t1, X2=k13t2, M1=k15t1, M2=k15t3, M3M4=k15t2t4, N1=k11t1, P1PA1=k12t1t1*, P2PA2=k12t3t3*, P3PA3=k12t2t2*, P4PA4=k12t4t4*, Q1QA1=k5t1t1*, W1WA1=k9t1t1*, W2WA2=k9t2t2*, Y1=k8t1, A1AA1=k3t1t1*, B1BA1=k1t1t1*, C1=k2t1, GP1GQ1=k0t1t1*
83 P4/m: GM1+=k17t1, GM2+=k17t5, GM3+GM4+=k17t3t7, GM1-=k17t2, GM2-=k17t6, GM3-GM4-=k17t4t8, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3LD4=k13t2t4, M1+=k18t1, M2+=k18t5, M3+M4+=k18t3t7, M1-=k18t2, M2-=k18t6, M3-M4-=k18t4t8, X1+=k15t1, X2+=k15t3, X1-=k15t2, X2-=k15t4, A1+=k20t1, A2+=k20t5, A3+A4+=k20t3t7, A1-=k20t2, A2-=k20t6, A3-A4-=k20t4t8, R1+=k16t1, R2+=k16t3, R1-=k16t2, R2-=k16t4, Z1+=k19t1, Z2+=k19t5, Z3+Z4+=k19t3t7, Z1-=k19t2, Z2-=k19t6, Z3-Z4-=k19t4t8, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t3, V3V4=k14t2t4, W1=k12t1, W2=k12t2, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t1, GP1=k0t1
84 P4_2/m: GM1+=k17t1, GM2+=k17t5, GM3+GM4+=k17t3t7, GM1-=k17t2, GM2-=k17t6, GM3-GM4-=k17t4t8, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3LD4=k13t2t4, M1+=k18t1, M2+=k18t5, M3+M4+=k18t3t7, M1-=k18t2, M2-=k18t6, M3-M4-=k18t4t8, X1+=k15t1, X2+=k15t3, X1-=k15t2, X2-=k15t4, A1=k20t1, A2=k20t2, R1+=k16t1, R2+=k16t3, R1-=k16t2, R2-=k16t4, Z1=k19t1, Z2=k19t2, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t3, V3V4=k14t2t4, W1=k12t1, W2=k12t2, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t1, GP1=k0t1
85 P4/n: GM1+=k17t1, GM2+=k17t5, GM3+GM4+=k17t3t7, GM1-=k17t2, GM2-=k17t6, GM3-GM4-=k17t4t8, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3LD4=k13t2t4, M1=k18t2, M2=k18t1, X1=k15t1, A1=k20t2, A2=k20t1, R1=k16t1, Z1+=k19t1, Z2+=k19t5, Z3+Z4+=k19t3t7, Z1-=k19t2, Z2-=k19t6, Z3-Z4-=k19t4t8, Y1=k6t2, Y2=k6t1, V1=k14t1, V2=k14t3, V3V4=k14t2t4, W1W2=k12t1t2, S1=k11t1, S2=k11t2, T1=k7t2, T2=k7t1, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t1, GP1=k0t1
86 P4_2/n: GM1+=k17t1, GM2+=k17t5, GM3+GM4+=k17t3t7, GM1-=k17t2, GM2-=k17t6, GM3-GM4-=k17t4t8, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3LD4=k13t2t4, M1=k18t2, M2=k18t1, X1=k15t1, A1+=k20t6, A2+=k20t2, A3+A4+=k20t4t8, A1-=k20t5, A2-=k20t1, A3-A4-=k20t3t7, R1=k16t1, Z1=k19t1, Z2=k19t2, Y1=k6t2, Y2=k6t1, V1=k14t3, V2=k14t1, V3V4=k14t2t4, W1W2=k12t1t2, S1=k11t1, S2=k11t2, T1=k7t2, T2=k7t1, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, D2=k1t2, E1=k2t2, E2=k2t1, F1=k4t1, GP1=k0t1
87 I4/m: GM1+=k14t1, GM2+=k14t5, GM3+GM4+=k14t3t7, GM1-=k14t2, GM2-=k14t6, GM3-GM4-=k14t4t8, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t3, LD3LD4=k10t2t4, DT1=k7t1, DT2=k7t2, X1+=k13t1, X2+=k13t3, X1-=k13t2, X2-=k13t4, M1+=k15t1, M2+=k15t5, M3+M4+=k15t3t7, M1-=k15t2, M2-=k15t6, M3-M4-=k15t4t8, N1+=k11t1, N1-=k11t2, P1=k12t1, P2=k12t3, P3P4=k12t2t4, Q1=k5t1, W1=k9t1, W2=k9t2, Y1=k8t1, Y2=k8t2, A1=k3t1, B1=k1t1, C1=k2t1, C2=k2t2, GP1=k0t1
88 I4_1/a: GM1+=k14t1, GM2+=k14t5, GM3+GM4+=k14t3t7, GM1-=k14t2, GM2-=k14t6, GM3-GM4-=k14t4t8, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t3, LD3LD4=k10t2t4, DT1=k7t1, DT2=k7t2, X1=k13t1, M1=k15t1, M2=k15t2, N1+=k11t1, N1-=k11t2, P1P4=k12t1t4, P2P3=k12t2t3, Q1=k5t1, W1W2=k9t1t2, Y1=k8t1, Y2=k8t2, A1=k3t1, B1=k1t1, C1=k2t1, C2=k2t2, GP1=k0t1
89 P422: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, M1=k18t1, M2=k18t3, M3=k18t2, M4=k18t4, M5=k18t5, X1=k15t1, X2=k15t4, X3=k15t2, X4=k15t3, A1=k20t1, A2=k20t3, A3=k20t2, A4=k20t4, A5=k20t5, R1=k16t1, R2=k16t4, R3=k16t2, R4=k16t3, Z1=k19t1, Z2=k19t3, Z3=k19t2, Z4=k19t4, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, W1=k12t1, W2=k12t2, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, E1=k2t1, F1=k4t1, GP1GQ1=k0t1t1*
90 P42_12: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, M1M4=k18t2t3, M2M3=k18t1t4, M5=k18t5, X1=k15t1, A1A4=k20t2t3, A2A3=k20t1t4, A5=k20t5, R1=k16t1, Z1=k19t1, Z2=k19t3, Z3=k19t2, Z4=k19t4, Z5=k19t5, Y1Y2=k6t1t2, V1V2=k14t2t4, V3V4=k14t1t3, W1W2=k12t1t2, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, E1=k2t1, F1F1=k4t1t1, GP1GQ1=k0t1t1*
91 P4_122: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t2, LD4=k13t4, M1=k18t1, M2=k18t3, M3=k18t2, M4=k18t4, M5=k18t5, X1=k15t1, X2=k15t4, X3=k15t2, X4=k15t3, A1=k20t1, A2=k20t2, R1=k16t1, Z1=k19t1, Z2=k19t2, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t3, V3=k14t2, V4=k14t4, W1=k12t1, W2=k12t2, S1S2=k11t1t2, T1T2=k7t1t2, U1U2=k9t1t2, B1=k3t1, C1=k5t1, D1=k1t1, E1E1=k2t1t1, F1=k4t1, GP1GQ1=k0t1t1*
92 P4_12_12: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t2, LD4=k13t4, M1M4=k18t2t3, M2M3=k18t1t4, M5=k18t5, X1=k15t1, A1A2=k20t1t2, R1R3=k16t1t2, R2R4=k16t3t4, Z1=k19t1, Z2=k19t2, Y1Y2=k6t1t2, V1V2=k14t2t4, V3V4=k14t1t3, W1W2=k12t1t2, S1S2=k11t1t2, T1T1=k7t1t1, T2T2=k7t2t2, U1U2=k9t1t2, B1=k3t1, C1=k5t1, D1=k1t1, E1E1=k2t1t1, F1F1=k4t1t1, GP1GQ1=k0t1t1*
93 P4_222: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t2, LD4=k13t4, M1=k18t1, M2=k18t3, M3=k18t2, M4=k18t4, M5=k18t5, X1=k15t1, X2=k15t4, X3=k15t2, X4=k15t3, A1=k20t3, A2=k20t1, A3=k20t4, A4=k20t2, A5=k20t5, R1=k16t1, R2=k16t4, R3=k16t2, R4=k16t3, Z1=k19t3, Z2=k19t1, Z3=k19t4, Z4=k19t2, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t3, V3=k14t2, V4=k14t4, W1=k12t1, W2=k12t2, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1=k3t1, C1=k5t1, D1=k1t1, E1=k2t1, F1=k4t1, GP1GQ1=k0t1t1*
94 P4_22_12: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t2, LD4=k13t4, M1M4=k18t2t3, M2M3=k18t1t4, M5=k18t5, X1=k15t1, A1A4=k20t1t4, A2A3=k20t2t3, A5=k20t5, R1=k16t1, Z1=k19t4, Z2=k19t2, Z3=k19t3, Z4=k19t1, Z5=k19t5, Y1Y2=k6t1t2, V1V2=k14t2t4, V3V4=k14t1t3, W1W2=k12t1t2, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1=k9t2, U2=k9t1, B1=k3t1, C1=k5t1, D1=k1t1, E1=k2t1, F1F1=k4t1t1, GP1GQ1=k0t1t1*
95 P4_322: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t2, LD4=k13t4, M1=k18t1, M2=k18t3, M3=k18t2, M4=k18t4, M5=k18t5, X1=k15t1, X2=k15t4, X3=k15t2, X4=k15t3, A1=k20t2, A2=k20t1, R1=k16t1, Z1=k19t2, Z2=k19t1, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t3, V3=k14t2, V4=k14t4, W1=k12t1, W2=k12t2, S1S2=k11t1t2, T1T2=k7t1t2, U1U2=k9t1t2, B1=k3t1, C1=k5t1, D1=k1t1, E1E1=k2t1t1, F1=k4t1, GP1GQ1=k0t1t1*
96 P4_32_12: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t3, LD3=k13t2, LD4=k13t4, M1M4=k18t2t3, M2M3=k18t1t4, M5=k18t5, X1=k15t1, A1A2=k20t1t2, R1R3=k16t3t4, R2R4=k16t1t2, Z1=k19t2, Z2=k19t1, Y1Y2=k6t1t2, V1V2=k14t2t4, V3V4=k14t1t3, W1W2=k12t1t2, S1S2=k11t1t2, T1T1=k7t2t2, T2T2=k7t1t1, U1U2=k9t1t2, B1=k3t1, C1=k5t1, D1=k1t1, E1E1=k2t1t1, F1F1=k4t1t1, GP1GQ1=k0t1t1*
97 I422: GM1=k14t1, GM2=k14t3, GM3=k14t2, GM4=k14t4, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t3, LD3=k10t4, LD4=k10t2, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t4, X3=k13t3, X4=k13t2, M1=k15t1, M2=k15t3, M3=k15t2, M4=k15t4, M5=k15t5, N1=k11t1, N2=k11t2, P1=k12t1, P2=k12t4, P3P4=k12t2t3, Q1QA1=k5t1t1*, Q2QA2=k5t2t2*, W1=k9t1, W2=k9t2, Y1=k8t1, Y2=k8t2, A1=k3t1, B1=k1t1, C1=k2t1, GP1GQ1=k0t1t1*
98 I4_122: GM1=k14t1, GM2=k14t3, GM3=k14t2, GM4=k14t4, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t3, LD3=k10t2, LD4=k10t4, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t4, X3=k13t3, X4=k13t2, M1=k15t1, M2=k15t3, M3=k15t2, M4=k15t4, M5=k15t5, N1=k11t1, N2=k11t2, P1=k12t1, Q1QA1=k5t1t1*, Q2QA2=k5t2t2*, W1=k9t1, W2=k9t2, Y1=k8t1, Y2=k8t2, A1=k3t1, B1=k1t1, C1=k2t1, GP1GQ1=k0t1t1*
99 P4mm: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1=k18t1, M2=k18t3, M3=k18t4, M4=k18t2, M5=k18t5, X1=k15t1, X2=k15t2, X3=k15t3, X4=k15t4, A1=k20t1, A2=k20t3, A3=k20t4, A4=k20t2, A5=k20t5, R1=k16t1, R2=k16t2, R3=k16t3, R4=k16t4, Z1=k19t1, Z2=k19t3, Z3=k19t4, Z4=k19t2, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, W3WA3=k12t3t3*, W4WA4=k12t4t4*, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
100 P4bm: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1M3=k18t1t4, M2M4=k18t2t3, M5=k18t5, X1=k15t1, A1A3=k20t1t4, A2A4=k20t2t3, A5=k20t5, R1=k16t1, Z1=k19t1, Z2=k19t3, Z3=k19t4, Z4=k19t2, Z5=k19t5, Y1Y2=k6t1t2, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1=k9t1, U2=k9t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t2t2*, F2FA2=k4t1t1*, GP1GQ1=k0t1t1*
101 P4_2cm: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1=k18t1, M2=k18t3, M3=k18t4, M4=k18t2, M5=k18t5, X1=k15t1, X2=k15t2, X3=k15t3, X4=k15t4, A1A3=k20t1t4, A2A4=k20t2t3, A5=k20t5, R1R2=k16t1t2, R3R4=k16t3t4, Z1Z3=k19t1t4, Z2Z4=k19t2t3, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, W3WA3=k12t3t3*, W4WA4=k12t4t4*, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1U2=k9t1t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
102 P4_2nm: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1M3=k18t1t4, M2M4=k18t2t3, M5=k18t5, X1=k15t1, A1=k20t4, A2=k20t2, A3=k20t1, A4=k20t3, A5=k20t5, R1=k16t1, Z1Z3=k19t1t4, Z2Z4=k19t2t3, Z5=k19t5, Y1Y2=k6t1t2, V1VA1=k14t4t4*, V2VA2=k14t2t2*, V3VA3=k14t1t1*, V4VA4=k14t3t3*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1U2=k9t1t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
103 P4cc: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1=k18t1, M2=k18t3, M3=k18t4, M4=k18t2, M5=k18t5, X1=k15t1, X2=k15t2, X3=k15t3, X4=k15t4, A1A4=k20t1t2, A2A3=k20t3t4, A5A5=k20t5t5, R1R2=k16t1t2, R3R4=k16t3t4, Z1Z4=k19t1t2, Z2Z3=k19t3t4, Z5Z5=k19t5t5, Y1=k6t1, Y2=k6t2, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, W3WA3=k12t3t3*, W4WA4=k12t4t4*, S1S2=k11t1t2, T1T2=k7t1t2, U1U2=k9t1t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
104 P4nc: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1M3=k18t1t4, M2M4=k18t2t3, M5=k18t5, X1=k15t1, A1A2=k20t2t4, A3A4=k20t1t3, A5=k20t5, R1=k16t1, Z1Z4=k19t1t2, Z2Z3=k19t3t4, Z5Z5=k19t5t5, Y1Y2=k6t1t2, V1VA1=k14t4t4*, V2VA2=k14t2t2*, V3VA3=k14t1t1*, V4VA4=k14t3t3*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, S1S2=k11t1t2, T1=k7t2, T2=k7t1, U1U2=k9t1t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t2t2*, F2FA2=k4t1t1*, GP1GQ1=k0t1t1*
105 P4_2mc: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1=k18t1, M2=k18t3, M3=k18t4, M4=k18t2, M5=k18t5, X1=k15t1, X2=k15t2, X3=k15t3, X4=k15t4, A1A2=k20t1t3, A3A4=k20t2t4, A5=k20t5, R1=k16t1, R2=k16t2, R3=k16t3, R4=k16t4, Z1Z2=k19t1t3, Z3Z4=k19t2t4, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, W2WA2=k12t2t2*, W3WA3=k12t3t3*, W4WA4=k12t4t4*, S1S2=k11t1t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
106 P4_2bc: GM1=k17t1, GM2=k17t3, GM3=k17t4, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1LE1=k13t1t1*, LD2LE2=k13t3t3*, LD3LE3=k13t4t4*, LD4LE4=k13t2t2*, LD5LE5=k13t5t5*, M1M3=k18t1t4, M2M4=k18t2t3, M5=k18t5, X1=k15t1, A1A4=k20t1t2, A2A3=k20t3t4, A5A5=k20t5t5, R1=k16t1, Z1Z2=k19t1t3, Z3Z4=k19t2t4, Z5=k19t5, Y1Y2=k6t1t2, V1VA1=k14t1t1*, V2VA2=k14t3t3*, V3VA3=k14t4t4*, V4VA4=k14t2t2*, V5VA5=k14t5t5*, W1WA1=k12t1t1*, S1S2=k11t1t2, T1T2=k7t1t2, U1=k9t1, U2=k9t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1FA1=k4t2t2*, F2FA2=k4t1t1*, GP1GQ1=k0t1t1*
107 I4mm: GM1=k14t1, GM2=k14t3, GM3=k14t4, GM4=k14t2, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1LE1=k10t1t1*, LD2LE2=k10t3t3*, LD3LE3=k10t4t4*, LD4LE4=k10t2t2*, LD5LE5=k10t5t5*, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t2, X3=k13t4, X4=k13t3, M1=k15t1, M2=k15t3, M3=k15t4, M4=k15t2, M5=k15t5, N1=k11t1, N2=k11t2, P1=k12t1, P2=k12t2, P3P4=k12t3t4, Q1=k5t1, W1WA1=k9t1t1*, W2WA2=k9t2t2*, W3WA3=k9t4t4*, W4WA4=k9t3t3*, Y1=k8t1, Y2=k8t2, A1AA1=k3t1t1*, A2AA2=k3t2t2*, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1=k2t1, GP1GQ1=k0t1t1*
108 I4cm: GM1=k14t1, GM2=k14t3, GM3=k14t4, GM4=k14t2, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1LE1=k10t1t1*, LD2LE2=k10t3t3*, LD3LE3=k10t4t4*, LD4LE4=k10t2t2*, LD5LE5=k10t5t5*, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t2, X3=k13t4, X4=k13t3, M1=k15t2, M2=k15t4, M3=k15t3, M4=k15t1, M5=k15t5, N1N2=k11t1t2, P1P2=k12t1t2, P3P3=k12t4t4, P4P4=k12t3t3, Q1Q1=k5t1t1, W1WA1=k9t1t1*, W2WA2=k9t2t2*, W3WA3=k9t4t4*, W4WA4=k9t3t3*, Y1=k8t1, Y2=k8t2, A1AA1=k3t1t1*, A2AA2=k3t2t2*, B1BA1=k1t2t2*, B2BA2=k1t1t1*, C1=k2t1, GP1GQ1=k0t1t1*
109 I4_1md: GM1=k14t1, GM2=k14t3, GM3=k14t4, GM4=k14t2, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1LE1=k10t1t1*, LD2LE2=k10t3t3*, LD3LE3=k10t4t4*, LD4LE4=k10t2t2*, LD5LE5=k10t5t5*, DT1=k7t1, DT2=k7t2, X1=k13t1, M1M2=k15t1t3, M3M4=k15t2t4, M5=k15t5, N1=k11t1, N2=k11t2, P1=k12t1, Q1=k5t1, W1WA1=k9t1t1*, Y1Y2=k8t1t2, A1AA1=k3t1t1*, A2AA2=k3t2t2*, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1=k2t1, GP1GQ1=k0t1t1*
110 I4_1cd: GM1=k14t1, GM2=k14t3, GM3=k14t4, GM4=k14t2, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1LE1=k10t1t1*, LD2LE2=k10t3t3*, LD3LE3=k10t4t4*, LD4LE4=k10t2t2*, LD5LE5=k10t5t5*, DT1=k7t1, DT2=k7t2, X1=k13t1, M1M2=k15t2t4, M3M4=k15t1t3, M5=k15t5, N1N2=k11t1t2, P1P1=k12t1t1, Q1Q1=k5t1t1, W1WA1=k9t1t1*, Y1Y2=k8t1t2, A1AA1=k3t1t1*, A2AA2=k3t2t2*, B1BA1=k1t2t2*, B2BA2=k1t1t1*, C1=k2t1, GP1GQ1=k0t1t1*
111 P-42m: GM1=k17t1, GM2=k17t4, GM3=k17t3, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1=k18t1, M2=k18t4, M3=k18t3, M4=k18t2, M5=k18t5, X1=k15t1, X2=k15t4, X3=k15t2, X4=k15t3, A1=k20t1, A2=k20t4, A3=k20t3, A4=k20t2, A5=k20t5, R1=k16t1, R2=k16t4, R3=k16t2, R4=k16t3, Z1=k19t1, Z2=k19t4, Z3=k19t3, Z4=k19t2, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t2, V3V4=k14t3t4, W1=k12t1, W2=k12t2, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1=k3t1, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1=k4t1, GP1GQ1=k0t1t1*
112 P-42c: GM1=k17t1, GM2=k17t4, GM3=k17t3, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1=k18t1, M2=k18t4, M3=k18t3, M4=k18t2, M5=k18t5, X1=k15t1, X2=k15t4, X3=k15t2, X4=k15t3, A1A2=k20t1t4, A3A4=k20t2t3, A5=k20t5, R1=k16t1, R2=k16t2, R3=k16t3, R4=k16t4, Z1Z2=k19t1t4, Z3Z4=k19t2t3, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t2, V3V4=k14t3t4, W1=k12t1, W2=k12t2, S1S2=k11t1t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1=k3t1, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1=k4t1, GP1GQ1=k0t1t1*
113 P-42_1m: GM1=k17t1, GM2=k17t4, GM3=k17t3, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1M3=k18t1t3, M2M4=k18t2t4, M5=k18t5, X1=k15t1, A1A3=k20t1t3, A2A4=k20t2t4, A5=k20t5, R1=k16t1, Z1=k19t1, Z2=k19t4, Z3=k19t3, Z4=k19t2, Z5=k19t5, Y1Y2=k6t1t2, V1V2=k14t1t2, V3V3=k14t3t3, V4V4=k14t4t4, W1W2=k12t1t2, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1=k9t1, U2=k9t2, B1=k3t1, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1F1=k4t1t1, GP1GQ1=k0t1t1*
114 P-42_1c: GM1=k17t1, GM2=k17t4, GM3=k17t3, GM4=k17t2, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1M3=k18t1t3, M2M4=k18t2t4, M5=k18t5, X1=k15t1, A1A4=k20t1t2, A2A3=k20t3t4, A5A5=k20t5t5, R1=k16t1, Z1Z2=k19t1t4, Z3Z4=k19t2t3, Z5=k19t5, Y1Y2=k6t1t2, V1V2=k14t1t2, V3V3=k14t3t3, V4V4=k14t4t4, W1W2=k12t1t2, S1S2=k11t1t2, T1T2=k7t1t2, U1=k9t1, U2=k9t2, B1=k3t1, C1CA1=k5t1t1*, C2CA2=k5t2t2*, D1=k1t1, E1=k2t1, F1F1=k4t1t1, GP1GQ1=k0t1t1*
115 P-4m2: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1=k18t1, M2=k18t3, M3=k18t2, M4=k18t4, M5=k18t5, X1=k15t1, X2=k15t2, X3=k15t3, X4=k15t4, A1=k20t1, A2=k20t3, A3=k20t2, A4=k20t4, A5=k20t5, R1=k16t1, R2=k16t2, R3=k16t3, R4=k16t4, Z1=k19t1, Z2=k19t3, Z3=k19t2, Z4=k19t4, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t2, V3V4=k14t3t4, W1WA1=k12t1t1*, W2WA2=k12t2t2*, W3WA3=k12t4t4*, W4WA4=k12t3t3*, S1=k11t1, S2=k11t2, T1=k7t1, T2=k7t2, U1=k9t1, U2=k9t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1=k5t1, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
116 P-4c2: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1=k18t1, M2=k18t3, M3=k18t2, M4=k18t4, M5=k18t5, X1=k15t1, X2=k15t2, X3=k15t3, X4=k15t4, A1A4=k20t2t3, A2A3=k20t1t4, A5=k20t5, R1R2=k16t1t2, R3R4=k16t3t4, Z1Z4=k19t2t3, Z2Z3=k19t1t4, Z5=k19t5, Y1=k6t1, Y2=k6t2, V1=k14t1, V2=k14t2, V3V4=k14t3t4, W1WA1=k12t1t1*, W2WA2=k12t2t2*, W3WA3=k12t4t4*, W4WA4=k12t3t3*, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1U2=k9t1t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1=k5t1, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
117 P-4b2: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1M4=k18t2t3, M2M3=k18t1t4, M5=k18t5, X1=k15t1, A1A4=k20t2t3, A2A3=k20t1t4, A5=k20t5, R1=k16t1, Z1=k19t1, Z2=k19t3, Z3=k19t2, Z4=k19t4, Z5=k19t5, Y1Y2=k6t1t2, V1=k14t1, V2=k14t2, V3V4=k14t3t4, W1WA1=k12t1t1*, S1=k11t1, S2=k11t2, T1T2=k7t1t2, U1=k9t1, U2=k9t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1=k5t1, D1=k1t1, E1=k2t1, F1FA1=k4t1t1*, F2FA2=k4t2t2*, GP1GQ1=k0t1t1*
118 P-4n2: GM1=k17t1, GM2=k17t3, GM3=k17t2, GM4=k17t4, GM5=k17t5, SM1=k10t1, SM2=k10t2, DT1=k8t1, DT2=k8t2, LD1=k13t1, LD2=k13t2, LD3LD4=k13t3t4, M1M4=k18t2t3, M2M3=k18t1t4, M5=k18t5, X1=k15t1, A1=k20t2, A2=k20t4, A3=k20t1, A4=k20t3, A5=k20t5, R1=k16t1, Z1Z4=k19t2t3, Z2Z3=k19t1t4, Z5=k19t5, Y1Y2=k6t1t2, V1=k14t2, V2=k14t1, V3V4=k14t3t4, W1WA1=k12t1t1*, S1=k11t1, S2=k11t2, T1=k7t2, T2=k7t1, U1U2=k9t1t2, B1BA1=k3t1t1*, B2BA2=k3t2t2*, C1=k5t1, D1=k1t1, E1=k2t1, F1FA1=k4t2t2*, F2FA2=k4t1t1*, GP1GQ1=k0t1t1*
119 I-4m2: GM1=k14t1, GM2=k14t3, GM3=k14t2, GM4=k14t4, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t2, LD3LD4=k10t3t4, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t4, X3=k13t3, X4=k13t2, M1=k15t1, M2=k15t3, M3=k15t2, M4=k15t4, M5=k15t5, N1=k11t1, N2=k11t2, P1=k12t1, P2=k12t3, P3=k12t2, P4=k12t4, Q1=k5t1, W1=k9t1, W2=k9t2, Y1=k8t1, Y2=k8t2, A1=k3t1, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1=k2t1, GP1GQ1=k0t1t1*
120 I-4c2: GM1=k14t1, GM2=k14t3, GM3=k14t2, GM4=k14t4, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t2, LD3LD4=k10t3t4, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t4, X3=k13t3, X4=k13t2, M1=k15t2, M2=k15t4, M3=k15t1, M4=k15t3, M5=k15t5, N1N2=k11t1t2, P1P2=k12t1t3, P3P4=k12t2t4, Q1Q1=k5t1t1, W1=k9t1, W2=k9t2, Y1=k8t1, Y2=k8t2, A1=k3t1, B1BA1=k1t2t2*, B2BA2=k1t1t1*, C1=k2t1, GP1GQ1=k0t1t1*
121 I-42m: GM1=k14t1, GM2=k14t4, GM3=k14t3, GM4=k14t2, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t2, LD3LD4=k10t3t4, DT1=k7t1, DT2=k7t2, X1=k13t1, X2=k13t2, X3=k13t4, X4=k13t3, M1=k15t1, M2=k15t4, M3=k15t3, M4=k15t2, M5=k15t5, N1=k11t1, N2=k11t2, P1PA1=k12t1t1*, P2PA2=k12t4t4*, P3PA3=k12t3t3*, P4PA4=k12t2t2*, P5PA5=k12t5t5*, Q1QA1=k5t1t1*, Q2QA2=k5t2t2*, W1WA1=k9t1t1*, W2WA2=k9t2t2*, W3WA3=k9t4t4*, W4WA4=k9t3t3*, Y1=k8t1, Y2=k8t2, A1AA1=k3t1t1*, A2AA2=k3t2t2*, B1=k1t1, C1=k2t1, GP1GQ1=k0t1t1*
122 I-42d: GM1=k14t1, GM2=k14t4, GM3=k14t3, GM4=k14t2, GM5=k14t5, SM1=k6t1, SM2=k6t2, LD1=k10t1, LD2=k10t2, LD3LD4=k10t3t4, DT1=k7t1, DT2=k7t2, X1=k13t1, M1M2=k15t2t3, M3M4=k15t1t4, M5=k15t5, N1=k11t2, N2=k11t1, P1PA1=k12t1t1*, P2PA2=k12t2t2*, Q1QA1=k5t2t2*, Q2QA2=k5t1t1*, W1WA1=k9t1t1*, Y1Y2=k8t1t2, A1AA1=k3t1t1*, A2AA2=k3t2t2*, B1=k1t1, C1=k2t1, GP1GQ1=k0t1t1*
123 P4/mmm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+=k18t1, M2+=k18t5, M3+=k18t3, M4+=k18t7, M5+=k18t9, M1-=k18t2, M2-=k18t6, M3-=k18t4, M4-=k18t8, M5-=k18t10, X1+=k15t1, X2+=k15t7, X3+=k15t3, X4+=k15t5, X1-=k15t2, X2-=k15t8, X3-=k15t4, X4-=k15t6, A1+=k20t1, A2+=k20t5, A3+=k20t3, A4+=k20t7, A5+=k20t9, A1-=k20t2, A2-=k20t6, A3-=k20t4, A4-=k20t8, A5-=k20t10, R1+=k16t1, R2+=k16t7, R3+=k16t3, R4+=k16t5, R1-=k16t2, R2-=k16t8, R3-=k16t4, R4-=k16t6, Z1+=k19t1, Z2+=k19t5, Z3+=k19t3, Z4+=k19t7, Z5+=k19t9, Z1-=k19t2, Z2-=k19t6, Z3-=k19t4, Z4-=k19t8, Z5-=k19t10, Y1=k6t1, Y2=k6t2, Y3=k6t3, Y4=k6t4, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, V5=k14t5, W1=k12t1, W2=k12t2, W3=k12t3, W4=k12t4, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1=k7t1, T2=k7t2, T3=k7t3, T4=k7t4, U1=k9t1, U2=k9t2, U3=k9t3, U4=k9t4, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t1, F2=k4t2, GP1=k0t1
124 P4/mcc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+=k18t1, M2+=k18t5, M3+=k18t3, M4+=k18t7, M5+=k18t9, M1-=k18t2, M2-=k18t6, M3-=k18t4, M4-=k18t8, M5-=k18t10, X1+=k15t1, X2+=k15t7, X3+=k15t3, X4+=k15t5, X1-=k15t2, X2-=k15t8, X3-=k15t4, X4-=k15t6, A1=k20t2, A2=k20t1, A3A4=k20t3t4, R1=k16t1, R2=k16t2, Z1=k19t2, Z2=k19t1, Z3Z4=k19t3t4, Y1=k6t1, Y2=k6t2, Y3=k6t3, Y4=k6t4, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, V5=k14t5, W1=k12t1, W2=k12t2, W3=k12t3, W4=k12t4, S1=k11t1, T1=k7t1, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t2, E2=k2t1, F1=k4t1, F2=k4t2, GP1=k0t1
125 P4/nbm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t1, M2=k18t2, M3=k18t4, M4=k18t3, X1=k15t1, X2=k15t2, A1=k20t1, A2=k20t2, A3=k20t4, A4=k20t3, R1=k16t1, R2=k16t2, Z1+=k19t1, Z2+=k19t5, Z3+=k19t3, Z4+=k19t7, Z5+=k19t9, Z1-=k19t2, Z2-=k19t6, Z3-=k19t4, Z4-=k19t8, Z5-=k19t10, Y1=k6t1, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, V5=k14t5, W1=k12t1, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1=k7t1, U1=k9t1, U2=k9t2, U3=k9t3, U4=k9t4, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t2, F2=k4t1, GP1=k0t1
126 P4/nnc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t1, M2=k18t2, M3=k18t4, M4=k18t3, X1=k15t1, X2=k15t2, A1=k20t1, A2=k20t2, A3=k20t4, A4=k20t3, R1=k16t1, R2=k16t2, Z1=k19t2, Z2=k19t1, Z3Z4=k19t3t4, Y1=k6t1, V1=k14t4, V2=k14t2, V3=k14t1, V4=k14t3, V5=k14t5, W1=k12t1, S1=k11t1, T1=k7t2, T2=k7t1, T3=k7t4, T4=k7t3, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t2, E2=k2t1, F1=k4t2, F2=k4t1, GP1=k0t1
127 P4/mbm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+M4+=k18t1t7, M2+M3+=k18t3t5, M5+=k18t9, M1-M4-=k18t2t8, M2-M3-=k18t4t6, M5-=k18t10, X1=k15t2, X2=k15t1, A1+A4+=k20t1t7, A2+A3+=k20t3t5, A5+=k20t9, A1-A4-=k20t2t8, A2-A3-=k20t4t6, A5-=k20t10, R1=k16t2, R2=k16t1, Z1+=k19t1, Z2+=k19t5, Z3+=k19t3, Z4+=k19t7, Z5+=k19t9, Z1-=k19t2, Z2-=k19t6, Z3-=k19t4, Z4-=k19t8, Z5-=k19t10, Y1Y4=k6t1t2, Y2Y3=k6t3t4, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1=k12t1, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1T4=k7t1t2, T2T3=k7t3t4, U1=k9t1, U2=k9t2, U3=k9t3, U4=k9t4, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
128 P4/mnc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+M4+=k18t1t7, M2+M3+=k18t3t5, M5+=k18t9, M1-M4-=k18t2t8, M2-M3-=k18t4t6, M5-=k18t10, X1=k15t2, X2=k15t1, A1=k20t3, A2=k20t4, A3A4=k20t1t2, R1+=k16t1, R1-=k16t2, Z1=k19t2, Z2=k19t1, Z3Z4=k19t3t4, Y1Y4=k6t1t2, Y2Y3=k6t3t4, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1=k12t1, S1=k11t1, T1=k7t1, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
129 P4/nmm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t2, M2=k18t1, M3=k18t4, M4=k18t3, X1=k15t1, X2=k15t2, A1=k20t2, A2=k20t1, A3=k20t4, A4=k20t3, R1=k16t1, R2=k16t2, Z1+=k19t1, Z2+=k19t5, Z3+=k19t3, Z4+=k19t7, Z5+=k19t9, Z1-=k19t2, Z2-=k19t6, Z3-=k19t4, Z4-=k19t8, Z5-=k19t10, Y1=k6t1, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1W3=k12t1t3, W2W4=k12t2t4, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1=k7t1, U1=k9t1, U2=k9t2, U3=k9t3, U4=k9t4, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
130 P4/ncc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t2, M2=k18t1, M3=k18t4, M4=k18t3, X1=k15t1, X2=k15t2, A1A2=k20t1t2, A3A4=k20t3t4, R1R2=k16t1t2, Z1=k19t2, Z2=k19t1, Z3Z4=k19t3t4, Y1=k6t1, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1W3=k12t1t3, W2W4=k12t2t4, S1=k11t1, T1T4=k7t2t3, T2T3=k7t1t4, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
131 P4_2/mmc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+=k18t1, M2+=k18t5, M3+=k18t3, M4+=k18t7, M5+=k18t9, M1-=k18t2, M2-=k18t6, M3-=k18t4, M4-=k18t8, M5-=k18t10, X1+=k15t1, X2+=k15t7, X3+=k15t3, X4+=k15t5, X1-=k15t2, X2-=k15t8, X3-=k15t4, X4-=k15t6, A1=k20t3, A2=k20t4, A3=k20t1, A4=k20t2, R1+=k16t1, R2+=k16t7, R3+=k16t3, R4+=k16t5, R1-=k16t2, R2-=k16t8, R3-=k16t4, R4-=k16t6, Z1=k19t3, Z2=k19t4, Z3=k19t1, Z4=k19t2, Y1=k6t1, Y2=k6t2, Y3=k6t3, Y4=k6t4, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, V5=k14t5, W1=k12t1, W2=k12t2, W3=k12t3, W4=k12t4, S1=k11t1, T1=k7t1, T2=k7t2, T3=k7t3, T4=k7t4, U1=k9t1, U2=k9t2, U3=k9t3, U4=k9t4, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t1, F2=k4t2, GP1=k0t1
132 P4_2/mcm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+=k18t1, M2+=k18t5, M3+=k18t3, M4+=k18t7, M5+=k18t9, M1-=k18t2, M2-=k18t6, M3-=k18t4, M4-=k18t8, M5-=k18t10, X1+=k15t1, X2+=k15t7, X3+=k15t3, X4+=k15t5, X1-=k15t2, X2-=k15t8, X3-=k15t4, X4-=k15t6, A1=k20t3, A2=k20t4, A3=k20t2, A4=k20t1, R1=k16t1, R2=k16t2, Z1=k19t3, Z2=k19t4, Z3=k19t2, Z4=k19t1, Y1=k6t1, Y2=k6t2, Y3=k6t3, Y4=k6t4, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, V5=k14t5, W1=k12t1, W2=k12t2, W3=k12t3, W4=k12t4, S1=k11t4, S2=k11t2, S3=k11t1, S4=k11t3, T1=k7t1, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t2, E2=k2t1, F1=k4t1, F2=k4t2, GP1=k0t1
133 P4_2/nbc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t4, M2=k18t3, M3=k18t2, M4=k18t1, X1=k15t1, X2=k15t2, A1=k20t1, A2=k20t2, A3A4=k20t3t4, R1=k16t2, R2=k16t1, Z1=k19t3, Z2=k19t4, Z3=k19t2, Z4=k19t1, Y1=k6t1, V1=k14t1, V2=k14t3, V3=k14t4, V4=k14t2, V5=k14t5, W1=k12t1, S1=k11t1, T1=k7t1, U1=k9t3, U2=k9t4, U3=k9t1, U4=k9t2, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1=k4t1, F2=k4t2, GP1=k0t1
134 P4_2/nnm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t4, M2=k18t3, M3=k18t2, M4=k18t1, X1=k15t1, X2=k15t2, A1+=k20t3, A2+=k20t7, A3+=k20t1, A4+=k20t5, A5+=k20t9, A1-=k20t4, A2-=k20t8, A3-=k20t2, A4-=k20t6, A5-=k20t10, R1=k16t2, R2=k16t1, Z1=k19t3, Z2=k19t4, Z3=k19t2, Z4=k19t1, Y1=k6t1, V1=k14t4, V2=k14t2, V3=k14t1, V4=k14t3, V5=k14t5, W1=k12t1, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1=k7t3, T2=k7t4, T3=k7t1, T4=k7t2, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t2, E2=k2t1, F1=k4t1, F2=k4t2, GP1=k0t1
135 P4_2/mbc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+M4+=k18t1t7, M2+M3+=k18t3t5, M5+=k18t9, M1-M4-=k18t2t8, M2-M3-=k18t4t6, M5-=k18t10, X1=k15t2, X2=k15t1, A1A2=k20t1t2, A3A4=k20t3t4, R1=k16t2, R2=k16t1, Z1=k19t3, Z2=k19t4, Z3=k19t1, Z4=k19t2, Y1Y4=k6t1t2, Y2Y3=k6t3t4, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1=k12t1, S1=k11t1, T1T4=k7t1t2, T2T3=k7t3t4, U1=k9t1, U2=k9t2, U3=k9t3, U4=k9t4, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
136 P4_2/mnm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1+M4+=k18t4t6, M2+M3+=k18t2t8, M5+=k18t10, M1-M4-=k18t3t5, M2-M3-=k18t1t7, M5-=k18t9, X1=k15t2, X2=k15t1, A1=k20t4, A2=k20t3, A3=k20t1, A4=k20t2, R1+=k16t2, R1-=k16t1, Z1=k19t3, Z2=k19t4, Z3=k19t1, Z4=k19t2, Y1Y4=k6t1t2, Y2Y3=k6t3t4, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1=k12t1, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1=k7t1, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
137 P4_2/nmc: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t2, M2=k18t1, M3=k18t4, M4=k18t3, X1=k15t1, X2=k15t2, A1=k20t4, A2=k20t3, A3A4=k20t1t2, R1=k16t1, R2=k16t2, Z1=k19t3, Z2=k19t4, Z3=k19t2, Z4=k19t1, Y1=k6t1, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1W3=k12t1t3, W2W4=k12t2t4, S1=k11t1, T1=k7t1, U1=k9t3, U2=k9t4, U3=k9t1, U4=k9t2, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t1, E2=k2t2, F1F2=k4t1t2, GP1=k0t1
138 P4_2/ncm: GM1+=k17t1, GM2+=k17t5, GM3+=k17t3, GM4+=k17t7, GM5+=k17t9, GM1-=k17t2, GM2-=k17t6, GM3-=k17t4, GM4-=k17t8, GM5-=k17t10, SM1=k10t1, SM2=k10t3, SM3=k10t4, SM4=k10t2, DT1=k8t1, DT2=k8t2, DT3=k8t3, DT4=k8t4, LD1=k13t1, LD2=k13t3, LD3=k13t4, LD4=k13t2, LD5=k13t5, M1=k18t2, M2=k18t1, M3=k18t4, M4=k18t3, X1=k15t1, X2=k15t2, A1+A4+=k20t3t5, A2+A3+=k20t1t7, A5+=k20t9, A1-A4-=k20t4t6, A2-A3-=k20t2t8, A5-=k20t10, R1R2=k16t1t2, Z1=k19t3, Z2=k19t4, Z3=k19t2, Z4=k19t1, Y1=k6t1, V1V3=k14t1t4, V2V4=k14t2t3, V5=k14t5, W1W3=k12t1t3, W2W4=k12t2t4, S1=k11t1, S2=k11t3, S3=k11t4, S4=k11t2, T1T4=k7t1t4, T2T3=k7t2t3, U1=k9t1, B1=k3t1, B2=k3t2, C1=k5t1, C2=k5t2, D1=k1t1, D2=k1t2, E1=k2t2, E2=k2t1, F1F2=k4t1t2, GP1=k0t1
139 I4/mmm: GM1+=k14t1, GM2+=k14t5, GM3+=k14t3, GM4+=k14t7, GM5+=k14t9, GM1-=k14t2, GM2-=k14t6, GM3-=k14t4, GM4-=k14t8, GM5-=k14t10, SM1=k6t1, SM2=k6t2, SM3=k6t3, SM4=k6t4, LD1=k10t1, LD2=k10t3, LD3=k10t4, LD4=k10t2, LD5=k10t5, DT1=k7t1, DT2=k7t3, DT3=k7t4, DT4=k7t2, X1+=k13t1, X2+=k13t7, X3+=k13t3, X4+=k13t5, X1-=k13t2, X2-=k13t8, X3-=k13t4, X4-=k13t6, M1+=k15t1, M2+=k15t5, M3+=k15t3, M4+=k15t7, M5+=k15t9, M1-=k15t2, M2-=k15t6, M3-=k15t4, M4-=k15t8, M5-=k15t10, N1+=k11t1, N2+=k11t3, N1-=k11t2, N2-=k11t4, P1=k12t1, P2=k12t4, P3=k12t3, P4=k12t2, P5=k12t5, Q1=k5t1, Q2=k5t2, W1=k9t1, W2=k9t2, W3=k9t4, W4=k9t3, Y1=k8t1, Y2=k8t3, Y3=k8t4, Y4=k8t2, A1=k3t1, A2=k3t2, B1=k1t1, B2=k1t2, C1=k2t1, C2=k2t2, GP1=k0t1
140 I4/mcm: GM1+=k14t1, GM2+=k14t5, GM3+=k14t3, GM4+=k14t7, GM5+=k14t9, GM1-=k14t2, GM2-=k14t6, GM3-=k14t4, GM4-=k14t8, GM5-=k14t10, SM1=k6t1, SM2=k6t2, SM3=k6t3, SM4=k6t4, LD1=k10t1, LD2=k10t3, LD3=k10t4, LD4=k10t2, LD5=k10t5, DT1=k7t1, DT2=k7t3, DT3=k7t4, DT4=k7t2, X1+=k13t1, X2+=k13t7, X3+=k13t3, X4+=k13t5, X1-=k13t2, X2-=k13t8, X3-=k13t4, X4-=k13t6, M1+=k15t2, M2+=k15t6, M3+=k15t4, M4+=k15t8, M5+=k15t10, M1-=k15t1, M2-=k15t5, M3-=k15t3, M4-=k15t7, M5-=k15t9, N1=k11t1, P1P3=k12t2t4, P2P4=k12t1t3, P5=k12t5, Q1Q2=k5t1t2, W1=k9t1, W2=k9t2, W3=k9t4, W4=k9t3, Y1=k8t1, Y2=k8t3, Y3=k8t4, Y4=k8t2, A1=k3t1, A2=k3t2, B1=k1t2, B2=k1t1, C1=k2t1, C2=k2t2, GP1=k0t1
141 I4_1/amd: GM1+=k14t1, GM2+=k14t5, GM3+=k14t3, GM4+=k14t7, GM5+=k14t9, GM1-=k14t2, GM2-=k14t6, GM3-=k14t4, GM4-=k14t8, GM5-=k14t10, SM1=k6t1, SM2=k6t2, SM3=k6t3, SM4=k6t4, LD1=k10t1, LD2=k10t3, LD3=k10t4, LD4=k10t2, LD5=k10t5, DT1=k7t1, DT2=k7t3, DT3=k7t4, DT4=k7t2, X1=k13t1, X2=k13t2, M1=k15t3, M2=k15t4, M3=k15t1, M4=k15t2, N1+=k11t1, N2+=k11t3, N1-=k11t2, N2-=k11t4, P1=k12t1, P2=k12t2, Q1=k5t1, Q2=k5t2, W1=k9t1, Y1=k8t1, A1=k3t1, A2=k3t2, B1=k1t1, B2=k1t2, C1=k2t1, C2=k2t2, GP1=k0t1
142 I4_1/acd: GM1+=k14t1, GM2+=k14t5, GM3+=k14t3, GM4+=k14t7, GM5+=k14t9, GM1-=k14t2, GM2-=k14t6, GM3-=k14t4, GM4-=k14t8, GM5-=k14t10, SM1=k6t1, SM2=k6t2, SM3=k6t3, SM4=k6t4, LD1=k10t1, LD2=k10t3, LD3=k10t4, LD4=k10t2, LD5=k10t5, DT1=k7t1, DT2=k7t3, DT3=k7t4, DT4=k7t2, X1=k13t1, X2=k13t2, M1=k15t4, M2=k15t3, M3=k15t2, M4=k15t1, N1=k11t1, P1P2=k12t1t2, Q1Q2=k5t1t2, W1=k9t1, Y1=k8t1, A1=k3t1, A2=k3t2, B1=k1t2, B2=k1t1, C1=k2t1, C2=k2t2, GP1=k0t1
143 P3: GM1=k16t1, GM2GM3=k16t2t3, DT1DU1=k11t1t1*, DT2DU2=k11t3t3*, DT3DU3=k11t2t2*, LD1LE1=k6t1t1*, SM1SN1=k5t1t1*, A1=k17t1, A2A3=k17t2t3, H1HA1=k15t1t1*, H2HA2=k15t3t3*, H3HA3=k15t2t2*, K1KA1=k13t1t1*, K2KA2=k13t3t3*, K3KA3=k13t2t2*, L1=k14t1, M1=k12t1, P1PC1=k10t1t1*, P2PC2=k10t3t3*, P3PC3=k10t2t2*, Q1QA1=k8t1t1*, R1RA1=k7t1t1*, U1UA1=k9t1t1*, B1BC1=k1t1t1*, C1CC1=k4t1t1*, D1DC1=k3t1t1*, E1EC1=k2t1t1*, GP1GQ1=k0t1t1*
144 P3_1: GM1=k16t1, GM2GM3=k16t2t3, DT1DU1=k11t1t1*, DT2DU2=k11t3t3*, DT3DU3=k11t2t2*, LD1LE1=k6t1t1*, SM1SN1=k5t1t1*, A1A3=k17t1t2, A2=k17t3, H1HA1=k15t1t1*, H2HA2=k15t3t3*, H3HA3=k15t2t2*, K1KA1=k13t1t1*, K2KA2=k13t3t3*, K3KA3=k13t2t2*, L1=k14t1, M1=k12t1, P1PC1=k10t1t1*, P2PC2=k10t3t3*, P3PC3=k10t2t2*, Q1QA1=k8t1t1*, R1RA1=k7t1t1*, U1UA1=k9t1t1*, B1BC1=k1t1t1*, C1CC1=k4t1t1*, D1DC1=k3t1t1*, E1EC1=k2t1t1*, GP1GQ1=k0t1t1*
145 P3_2: GM1=k16t1, GM2GM3=k16t2t3, DT1DU1=k11t1t1*, DT2DU2=k11t3t3*, DT3DU3=k11t2t2*, LD1LE1=k6t1t1*, SM1SN1=k5t1t1*, A1=k17t2, A2A3=k17t1t3, H1HA1=k15t2t2*, H2HA2=k15t1t1*, H3HA3=k15t3t3*, K1KA1=k13t1t1*, K2KA2=k13t3t3*, K3KA3=k13t2t2*, L1=k14t1, M1=k12t1, P1PC1=k10t1t1*, P2PC2=k10t3t3*, P3PC3=k10t2t2*, Q1QA1=k8t1t1*, R1RA1=k7t1t1*, U1UA1=k9t1t1*, B1BC1=k1t1t1*, C1CC1=k4t1t1*, D1DC1=k3t1t1*, E1EC1=k2t1t1*, GP1GQ1=k0t1t1*
146 R3: GM1=k7t1, GM2GM3=k7t2t3, LD1LE1=k6t1t1*, LD2LE2=k6t3t3*, LD3LE3=k6t2t2*, SM1SN1=k2t1t1*, F1=k5t1, L1=k4t1, T1=k8t1, T2T3=k8t2t3, Y1YA1=k3t1t1*, C1CA1=k1t1t1*, GP1GQ1=k0t1t1*
147 P-3: GM1+=k16t1, GM2+GM3+=k16t3t5, GM1-=k16t2, GM2-GM3-=k16t4t6, DT1=k11t1, DT2DT3=k11t2t3, LD1=k6t1, SM1=k5t1, A1+=k17t1, A2+A3+=k17t3t5, A1-=k17t2, A2-A3-=k17t4t6, H1=k15t1, H2H3=k15t2t3, K1=k13t1, K2K3=k13t2t3, L1+=k14t1, L1-=k14t2, M1+=k12t1, M1-=k12t2, P1=k10t1, P2P3=k10t2t3, Q1=k8t1, R1=k7t1, U1=k9t1, B1=k1t1, C1=k4t1, D1=k3t1, E1=k2t1, GP1=k0t1
148 R-3: GM1+=k7t1, GM2+GM3+=k7t3t5, GM1-=k7t2, GM2-GM3-=k7t4t6, LD1=k6t1, LD2LD3=k6t2t3, SM1=k2t1, F1+=k5t1, F1-=k5t2, L1+=k4t1, L1-=k4t2, T1+=k8t1, T2+T3+=k8t3t5, T1-=k8t2, T2-T3-=k8t4t6, Y1=k3t1, C1=k1t1, GP1=k0t1
149 P312: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1=k11t1, DT2=k11t3, DT3=k11t2, LD1=k6t1, SM1SN1=k5t1t1*, SM2SN2=k5t2t2*, A1=k17t1, A2=k17t2, A3=k17t3, H1=k15t1, H2=k15t3, H3=k15t2, K1=k13t1, K2=k13t3, K3=k13t2, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t1, R1RA1=k7t1t1*, R2RA2=k7t2t2*, U1=k9t1, B1BA1=k1t1t1*, C1=k4t1, D1DA1=k3t1t1*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
150 P321: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1=k11t1, DT2=k11t3, DT3=k11t2, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, SM1=k5t1, A1=k17t1, A2=k17t2, A3=k17t3, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t3t3*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t3t3*, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1QA1=k8t1t1*, Q2QA2=k8t2t2*, R1=k7t1, U1=k9t1, B1BA1=k1t1t1*, C1CA1=k4t1t1*, D1=k3t1, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
151 P3_112: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1=k11t1, DT2=k11t3, DT3=k11t2, LD1=k6t1, SM1SN1=k5t1t1*, SM2SN2=k5t2t2*, A1=k17t1, A2=k17t2, A3=k17t3, H1=k15t1, H2=k15t3, H3=k15t2, K1=k13t1, K2=k13t3, K3=k13t2, L1=k14t2, L2=k14t1, M1=k12t1, M2=k12t2, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t1, R1RA1=k7t2t2*, R2RA2=k7t1t1*, U1=k9t1, B1BA1=k1t1t1*, C1=k4t1, D1DA1=k3t1t1*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
152 P3_121: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1=k11t1, DT2=k11t3, DT3=k11t2, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, SM1=k5t1, A1=k17t1, A2=k17t2, A3=k17t3, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t3t3*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t3t3*, L1=k14t2, L2=k14t1, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1QA1=k8t1t1*, Q2QA2=k8t2t2*, R1=k7t1, U1=k9t1, B1BA1=k1t1t1*, C1CA1=k4t1t1*, D1=k3t1, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
153 P3_212: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1=k11t1, DT2=k11t3, DT3=k11t2, LD1=k6t1, SM1SN1=k5t1t1*, SM2SN2=k5t2t2*, A1=k17t2, A2=k17t1, A3=k17t3, H1=k15t2, H2=k15t1, H3=k15t3, K1=k13t1, K2=k13t3, K3=k13t2, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t1, R1RA1=k7t1t1*, R2RA2=k7t2t2*, U1=k9t1, B1BA1=k1t1t1*, C1=k4t1, D1DA1=k3t1t1*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
154 P3_221: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1=k11t1, DT2=k11t3, DT3=k11t2, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, SM1=k5t1, A1=k17t1, A2=k17t2, A3=k17t3, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t3t3*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t3t3*, L1=k14t2, L2=k14t1, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1QA1=k8t2t2*, Q2QA2=k8t1t1*, R1=k7t1, U1=k9t1, B1BA1=k1t1t1*, C1CA1=k4t1t1*, D1=k3t1, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
155 R32: GM1=k7t1, GM2=k7t2, GM3=k7t3, LD1=k6t1, LD2=k6t3, LD3=k6t2, SM1SN1=k2t1t1*, SM2SN2=k2t2t2*, F1=k5t1, F2=k5t2, L1=k4t1, L2=k4t2, T1=k8t1, T2=k8t2, T3=k8t3, Y1YA1=k3t1t1*, Y2YA2=k3t2t2*, C1=k1t1, GP1GQ1=k0t1t1*
156 P3m1: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t3t3*, LD1=k6t1, SM1SN1=k5t1t1*, SM2SN2=k5t2t2*, A1=k17t1, A2=k17t2, A3=k17t3, H1=k15t1, H2=k15t3, H3=k15t2, K1=k13t1, K2=k13t3, K3=k13t2, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1=k8t1, R1RA1=k7t1t1*, R2RA2=k7t2t2*, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1BA1=k1t1t1*, C1CA1=k4t1t1*, D1DC1=k3t1t1*, D2DC2=k3t2t2*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
157 P31m: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t3t3*, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, SM1=k5t1, A1=k17t1, A2=k17t2, A3=k17t3, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t3t3*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t3t3*, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PC1=k10t1t1*, P2PC2=k10t2t2*, P3PC3=k10t3t3*, Q1QA1=k8t1t1*, Q2QA2=k8t2t2*, R1=k7t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1BA1=k1t1t1*, C1CC1=k4t1t1*, C2CC2=k4t2t2*, D1DA1=k3t1t1*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
158 P3c1: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t3t3*, LD1=k6t1, SM1SN1=k5t1t1*, SM2SN2=k5t2t2*, A1A2=k17t1t2, A3A3=k17t3t3, H1H1=k15t1t1, H2H2=k15t3t3, H3H3=k15t2t2, K1=k13t1, K2=k13t3, K3=k13t2, L1L2=k14t1t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1Q1=k8t1t1, R1RA1=k7t2t2*, R2RA2=k7t1t1*, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1BA1=k1t1t1*, C1CA1=k4t1t1*, D1DC1=k3t1t1*, D2DC2=k3t2t2*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
159 P31c: GM1=k16t1, GM2=k16t2, GM3=k16t3, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t3t3*, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, SM1=k5t1, A1A2=k17t1t2, A3A3=k17t3t3, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t3t3*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t3t3*, L1L2=k14t1t2, M1=k12t1, M2=k12t2, P1PC1=k10t1t1*, P2PC2=k10t2t2*, P3PC3=k10t3t3*, Q1QA1=k8t1t1*, Q2QA2=k8t2t2*, R1R1=k7t1t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1BA1=k1t1t1*, C1CC1=k4t1t1*, C2CC2=k4t2t2*, D1DA1=k3t1t1*, E1EA1=k2t1t1*, GP1GQ1=k0t1t1*
160 R3m: GM1=k7t1, GM2=k7t2, GM3=k7t3, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t3t3*, SM1=k2t1, F1=k5t1, F2=k5t2, L1=k4t1, L2=k4t2, T1=k8t1, T2=k8t2, T3=k8t3, Y1=k3t1, C1CA1=k1t1t1*, C2CA2=k1t2t2*, GP1GQ1=k0t1t1*
161 R3c: GM1=k7t1, GM2=k7t2, GM3=k7t3, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t3t3*, SM1=k2t1, F1=k5t2, F2=k5t1, L1L2=k4t1t2, T1T2=k8t1t2, T3T3=k8t3t3, Y1Y1=k3t1t1, C1CA1=k1t1t1*, C2CA2=k1t2t2*, GP1GQ1=k0t1t1*
162 P-31m: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1+=k17t1, A2+=k17t3, A3+=k17t5, A1-=k17t2, A2-=k17t4, A3-=k17t6, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1+=k14t1, L2+=k14t3, L1-=k14t2, L2-=k14t4, M1+=k12t1, M2+=k12t3, M1-=k12t2, M2-=k12t4, P1=k10t1, P2=k10t2, P3=k10t3, Q1=k8t1, Q2=k8t2, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, C2=k4t2, D1=k3t1, E1=k2t1, GP1=k0t1
163 P-31c: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1A2=k17t2t3, A3=k17t1, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, M1+=k12t1, M2+=k12t3, M1-=k12t2, M2-=k12t4, P1=k10t1, P2=k10t2, P3=k10t3, Q1=k8t1, Q2=k8t2, R1R2=k7t1t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, C2=k4t2, D1=k3t1, E1=k2t1, GP1=k0t1
164 P-3m1: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1+=k17t1, A2+=k17t3, A3+=k17t5, A1-=k17t2, A2-=k17t4, A3-=k17t6, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1+=k14t1, L2+=k14t3, L1-=k14t2, L2-=k14t4, M1+=k12t1, M2+=k12t3, M1-=k12t2, M2-=k12t4, P1=k10t1, P2P3=k10t2t3, Q1=k8t1, Q2=k8t2, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, D2=k3t2, E1=k2t1, GP1=k0t1
165 P-3c1: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1A2=k17t2t3, A3=k17t1, H1H2=k15t1t2, H3H3=k15t3t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, M1+=k12t1, M2+=k12t3, M1-=k12t2, M2-=k12t4, P1=k10t1, P2P3=k10t2t3, Q1Q2=k8t1t2, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, D2=k3t2, E1=k2t1, GP1=k0t1
166 R-3m: GM1+=k7t1, GM2+=k7t3, GM3+=k7t5, GM1-=k7t2, GM2-=k7t4, GM3-=k7t6, LD1=k6t1, LD2=k6t2, LD3=k6t3, SM1=k2t1, SM2=k2t2, F1+=k5t1, F2+=k5t3, F1-=k5t2, F2-=k5t4, L1+=k4t1, L2+=k4t3, L1-=k4t2, L2-=k4t4, T1+=k8t1, T2+=k8t3, T3+=k8t5, T1-=k8t2, T2-=k8t4, T3-=k8t6, Y1=k3t1, Y2=k3t2, C1=k1t1, C2=k1t2, GP1=k0t1
167 R-3c: GM1+=k7t1, GM2+=k7t3, GM3+=k7t5, GM1-=k7t2, GM2-=k7t4, GM3-=k7t6, LD1=k6t1, LD2=k6t2, LD3=k6t3, SM1=k2t1, SM2=k2t2, F1+=k5t2, F2+=k5t4, F1-=k5t1, F2-=k5t3, L1=k4t1, T1T2=k8t2t3, T3=k8t1, Y1Y2=k3t1t2, C1=k1t1, C2=k1t2, GP1=k0t1
168 P6: GM1=k16t1, GM2=k16t4, GM3GM5=k16t3t5, GM4GM6=k16t2t6, DT1DU1=k11t1t1*, DT2DU2=k11t4t4*, DT3DU3=k11t3t3*, DT4DU4=k11t6t6*, DT5DU5=k11t5t5*, DT6DU6=k11t2t2*, LD1=k6t1, SM1=k5t1, A1=k17t1, A2=k17t4, A3A5=k17t3t5, A4A6=k17t2t6, H1=k15t1, H2H3=k15t2t3, K1=k13t1, K2K3=k13t2t3, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1=k8t1, R1=k7t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1=k1t1, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1=k2t1, GP1GQ1=k0t1t1*
169 P6_1: GM1=k16t1, GM2=k16t4, GM3GM5=k16t3t5, GM4GM6=k16t2t6, DT1DU1=k11t1t1*, DT2DU2=k11t4t4*, DT3DU3=k11t3t3*, DT4DU4=k11t6t6*, DT5DU5=k11t5t5*, DT6DU6=k11t2t2*, LD1=k6t1, SM1=k5t1, A1A6=k17t1t2, A2A5=k17t4t5, A3A4=k17t3t6, H1H3=k15t1t2, H2H2=k15t3t3, K1=k13t1, K2K3=k13t2t3, L1L2=k14t1t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1Q1=k8t1t1, R1R1=k7t1t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1=k1t1, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1E1=k2t1t1, GP1GQ1=k0t1t1*
170 P6_5: GM1=k16t1, GM2=k16t4, GM3GM5=k16t3t5, GM4GM6=k16t2t6, DT1DU1=k11t1t1*, DT2DU2=k11t4t4*, DT3DU3=k11t3t3*, DT4DU4=k11t6t6*, DT5DU5=k11t5t5*, DT6DU6=k11t2t2*, LD1=k6t1, SM1=k5t1, A1A2=k17t2t5, A3A6=k17t1t6, A4A5=k17t3t4, H1H1=k15t2t2, H2H3=k15t1t3, K1=k13t1, K2K3=k13t2t3, L1L2=k14t1t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1Q1=k8t1t1, R1R1=k7t1t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1=k1t1, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1E1=k2t1t1, GP1GQ1=k0t1t1*
171 P6_2: GM1=k16t1, GM2=k16t4, GM3GM5=k16t3t5, GM4GM6=k16t2t6, DT1DU1=k11t1t1*, DT2DU2=k11t4t4*, DT3DU3=k11t3t3*, DT4DU4=k11t6t6*, DT5DU5=k11t5t5*, DT6DU6=k11t2t2*, LD1=k6t1, SM1=k5t1, A1=k17t5, A2=k17t2, A3A5=k17t1t3, A4A6=k17t4t6, H1=k15t2, H2H3=k15t1t3, K1=k13t1, K2K3=k13t2t3, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1=k8t1, R1=k7t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1=k1t1, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1=k2t1, GP1GQ1=k0t1t1*
172 P6_4: GM1=k16t1, GM2=k16t4, GM3GM5=k16t3t5, GM4GM6=k16t2t6, DT1DU1=k11t1t1*, DT2DU2=k11t4t4*, DT3DU3=k11t3t3*, DT4DU4=k11t6t6*, DT5DU5=k11t5t5*, DT6DU6=k11t2t2*, LD1=k6t1, SM1=k5t1, A1A5=k17t1t5, A2A6=k17t2t4, A3=k17t3, A4=k17t6, H1H3=k15t1t2, H2=k15t3, K1=k13t1, K2K3=k13t2t3, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1=k8t1, R1=k7t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1=k1t1, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1=k2t1, GP1GQ1=k0t1t1*
173 P6_3: GM1=k16t1, GM2=k16t4, GM3GM5=k16t3t5, GM4GM6=k16t2t6, DT1DU1=k11t1t1*, DT2DU2=k11t4t4*, DT3DU3=k11t3t3*, DT4DU4=k11t6t6*, DT5DU5=k11t5t5*, DT6DU6=k11t2t2*, LD1=k6t1, SM1=k5t1, A1A2=k17t1t4, A3A6=k17t2t3, A4A5=k17t5t6, H1H1=k15t1t1, H2H3=k15t2t3, K1=k13t1, K2K3=k13t2t3, L1L2=k14t1t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1Q1=k8t1t1, R1R1=k7t1t1, U1UA1=k9t1t1*, U2UA2=k9t2t2*, B1=k1t1, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1E1=k2t1t1, GP1GQ1=k0t1t1*
174 P-6: GM1=k16t1, GM2=k16t2, GM3GM5=k16t3t5, GM4GM6=k16t4t6, DT1=k11t1, DT2DT3=k11t2t3, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, SM1SN1=k5t1t1*, SM2SN2=k5t2t2*, A1=k17t1, A2=k17t2, A3A5=k17t3t5, A4A6=k17t4t6, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t5t5*, H4HA4=k15t6t6*, H5HA5=k15t3t3*, H6HA6=k15t4t4*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t5t5*, K4KA4=k13t6t6*, K5KA5=k13t3t3*, K6KA6=k13t4t4*, L1=k14t1, L2=k14t2, M1=k12t1, M2=k12t2, P1PA1=k10t1t1*, P2PA2=k10t3t3*, P3PA3=k10t2t2*, Q1QA1=k8t1t1*, Q2QA2=k8t2t2*, R1RA1=k7t1t1*, R2RA2=k7t2t2*, U1=k9t1, B1BC1=k1t1t1*, B2BC2=k1t2t2*, C1CA1=k4t1t1*, D1DA1=k3t1t1*, E1EC1=k2t1t1*, E2EC2=k2t2t2*, GP1GQ1=k0t1t1*
175 P6/m: GM1+=k16t1, GM2+=k16t7, GM3+GM5+=k16t5t9, GM4+GM6+=k16t3t11, GM1-=k16t2, GM2-=k16t8, GM3-GM5-=k16t6t10, GM4-GM6-=k16t4t12, DT1=k11t1, DT2=k11t4, DT3DT5=k11t3t5, DT4DT6=k11t2t6, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1+=k17t1, A2+=k17t7, A3+A5+=k17t5t9, A4+A6+=k17t3t11, A1-=k17t2, A2-=k17t8, A3-A5-=k17t6t10, A4-A6-=k17t4t12, H1=k15t1, H2=k15t2, H3H5=k15t3t5, H4H6=k15t4t6, K1=k13t1, K2=k13t2, K3K5=k13t3t5, K4K6=k13t4t6, L1+=k14t1, L2+=k14t3, L1-=k14t2, L2-=k14t4, M1+=k12t1, M2+=k12t3, M1-=k12t2, M2-=k12t4, P1=k10t1, P2P3=k10t2t3, Q1=k8t1, Q2=k8t2, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1=k1t1, B2=k1t2, C1=k4t1, D1=k3t1, E1=k2t1, E2=k2t2, GP1=k0t1
176 P6_3/m: GM1+=k16t1, GM2+=k16t7, GM3+GM5+=k16t5t9, GM4+GM6+=k16t3t11, GM1-=k16t2, GM2-=k16t8, GM3-GM5-=k16t6t10, GM4-GM6-=k16t4t12, DT1=k11t1, DT2=k11t4, DT3DT5=k11t3t5, DT4DT6=k11t2t6, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t1, A2A3=k17t2t3, H1H2=k15t1t2, H3H6=k15t4t5, H4H5=k15t3t6, K1=k13t1, K2=k13t2, K3K5=k13t3t5, K4K6=k13t4t6, L1=k14t1, M1+=k12t1, M2+=k12t3, M1-=k12t2, M2-=k12t4, P1=k10t1, P2P3=k10t2t3, Q1Q2=k8t1t2, R1R2=k7t1t2, U1=k9t1, U2=k9t2, B1=k1t1, B2=k1t2, C1=k4t1, D1=k3t1, E1E2=k2t1t2, GP1=k0t1
177 P622: GM1=k16t1, GM2=k16t2, GM3=k16t3, GM4=k16t4, GM5=k16t6, GM6=k16t5, DT1=k11t1, DT2=k11t4, DT3=k11t3, DT4=k11t6, DT5=k11t5, DT6=k11t2, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t1, A2=k17t2, A3=k17t3, A4=k17t4, A5=k17t6, A6=k17t5, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, L2=k14t2, L3=k14t3, L4=k14t4, M1=k12t1, M2=k12t2, M3=k12t3, M4=k12t4, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t1, Q2=k8t2, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, E1=k2t1, GP1GQ1=k0t1t1*
178 P6_122: GM1=k16t1, GM2=k16t2, GM3=k16t3, GM4=k16t4, GM5=k16t6, GM6=k16t5, DT1=k11t1, DT2=k11t4, DT3=k11t3, DT4=k11t6, DT5=k11t5, DT6=k11t2, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t1, A2=k17t3, A3=k17t2, H1H2=k15t1t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, M1=k12t1, M2=k12t2, M3=k12t3, M4=k12t4, P1=k10t1, P2=k10t3, P3=k10t2, Q1Q2=k8t1t2, R1R2=k7t1t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, E1E1=k2t1t1, GP1GQ1=k0t1t1*
179 P6_522: GM1=k16t1, GM2=k16t2, GM3=k16t3, GM4=k16t4, GM5=k16t6, GM6=k16t5, DT1=k11t1, DT2=k11t4, DT3=k11t3, DT4=k11t6, DT5=k11t5, DT6=k11t2, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t2, A2=k17t1, A3=k17t3, H1H2=k15t1t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, M1=k12t1, M2=k12t2, M3=k12t3, M4=k12t4, P1=k10t1, P2=k10t3, P3=k10t2, Q1Q2=k8t1t2, R1R2=k7t1t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, E1E1=k2t1t1, GP1GQ1=k0t1t1*
180 P6_222: GM1=k16t1, GM2=k16t2, GM3=k16t3, GM4=k16t4, GM5=k16t6, GM6=k16t5, DT1=k11t1, DT2=k11t4, DT3=k11t3, DT4=k11t6, DT5=k11t5, DT6=k11t2, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t3, A2=k17t4, A3=k17t1, A4=k17t2, A5=k17t5, A6=k17t6, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t2, L2=k14t1, L3=k14t4, L4=k14t3, M1=k12t1, M2=k12t2, M3=k12t3, M4=k12t4, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t2, Q2=k8t1, R1=k7t2, R2=k7t1, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, E1=k2t1, GP1GQ1=k0t1t1*
181 P6_422: GM1=k16t1, GM2=k16t2, GM3=k16t3, GM4=k16t4, GM5=k16t6, GM6=k16t5, DT1=k11t1, DT2=k11t4, DT3=k11t3, DT4=k11t6, DT5=k11t5, DT6=k11t2, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t1, A2=k17t2, A3=k17t3, A4=k17t4, A5=k17t6, A6=k17t5, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, L2=k14t2, L3=k14t3, L4=k14t4, M1=k12t1, M2=k12t2, M3=k12t3, M4=k12t4, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t2, Q2=k8t1, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, E1=k2t1, GP1GQ1=k0t1t1*
182 P6_322: GM1=k16t1, GM2=k16t2, GM3=k16t3, GM4=k16t4, GM5=k16t6, GM6=k16t5, DT1=k11t1, DT2=k11t4, DT3=k11t3, DT4=k11t6, DT5=k11t5, DT6=k11t2, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t1, A2=k17t2, A3=k17t3, H1H2=k15t1t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, M1=k12t1, M2=k12t2, M3=k12t3, M4=k12t4, P1=k10t1, P2=k10t3, P3=k10t2, Q1Q2=k8t1t2, R1R2=k7t1t2, U1=k9t1, U2=k9t2, B1=k1t1, C1=k4t1, D1=k3t1, E1E1=k2t1t1, GP1GQ1=k0t1t1*
183 P6mm: GM1=k16t1, GM2=k16t2, GM3=k16t4, GM4=k16t3, GM5=k16t6, GM6=k16t5, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t4t4*, DT4DU4=k11t3t3*, DT5DU5=k11t6t6*, DT6DU6=k11t5t5*, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1=k17t1, A2=k17t2, A3=k17t4, A4=k17t3, A5=k17t6, A6=k17t5, H1=k15t1, H2=k15t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1=k14t1, L2=k14t2, L3=k14t4, L4=k14t3, M1=k12t1, M2=k12t2, M3=k12t4, M4=k12t3, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, Q1=k8t1, Q2=k8t2, R1=k7t1, R2=k7t2, U1UA1=k9t1t1*, U2UA2=k9t2t2*, U3UA3=k9t4t4*, U4UA4=k9t3t3*, B1=k1t1, C1CA1=k4t1t1*, C2CA2=k4t2t2*, D1DA1=k3t1t1*, D2DA2=k3t2t2*, E1=k2t1, GP1GQ1=k0t1t1*
184 P6cc: GM1=k16t1, GM2=k16t2, GM3=k16t4, GM4=k16t3, GM5=k16t6, GM6=k16t5, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t4t4*, DT4DU4=k11t3t3*, DT5DU5=k11t6t6*, DT6DU6=k11t5t5*, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1A2=k17t1t2, A3A4=k17t3t4, A5A5=k17t6t6, A6A6=k17t5t5, H1H2=k15t1t2, H3H3=k15t3t3, K1=k13t1, K2=k13t2, K3=k13t3, L1L2=k14t1t2, L3L4=k14t3t4, M1=k12t1, M2=k12t2, M3=k12t4, M4=k12t3, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, Q1Q2=k8t1t2, R1R2=k7t1t2, U1UA1=k9t1t1*, U2UA2=k9t2t2*, U3UA3=k9t4t4*, U4UA4=k9t3t3*, B1=k1t1, C1CA1=k4t1t1*, C2CA2=k4t2t2*, D1DA1=k3t1t1*, D2DA2=k3t2t2*, E1=k2t1, GP1GQ1=k0t1t1*
185 P6_3cm: GM1=k16t1, GM2=k16t2, GM3=k16t4, GM4=k16t3, GM5=k16t6, GM6=k16t5, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t4t4*, DT4DU4=k11t3t3*, DT5DU5=k11t6t6*, DT6DU6=k11t5t5*, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1A3=k17t1t4, A2A4=k17t2t3, A5A6=k17t5t6, H1H1=k15t1t1, H2H2=k15t2t2, H3H3=k15t3t3, K1=k13t1, K2=k13t2, K3=k13t3, L1L3=k14t1t4, L2L4=k14t2t3, M1=k12t1, M2=k12t2, M3=k12t4, M4=k12t3, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, Q1Q1=k8t1t1, Q2Q2=k8t2t2, R1R2=k7t1t2, U1UA1=k9t1t1*, U2UA2=k9t2t2*, U3UA3=k9t4t4*, U4UA4=k9t3t3*, B1=k1t1, C1CA1=k4t1t1*, C2CA2=k4t2t2*, D1DA1=k3t1t1*, D2DA2=k3t2t2*, E1E1=k2t1t1, GP1GQ1=k0t1t1*
186 P6_3mc: GM1=k16t1, GM2=k16t2, GM3=k16t4, GM4=k16t3, GM5=k16t6, GM6=k16t5, DT1DU1=k11t1t1*, DT2DU2=k11t2t2*, DT3DU3=k11t4t4*, DT4DU4=k11t3t3*, DT5DU5=k11t6t6*, DT6DU6=k11t5t5*, LD1=k6t1, LD2=k6t2, SM1=k5t1, SM2=k5t2, A1A4=k17t1t3, A2A3=k17t2t4, A5A6=k17t5t6, H1H2=k15t1t2, H3=k15t3, K1=k13t1, K2=k13t2, K3=k13t3, L1L4=k14t1t3, L2L3=k14t2t4, M1=k12t1, M2=k12t2, M3=k12t4, M4=k12t3, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, Q1Q2=k8t1t2, R1R1=k7t1t1, R2R2=k7t2t2, U1UA1=k9t1t1*, U2UA2=k9t2t2*, U3UA3=k9t4t4*, U4UA4=k9t3t3*, B1=k1t1, C1CA1=k4t1t1*, C2CA2=k4t2t2*, D1DA1=k3t1t1*, D2DA2=k3t2t2*, E1E1=k2t1t1, GP1GQ1=k0t1t1*
187 P-6m2: GM1=k16t1, GM2=k16t3, GM3=k16t4, GM4=k16t2, GM5=k16t5, GM6=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1=k6t1, LD2=k6t2, SM1SN1=k5t1t1*, SM2SN2=k5t3t3*, SM3SN3=k5t4t4*, SM4SN4=k5t2t2*, A1=k17t1, A2=k17t3, A3=k17t4, A4=k17t2, A5=k17t5, A6=k17t6, H1=k15t1, H2=k15t2, H3=k15t5, H4=k15t6, H5=k15t3, H6=k15t4, K1=k13t1, K2=k13t2, K3=k13t5, K4=k13t6, K5=k13t3, K6=k13t4, L1=k14t1, L2=k14t3, L3=k14t4, L4=k14t2, M1=k12t1, M2=k12t3, M3=k12t4, M4=k12t2, P1=k10t1, P2=k10t3, P3=k10t2, Q1=k8t1, Q2=k8t2, R1RA1=k7t1t1*, R2RA2=k7t3t3*, R3RA3=k7t4t4*, R4RA4=k7t2t2*, U1=k9t1, U2=k9t2, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1=k4t1, D1DA1=k3t1t1*, D2DA2=k3t2t2*, E1EA1=k2t1t1*, E2EA2=k2t2t2*, GP1GQ1=k0t1t1*
188 P-6c2: GM1=k16t1, GM2=k16t3, GM3=k16t4, GM4=k16t2, GM5=k16t5, GM6=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1=k6t1, LD2=k6t2, SM1SN1=k5t1t1*, SM2SN2=k5t3t3*, SM3SN3=k5t4t4*, SM4SN4=k5t2t2*, A1=k17t1, A2A3=k17t2t3, H1H2=k15t1t2, H3H4=k15t5t6, H5H6=k15t3t4, K1=k13t1, K2=k13t2, K3=k13t5, K4=k13t6, K5=k13t3, K6=k13t4, L1=k14t1, M1=k12t1, M2=k12t3, M3=k12t4, M4=k12t2, P1=k10t1, P2=k10t3, P3=k10t2, Q1Q2=k8t1t2, R1RA1=k7t1t1*, U1=k9t1, U2=k9t2, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1=k4t1, D1DA1=k3t1t1*, D2DA2=k3t2t2*, E1EA1=k2t2t2*, E2EA2=k2t1t1*, GP1GQ1=k0t1t1*
189 P-62m: GM1=k16t1, GM2=k16t2, GM3=k16t4, GM4=k16t3, GM5=k16t5, GM6=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t4t4*, LD4LE4=k6t3t3*, SM1=k5t1, SM2=k5t2, A1=k17t1, A2=k17t2, A3=k17t4, A4=k17t3, A5=k17t5, A6=k17t6, H1HA1=k15t1t1*, H2HA2=k15t2t2*, H3HA3=k15t4t4*, H4HA4=k15t3t3*, H5HA5=k15t5t5*, H6HA6=k15t6t6*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t4t4*, K4KA4=k13t3t3*, K5KA5=k13t5t5*, K6KA6=k13t6t6*, L1=k14t1, L2=k14t2, L3=k14t4, L4=k14t3, M1=k12t1, M2=k12t2, M3=k12t4, M4=k12t3, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, Q1QA1=k8t1t1*, Q2QA2=k8t2t2*, Q3QA3=k8t4t4*, Q4QA4=k8t3t3*, R1=k7t1, R2=k7t2, U1=k9t1, U2=k9t2, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1CA1=k4t1t1*, C2CA2=k4t2t2*, D1=k3t1, E1EA1=k2t1t1*, E2EA2=k2t2t2*, GP1GQ1=k0t1t1*
190 P-62c: GM1=k16t1, GM2=k16t2, GM3=k16t4, GM4=k16t3, GM5=k16t5, GM6=k16t6, DT1=k11t1, DT2=k11t2, DT3=k11t3, LD1LE1=k6t1t1*, LD2LE2=k6t2t2*, LD3LE3=k6t4t4*, LD4LE4=k6t3t3*, SM1=k5t1, SM2=k5t2, A1A2=k17t2t3, A3=k17t1, H1HA1=k15t3t3*, H2HA2=k15t2t2*, H3HA3=k15t1t1*, K1KA1=k13t1t1*, K2KA2=k13t2t2*, K3KA3=k13t4t4*, K4KA4=k13t3t3*, K5KA5=k13t5t5*, K6KA6=k13t6t6*, L1=k14t1, M1=k12t1, M2=k12t2, M3=k12t4, M4=k12t3, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, Q1QA1=k8t1t1*, R1R2=k7t1t2, U1=k9t1, U2=k9t2, B1BA1=k1t1t1*, B2BA2=k1t2t2*, C1CA1=k4t1t1*, C2CA2=k4t2t2*, D1=k3t1, E1EA1=k2t1t1*, E2EA2=k2t2t2*, GP1GQ1=k0t1t1*
191 P6/mmm: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM4+=k16t7, GM5+=k16t11, GM6+=k16t9, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, GM4-=k16t8, GM5-=k16t12, GM6-=k16t10, DT1=k11t1, DT2=k11t2, DT3=k11t4, DT4=k11t3, DT5=k11t6, DT6=k11t5, LD1=k6t1, LD2=k6t2, LD3=k6t4, LD4=k6t3, SM1=k5t1, SM2=k5t3, SM3=k5t4, SM4=k5t2, A1+=k17t1, A2+=k17t3, A3+=k17t5, A4+=k17t7, A5+=k17t11, A6+=k17t9, A1-=k17t2, A2-=k17t4, A3-=k17t6, A4-=k17t8, A5-=k17t12, A6-=k17t10, H1=k15t1, H2=k15t2, H3=k15t4, H4=k15t3, H5=k15t5, H6=k15t6, K1=k13t1, K2=k13t2, K3=k13t4, K4=k13t3, K5=k13t5, K6=k13t6, L1+=k14t1, L2+=k14t3, L3+=k14t5, L4+=k14t7, L1-=k14t2, L2-=k14t4, L3-=k14t6, L4-=k14t8, M1+=k12t1, M2+=k12t3, M3+=k12t5, M4+=k12t7, M1-=k12t2, M2-=k12t4, M3-=k12t6, M4-=k12t8, P1=k10t1, P2=k10t2, P3=k10t3, Q1=k8t1, Q2=k8t2, Q3=k8t4, Q4=k8t3, R1=k7t1, R2=k7t3, R3=k7t4, R4=k7t2, U1=k9t1, U2=k9t2, U3=k9t4, U4=k9t3, B1=k1t1, B2=k1t2, C1=k4t1, C2=k4t2, D1=k3t1, D2=k3t2, E1=k2t1, E2=k2t2, GP1=k0t1
192 P6/mcc: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM4+=k16t7, GM5+=k16t11, GM6+=k16t9, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, GM4-=k16t8, GM5-=k16t12, GM6-=k16t10, DT1=k11t1, DT2=k11t2, DT3=k11t4, DT4=k11t3, DT5=k11t6, DT6=k11t5, LD1=k6t1, LD2=k6t2, LD3=k6t4, LD4=k6t3, SM1=k5t1, SM2=k5t3, SM3=k5t4, SM4=k5t2, A1A2=k17t5t6, A3A4=k17t3t4, A5=k17t1, A6=k17t2, H1H2=k15t2t3, H3=k15t1, K1=k13t1, K2=k13t2, K3=k13t4, K4=k13t3, K5=k13t5, K6=k13t6, L1=k14t1, L2=k14t2, M1+=k12t1, M2+=k12t3, M3+=k12t5, M4+=k12t7, M1-=k12t2, M2-=k12t4, M3-=k12t6, M4-=k12t8, P1=k10t1, P2=k10t2, P3=k10t3, Q1=k8t1, R1=k7t1, U1=k9t1, U2=k9t2, U3=k9t4, U4=k9t3, B1=k1t1, B2=k1t2, C1=k4t1, C2=k4t2, D1=k3t1, D2=k3t2, E1=k2t2, E2=k2t1, GP1=k0t1
193 P6_3/mcm: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM4+=k16t7, GM5+=k16t11, GM6+=k16t9, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, GM4-=k16t8, GM5-=k16t12, GM6-=k16t10, DT1=k11t1, DT2=k11t2, DT3=k11t4, DT4=k11t3, DT5=k11t6, DT6=k11t5, LD1=k6t1, LD2=k6t2, LD3=k6t4, LD4=k6t3, SM1=k5t1, SM2=k5t3, SM3=k5t4, SM4=k5t2, A1=k17t1, A2=k17t2, A3=k17t3, H1H3=k15t1t4, H2H4=k15t2t3, H5H6=k15t5t6, K1=k13t1, K2=k13t2, K3=k13t4, K4=k13t3, K5=k13t5, K6=k13t6, L1=k14t1, L2=k14t2, M1+=k12t1, M2+=k12t3, M3+=k12t5, M4+=k12t7, M1-=k12t2, M2-=k12t4, M3-=k12t6, M4-=k12t8, P1=k10t1, P2=k10t2, P3=k10t3, Q1Q3=k8t1t4, Q2Q4=k8t2t3, R1=k7t1, U1=k9t1, U2=k9t2, U3=k9t4, U4=k9t3, B1=k1t1, B2=k1t2, C1=k4t1, C2=k4t2, D1=k3t1, D2=k3t2, E1E2=k2t1t2, GP1=k0t1
194 P6_3/mmc: GM1+=k16t1, GM2+=k16t3, GM3+=k16t5, GM4+=k16t7, GM5+=k16t11, GM6+=k16t9, GM1-=k16t2, GM2-=k16t4, GM3-=k16t6, GM4-=k16t8, GM5-=k16t12, GM6-=k16t10, DT1=k11t1, DT2=k11t2, DT3=k11t4, DT4=k11t3, DT5=k11t6, DT6=k11t5, LD1=k6t1, LD2=k6t2, LD3=k6t4, LD4=k6t3, SM1=k5t1, SM2=k5t3, SM3=k5t4, SM4=k5t2, A1=k17t1, A2=k17t2, A3=k17t3, H1=k15t3, H2=k15t2, H3=k15t1, K1=k13t1, K2=k13t2, K3=k13t4, K4=k13t3, K5=k13t5, K6=k13t6, L1=k14t1, L2=k14t2, M1+=k12t1, M2+=k12t3, M3+=k12t5, M4+=k12t7, M1-=k12t2, M2-=k12t4, M3-=k12t6, M4-=k12t8, P1=k10t1, P2=k10t2, P3=k10t3, Q1=k8t1, R1R3=k7t1t4, R2R4=k7t2t3, U1=k9t1, U2=k9t2, U3=k9t4, U4=k9t3, B1=k1t1, B2=k1t2, C1=k4t1, C2=k4t2, D1=k3t1, D2=k3t2, E1E2=k2t1t2, GP1=k0t1
195 P23: GM1=k12t1, GM2GM3=k12t2t3, GM4=k12t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t3t3*, LD3LE3=k9t2t2*, SM1=k4t1, R1=k13t1, R2R3=k13t2t3, R4=k13t4, X1=k10t1, X2=k10t2, X3=k10t3, X4=k10t4, M1=k11t1, M2=k11t4, M3=k11t2, M4=k11t3, S1=k5t1, T1=k7t1, T2=k7t2, Z1=k6t1, Z2=k6t2, C1CA1=k3t1t1*, A1=k1t1, B1=k2t1, GP1GQ1=k0t1t1*
196 F23: GM1=k11t1, GM2GM3=k11t2t3, GM4=k11t4, DT1=k6t1, DT2=k6t2, LD1LE1=k5t1t1*, LD2LE2=k5t3t3*, LD3LE3=k5t2t2*, SM1=k4t1, L1=k9t1, L2L3=k9t2t3, X1=k10t1, X2=k10t2, X3=k10t3, X4=k10t4, W1=k8t1, W2=k8t2, Q1QA1=k3t1t1*, V1=k7t1, V2=k7t2, C1CA1=k2t1t1*, A1=k1t1, GP1GQ1=k0t1t1*
197 I23: GM1=k11t1, GM2GM3=k11t2t3, GM4=k11t4, DT1=k8t1, DT2=k8t2, LD1LE1=k7t1t1*, LD2LE2=k7t2t2*, LD3LE3=k7t3t3*, SM1=k4t1, H1=k12t1, H2H3=k12t2t3, H4=k12t4, N1=k9t1, N2=k9t2, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, P4PA4=k10t4t4*, D1DA1=k6t1t1*, D2DA2=k6t2t2*, G1=k5t1, C1CA1=k2t1t1*, A1=k1t1, GP1GQ1=k0t1t1*
198 P2_13: GM1=k12t1, GM2GM3=k12t2t3, GM4=k12t4, DT1=k8t1, DT2=k8t2, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, SM1=k4t1, R1R3=k13t1t2, R2R2=k13t3t3, X1=k10t1, M1M2=k11t1t4, M3M4=k11t2t3, S1S1=k5t1t1, T1T1=k7t1t1, T2T2=k7t2t2, Z1Z2=k6t1t2, C1CA1=k3t1t1*, A1=k1t1, B1B1=k2t1t1, GP1GQ1=k0t1t1*
199 I2_13: GM1=k11t1, GM2GM3=k11t2t3, GM4=k11t4, DT1=k8t1, DT2=k8t2, LD1LE1=k7t1t1*, LD2LE2=k7t2t2*, LD3LE3=k7t3t3*, SM1=k4t1, H1=k12t1, H2H3=k12t2t3, H4=k12t4, N1=k9t1, N2=k9t2, P1PA1=k10t2t2*, P2PA2=k10t3t3*, P3PA3=k10t1t1*, D1DA1=k6t1t1*, D2DA2=k6t2t2*, G1=k5t1, C1CA1=k2t1t1*, A1=k1t1, GP1GQ1=k0t1t1*
200 Pm-3: GM1+=k12t1, GM2+GM3+=k12t3t5, GM4+=k12t7, GM1-=k12t2, GM2-GM3-=k12t4t6, GM4-=k12t8, DT1=k8t1, DT2=k8t2, DT3=k8t4, DT4=k8t3, LD1=k9t1, LD2LD3=k9t2t3, SM1=k4t1, SM2=k4t2, R1+=k13t1, R2+R3+=k13t3t5, R4+=k13t7, R1-=k13t2, R2-R3-=k13t4t6, R4-=k13t8, X1+=k10t1, X2+=k10t3, X3+=k10t5, X4+=k10t7, X1-=k10t2, X2-=k10t4, X3-=k10t6, X4-=k10t8, M1+=k11t1, M2+=k11t7, M3+=k11t3, M4+=k11t5, M1-=k11t2, M2-=k11t8, M3-=k11t4, M4-=k11t6, S1=k5t1, S2=k5t2, T1=k7t1, T2=k7t2, T3=k7t3, T4=k7t4, Z1=k6t1, Z2=k6t2, Z3=k6t3, Z4=k6t4, C1=k3t1, A1=k1t1, A2=k1t2, B1=k2t1, B2=k2t2, GP1=k0t1
201 Pn-3: GM1+=k12t1, GM2+GM3+=k12t3t5, GM4+=k12t7, GM1-=k12t2, GM2-GM3-=k12t4t6, GM4-=k12t8, DT1=k8t1, DT2=k8t2, DT3=k8t4, DT4=k8t3, LD1=k9t1, LD2LD3=k9t2t3, SM1=k4t1, SM2=k4t2, R1+=k13t2, R2+R3+=k13t4t6, R4+=k13t8, R1-=k13t1, R2-R3-=k13t3t5, R4-=k13t7, X1=k10t1, X2=k10t2, M1=k11t1, M2=k11t2, S1=k5t1, S2=k5t2, T1=k7t2, T2=k7t1, T3=k7t4, T4=k7t3, Z1=k6t1, C1=k3t1, A1=k1t1, A2=k1t2, B1=k2t2, B2=k2t1, GP1=k0t1
202 Fm-3: GM1+=k11t1, GM2+GM3+=k11t3t5, GM4+=k11t7, GM1-=k11t2, GM2-GM3-=k11t4t6, GM4-=k11t8, DT1=k6t1, DT2=k6t2, DT3=k6t4, DT4=k6t3, LD1=k5t1, LD2LD3=k5t2t3, SM1=k4t1, SM2=k4t2, L1+=k9t1, L2+L3+=k9t3t5, L1-=k9t2, L2-L3-=k9t4t6, X1+=k10t1, X2+=k10t3, X3+=k10t5, X4+=k10t7, X1-=k10t2, X2-=k10t4, X3-=k10t6, X4-=k10t8, W1=k8t1, W2=k8t2, W3=k8t3, W4=k8t4, Q1=k3t1, V1=k7t1, V2=k7t2, V3=k7t3, V4=k7t4, C1=k2t1, A1=k1t1, A2=k1t2, GP1=k0t1
203 Fd-3: GM1+=k11t1, GM2+GM3+=k11t3t5, GM4+=k11t7, GM1-=k11t2, GM2-GM3-=k11t4t6, GM4-=k11t8, DT1=k6t1, DT2=k6t2, DT3=k6t4, DT4=k6t3, LD1=k5t1, LD2LD3=k5t2t3, SM1=k4t1, SM2=k4t2, L1+=k9t1, L2+L3+=k9t3t5, L1-=k9t2, L2-L3-=k9t4t6, X1=k10t1, X2=k10t2, W1=k8t1, Q1=k3t1, V1=k7t1, C1=k2t1, A1=k1t1, A2=k1t2, GP1=k0t1
204 Im-3: GM1+=k11t1, GM2+GM3+=k11t3t5, GM4+=k11t7, GM1-=k11t2, GM2-GM3-=k11t4t6, GM4-=k11t8, DT1=k8t1, DT2=k8t2, DT3=k8t4, DT4=k8t3, LD1=k7t1, LD2LD3=k7t2t3, SM1=k4t1, SM2=k4t2, H1+=k12t1, H2+H3+=k12t3t5, H4+=k12t7, H1-=k12t2, H2-H3-=k12t4t6, H4-=k12t8, N1+=k9t1, N2+=k9t3, N1-=k9t2, N2-=k9t4, P1=k10t1, P2P3=k10t2t3, P4=k10t4, D1=k6t1, D2=k6t2, G1=k5t1, G2=k5t2, C1=k2t1, A1=k1t1, A2=k1t2, GP1=k0t1
205 Pa-3: GM1+=k12t1, GM2+GM3+=k12t3t5, GM4+=k12t7, GM1-=k12t2, GM2-GM3-=k12t4t6, GM4-=k12t8, DT1=k8t1, DT2=k8t2, DT3=k8t4, DT4=k8t3, LD1=k9t1, LD2LD3=k9t2t3, SM1=k4t1, SM2=k4t2, R1+R3+=k13t1t3, R2+R2+=k13t5t5, R1-R3-=k13t2t4, R2-R2-=k13t6t6, X1=k10t2, X2=k10t1, M1M2=k11t1t2, S1S2=k5t1t2, T1T1=k7t1t1, Z1Z4=k6t1t4, Z2Z3=k6t2t3, C1=k3t1, A1=k1t1, A2=k1t2, B1B2=k2t1t2, GP1=k0t1
206 Ia-3: GM1+=k11t1, GM2+GM3+=k11t3t5, GM4+=k11t7, GM1-=k11t2, GM2-GM3-=k11t4t6, GM4-=k11t8, DT1=k8t1, DT2=k8t2, DT3=k8t4, DT4=k8t3, LD1=k7t1, LD2LD3=k7t2t3, SM1=k4t1, SM2=k4t2, H1+=k12t1, H2+H3+=k12t3t5, H4+=k12t7, H1-=k12t2, H2-H3-=k12t4t6, H4-=k12t8, N1=k9t1, P1P3=k10t1t2, P2P2=k10t3t3, D1D2=k6t1t2, G1=k5t2, G2=k5t1, C1=k2t1, A1=k1t1, A2=k1t2, GP1=k0t1
207 P432: GM1=k12t1, GM2=k12t2, GM3=k12t3, GM4=k12t5, GM5=k12t4, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t2, R1=k13t1, R2=k13t2, R3=k13t3, R4=k13t5, R5=k13t4, X1=k10t1, X2=k10t3, X3=k10t2, X4=k10t4, X5=k10t5, M1=k11t1, M2=k11t3, M3=k11t2, M4=k11t4, M5=k11t5, S1=k5t1, S2=k5t2, T1=k7t1, T2=k7t3, T3=k7t4, T4=k7t2, Z1=k6t1, Z2=k6t2, C1=k3t1, A1=k1t1, B1=k2t1, GP1GQ1=k0t1t1*
208 P4_232: GM1=k12t1, GM2=k12t2, GM3=k12t3, GM4=k12t5, GM5=k12t4, DT1=k8t1, DT2=k8t3, DT3=k8t2, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t2, R1=k13t2, R2=k13t1, R3=k13t3, R4=k13t4, R5=k13t5, X1=k10t3, X2=k10t1, X3=k10t4, X4=k10t2, X5=k10t5, M1=k11t1, M2=k11t3, M3=k11t2, M4=k11t4, M5=k11t5, S1=k5t1, S2=k5t2, T1=k7t3, T2=k7t1, T3=k7t2, T4=k7t4, Z1=k6t1, Z2=k6t2, C1=k3t1, A1=k1t1, B1=k2t1, GP1GQ1=k0t1t1*
209 F432: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t5, GM5=k11t4, DT1=k6t1, DT2=k6t3, DT3=k6t4, DT4=k6t2, LD1=k5t1, LD2=k5t2, LD3=k5t3, SM1=k4t1, SM2=k4t2, L1=k9t1, L2=k9t2, L3=k9t3, X1=k10t1, X2=k10t3, X3=k10t2, X4=k10t4, X5=k10t5, W1=k8t1, W2=k8t4, W3W4=k8t2t3, Q1QA1=k3t1t1*, Q2QA2=k3t2t2*, V1=k7t1, V2=k7t2, C1=k2t1, A1=k1t1, GP1GQ1=k0t1t1*
210 F4_132: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t5, GM5=k11t4, DT1=k6t1, DT2=k6t3, DT3=k6t2, DT4=k6t4, LD1=k5t1, LD2=k5t2, LD3=k5t3, SM1=k4t1, SM2=k4t2, L1=k9t1, L2=k9t2, L3=k9t3, X1=k10t3, X2=k10t1, X3=k10t4, X4=k10t2, X5=k10t5, W1=k8t1, Q1QA1=k3t1t1*, Q2QA2=k3t2t2*, V1=k7t1, V2=k7t2, C1=k2t1, A1=k1t1, GP1GQ1=k0t1t1*
211 I432: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t5, GM5=k11t4, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, LD1=k7t1, LD2=k7t2, LD3=k7t3, SM1=k4t1, SM2=k4t2, H1=k12t1, H2=k12t2, H3=k12t3, H4=k12t5, H5=k12t4, N1=k9t1, N2=k9t4, N3=k9t3, N4=k9t2, P1=k10t1, P2=k10t2, P3=k10t3, P4=k10t4, D1=k6t1, D2=k6t2, G1=k5t1, G2=k5t2, C1=k2t1, A1=k1t1, GP1GQ1=k0t1t1*
212 P4_332: GM1=k12t1, GM2=k12t2, GM3=k12t3, GM4=k12t5, GM5=k12t4, DT1=k8t1, DT2=k8t3, DT3=k8t2, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t2, R1R2=k13t1t2, R3=k13t3, X1=k10t2, X2=k10t1, M1M4=k11t1t4, M2M3=k11t2t3, M5=k11t5, S1S2=k5t1t2, T1T2=k7t1t3, T3T4=k7t2t4, Z1Z2=k6t1t2, C1=k3t1, A1=k1t1, B1B1=k2t1t1, GP1GQ1=k0t1t1*
213 P4_132: GM1=k12t1, GM2=k12t2, GM3=k12t3, GM4=k12t5, GM5=k12t4, DT1=k8t1, DT2=k8t3, DT3=k8t2, DT4=k8t4, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t2, R1R2=k13t1t2, R3=k13t3, X1=k10t1, X2=k10t2, M1M4=k11t1t4, M2M3=k11t2t3, M5=k11t5, S1S2=k5t1t2, T1T2=k7t1t3, T3T4=k7t2t4, Z1Z2=k6t1t2, C1=k3t1, A1=k1t1, B1B1=k2t1t1, GP1GQ1=k0t1t1*
214 I4_132: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t5, GM5=k11t4, DT1=k8t1, DT2=k8t3, DT3=k8t2, DT4=k8t4, LD1=k7t1, LD2=k7t2, LD3=k7t3, SM1=k4t1, SM2=k4t2, H1=k12t2, H2=k12t1, H3=k12t3, H4=k12t4, H5=k12t5, N1=k9t1, N2=k9t4, N3=k9t3, N4=k9t2, P1=k10t2, P2=k10t3, P3=k10t1, D1=k6t1, D2=k6t2, G1=k5t1, G2=k5t2, C1=k2t1, A1=k1t1, GP1GQ1=k0t1t1*
215 P-43m: GM1=k12t1, GM2=k12t2, GM3=k12t3, GM4=k12t4, GM5=k12t5, DT1=k8t1, DT2=k8t2, DT3DT4=k8t3t4, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, SM1=k4t1, SM2=k4t2, R1=k13t1, R2=k13t2, R3=k13t3, R4=k13t4, R5=k13t5, X1=k10t1, X2=k10t4, X3=k10t3, X4=k10t2, X5=k10t5, M1=k11t1, M2=k11t4, M3=k11t3, M4=k11t2, M5=k11t5, S1=k5t1, S2=k5t2, T1=k7t1, T2=k7t2, T3T4=k7t3t4, Z1=k6t1, Z2=k6t2, C1CA1=k3t1t1*, C2CA2=k3t2t2*, A1=k1t1, B1=k2t1, GP1GQ1=k0t1t1*
216 F-43m: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t4, GM5=k11t5, DT1=k6t1, DT2=k6t2, DT3DT4=k6t3t4, LD1LE1=k5t1t1*, LD2LE2=k5t2t2*, LD3LE3=k5t3t3*, SM1=k4t1, SM2=k4t2, L1=k9t1, L2=k9t2, L3=k9t3, X1=k10t1, X2=k10t4, X3=k10t3, X4=k10t2, X5=k10t5, W1=k8t1, W2=k8t3, W3=k8t2, W4=k8t4, Q1=k3t1, V1=k7t1, V2=k7t2, C1CA1=k2t1t1*, C2CA2=k2t2t2*, A1=k1t1, GP1GQ1=k0t1t1*
217 I-43m: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t4, GM5=k11t5, DT1=k8t1, DT2=k8t2, DT3DT4=k8t3t4, LD1LE1=k7t1t1*, LD2LE2=k7t2t2*, LD3LE3=k7t3t3*, SM1=k4t1, SM2=k4t2, H1=k12t1, H2=k12t2, H3=k12t3, H4=k12t4, H5=k12t5, N1=k9t1, N2=k9t2, N3=k9t3, N4=k9t4, P1PA1=k10t1t1*, P2PA2=k10t2t2*, P3PA3=k10t3t3*, P4PA4=k10t4t4*, P5PA5=k10t5t5*, D1DA1=k6t1t1*, D2DA2=k6t2t2*, D3DA3=k6t3t3*, D4DA4=k6t4t4*, G1=k5t1, G2=k5t2, C1CA1=k2t1t1*, C2CA2=k2t2t2*, A1=k1t1, GP1GQ1=k0t1t1*
218 P-43n: GM1=k12t1, GM2=k12t2, GM3=k12t3, GM4=k12t4, GM5=k12t5, DT1=k8t1, DT2=k8t2, DT3DT4=k8t3t4, LD1LE1=k9t1t1*, LD2LE2=k9t2t2*, LD3LE3=k9t3t3*, SM1=k4t1, SM2=k4t2, R1R2=k13t1t2, R3R3=k13t3t3, R4R5=k13t4t5, X1X2=k10t1t4, X3X4=k10t2t3, X5=k10t5, M1=k11t4, M2=k11t1, M3=k11t2, M4=k11t3, M5=k11t5, S1S2=k5t1t2, T1T2=k7t1t2, T3=k7t4, T4=k7t3, Z1=k6t1, Z2=k6t2, C1CA1=k3t1t1*, C2CA2=k3t2t2*, A1=k1t1, B1=k2t1, GP1GQ1=k0t1t1*
219 F-43c: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t4, GM5=k11t5, DT1=k6t1, DT2=k6t2, DT3DT4=k6t3t4, LD1LE1=k5t2t2*, LD2LE2=k5t1t1*, LD3LE3=k5t3t3*, SM1=k4t1, SM2=k4t2, L1L2=k9t1t2, L3L3=k9t3t3, X1=k10t4, X2=k10t1, X3=k10t2, X4=k10t3, X5=k10t5, W1W2=k8t1t3, W3W4=k8t2t4, Q1Q1=k3t1t1, V1=k7t1, V2=k7t2, C1CA1=k2t1t1*, C2CA2=k2t2t2*, A1=k1t1, GP1GQ1=k0t1t1*
220 I-43d: GM1=k11t1, GM2=k11t2, GM3=k11t3, GM4=k11t4, GM5=k11t5, DT1=k8t1, DT2=k8t2, DT3DT4=k8t3t4, LD1LE1=k7t1t1*, LD2LE2=k7t2t2*, LD3LE3=k7t3t3*, SM1=k4t1, SM2=k4t2, H1H2=k12t1t2, H3H3=k12t3t3, H4H5=k12t4t5, N1=k9t1, P1PA1=k10t2t2*, P2PA2=k10t1t1*, P3PA3=k10t3t3*, D1DA1=k6t1t1*, G1G2=k5t1t2, C1CA1=k2t1t1*, C2CA2=k2t2t2*, A1=k1t1, GP1GQ1=k0t1t1*
221 Pm-3m: GM1+=k12t1, GM2+=k12t3, GM3+=k12t5, GM4+=k12t9, GM5+=k12t7, GM1-=k12t2, GM2-=k12t4, GM3-=k12t6, GM4-=k12t10, GM5-=k12t8, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, DT5=k8t5, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, R1+=k13t1, R2+=k13t3, R3+=k13t5, R4+=k13t9, R5+=k13t7, R1-=k13t2, R2-=k13t4, R3-=k13t6, R4-=k13t10, R5-=k13t8, X1+=k10t1, X2+=k10t5, X3+=k10t3, X4+=k10t7, X5+=k10t9, X1-=k10t2, X2-=k10t6, X3-=k10t4, X4-=k10t8, X5-=k10t10, M1+=k11t1, M2+=k11t5, M3+=k11t3, M4+=k11t7, M5+=k11t9, M1-=k11t2, M2-=k11t6, M3-=k11t4, M4-=k11t8, M5-=k11t10, S1=k5t1, S2=k5t3, S3=k5t4, S4=k5t2, T1=k7t1, T2=k7t3, T3=k7t4, T4=k7t2, T5=k7t5, Z1=k6t1, Z2=k6t2, Z3=k6t3, Z4=k6t4, C1=k3t1, C2=k3t2, A1=k1t1, A2=k1t2, B1=k2t1, B2=k2t2, GP1=k0t1
222 Pn-3n: GM1+=k12t1, GM2+=k12t3, GM3+=k12t5, GM4+=k12t9, GM5+=k12t7, GM1-=k12t2, GM2-=k12t4, GM3-=k12t6, GM4-=k12t10, GM5-=k12t8, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, DT5=k8t5, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, R1=k13t1, R2R3=k13t2t3, R4=k13t4, X1=k10t2, X2=k10t1, X3X4=k10t3t4, M1=k11t1, M2=k11t2, M3=k11t3, M4=k11t4, S1=k5t1, T1=k7t2, T2=k7t4, T3=k7t3, T4=k7t1, T5=k7t5, Z1=k6t1, C1=k3t1, C2=k3t2, A1=k1t1, A2=k1t2, B1=k2t2, B2=k2t1, GP1=k0t1
223 Pm-3n: GM1+=k12t1, GM2+=k12t3, GM3+=k12t5, GM4+=k12t9, GM5+=k12t7, GM1-=k12t2, GM2-=k12t4, GM3-=k12t6, GM4-=k12t10, GM5-=k12t8, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, DT5=k8t5, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, R1=k13t1, R2R3=k13t2t3, R4=k13t4, X1=k10t3, X2=k10t4, X3=k10t1, X4=k10t2, M1+=k11t5, M2+=k11t1, M3+=k11t7, M4+=k11t3, M5+=k11t9, M1-=k11t6, M2-=k11t2, M3-=k11t8, M4-=k11t4, M5-=k11t10, S1=k5t1, T1=k7t3, T2=k7t1, T3=k7t2, T4=k7t4, T5=k7t5, Z1=k6t1, Z2=k6t2, Z3=k6t3, Z4=k6t4, C1=k3t1, C2=k3t2, A1=k1t1, A2=k1t2, B1=k2t1, B2=k2t2, GP1=k0t1
224 Pn-3m: GM1+=k12t1, GM2+=k12t3, GM3+=k12t5, GM4+=k12t9, GM5+=k12t7, GM1-=k12t2, GM2-=k12t4, GM3-=k12t6, GM4-=k12t10, GM5-=k12t8, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, DT5=k8t5, LD1=k9t1, LD2=k9t2, LD3=k9t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, R1+=k13t4, R2+=k13t2, R3+=k13t6, R4+=k13t8, R5+=k13t10, R1-=k13t3, R2-=k13t1, R3-=k13t5, R4-=k13t7, R5-=k13t9, X1=k10t3, X2=k10t4, X3=k10t2, X4=k10t1, M1=k11t4, M2=k11t3, M3=k11t1, M4=k11t2, S1=k5t1, S2=k5t3, S3=k5t4, S4=k5t2, T1=k7t4, T2=k7t2, T3=k7t1, T4=k7t3, T5=k7t5, Z1=k6t1, C1=k3t1, C2=k3t2, A1=k1t1, A2=k1t2, B1=k2t2, B2=k2t1, GP1=k0t1
225 Fm-3m: GM1+=k11t1, GM2+=k11t3, GM3+=k11t5, GM4+=k11t9, GM5+=k11t7, GM1-=k11t2, GM2-=k11t4, GM3-=k11t6, GM4-=k11t10, GM5-=k11t8, DT1=k6t1, DT2=k6t3, DT3=k6t4, DT4=k6t2, DT5=k6t5, LD1=k5t1, LD2=k5t2, LD3=k5t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, L1+=k9t1, L2+=k9t3, L3+=k9t5, L1-=k9t2, L2-=k9t4, L3-=k9t6, X1+=k10t1, X2+=k10t5, X3+=k10t3, X4+=k10t7, X5+=k10t9, X1-=k10t2, X2-=k10t6, X3-=k10t4, X4-=k10t8, X5-=k10t10, W1=k8t1, W2=k8t3, W3=k8t2, W4=k8t4, W5=k8t5, Q1=k3t1, Q2=k3t2, V1=k7t1, V2=k7t2, V3=k7t3, V4=k7t4, C1=k2t1, C2=k2t2, A1=k1t1, A2=k1t2, GP1=k0t1
226 Fm-3c: GM1+=k11t1, GM2+=k11t3, GM3+=k11t5, GM4+=k11t9, GM5+=k11t7, GM1-=k11t2, GM2-=k11t4, GM3-=k11t6, GM4-=k11t10, GM5-=k11t8, DT1=k6t1, DT2=k6t3, DT3=k6t4, DT4=k6t2, DT5=k6t5, LD1=k5t2, LD2=k5t1, LD3=k5t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, L1L2=k9t2t3, L3=k9t1, X1+=k10t8, X2+=k10t4, X3+=k10t6, X4+=k10t2, X5+=k10t10, X1-=k10t7, X2-=k10t3, X3-=k10t5, X4-=k10t1, X5-=k10t9, W1W2=k8t2t4, W3W4=k8t1t3, W5=k8t5, Q1Q2=k3t1t2, V1=k7t3, V2=k7t4, V3=k7t1, V4=k7t2, C1=k2t1, C2=k2t2, A1=k1t1, A2=k1t2, GP1=k0t1
227 Fd-3m: GM1+=k11t1, GM2+=k11t3, GM3+=k11t5, GM4+=k11t9, GM5+=k11t7, GM1-=k11t2, GM2-=k11t4, GM3-=k11t6, GM4-=k11t10, GM5-=k11t8, DT1=k6t1, DT2=k6t3, DT3=k6t4, DT4=k6t2, DT5=k6t5, LD1=k5t1, LD2=k5t2, LD3=k5t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, L1+=k9t1, L2+=k9t3, L3+=k9t5, L1-=k9t2, L2-=k9t4, L3-=k9t6, X1=k10t3, X2=k10t4, X3=k10t1, X4=k10t2, W1=k8t1, W2=k8t2, Q1=k3t1, Q2=k3t2, V1=k7t1, C1=k2t1, C2=k2t2, A1=k1t1, A2=k1t2, GP1=k0t1
228 Fd-3c: GM1+=k11t1, GM2+=k11t3, GM3+=k11t5, GM4+=k11t9, GM5+=k11t7, GM1-=k11t2, GM2-=k11t4, GM3-=k11t6, GM4-=k11t10, GM5-=k11t8, DT1=k6t1, DT2=k6t3, DT3=k6t4, DT4=k6t2, DT5=k6t5, LD1=k5t2, LD2=k5t1, LD3=k5t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, L1L2=k9t2t3, L3=k9t1, X1=k10t4, X2=k10t3, X3=k10t1, X4=k10t2, W1W2=k8t1t2, Q1Q2=k3t1t2, V1=k7t1, C1=k2t1, C2=k2t2, A1=k1t1, A2=k1t2, GP1=k0t1
229 Im-3m: GM1+=k11t1, GM2+=k11t3, GM3+=k11t5, GM4+=k11t9, GM5+=k11t7, GM1-=k11t2, GM2-=k11t4, GM3-=k11t6, GM4-=k11t10, GM5-=k11t8, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, DT5=k8t5, LD1=k7t1, LD2=k7t2, LD3=k7t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, H1+=k12t1, H2+=k12t3, H3+=k12t5, H4+=k12t9, H5+=k12t7, H1-=k12t2, H2-=k12t4, H3-=k12t6, H4-=k12t10, H5-=k12t8, N1+=k9t1, N2+=k9t7, N3+=k9t5, N4+=k9t3, N1-=k9t2, N2-=k9t8, N3-=k9t6, N4-=k9t4, P1=k10t1, P2=k10t2, P3=k10t3, P4=k10t4, P5=k10t5, D1=k6t1, D2=k6t2, D3=k6t3, D4=k6t4, G1=k5t1, G2=k5t3, G3=k5t4, G4=k5t2, C1=k2t1, C2=k2t2, A1=k1t1, A2=k1t2, GP1=k0t1
230 Ia-3d: GM1+=k11t1, GM2+=k11t3, GM3+=k11t5, GM4+=k11t9, GM5+=k11t7, GM1-=k11t2, GM2-=k11t4, GM3-=k11t6, GM4-=k11t10, GM5-=k11t8, DT1=k8t1, DT2=k8t3, DT3=k8t4, DT4=k8t2, DT5=k8t5, LD1=k7t1, LD2=k7t2, LD3=k7t3, SM1=k4t1, SM2=k4t3, SM3=k4t4, SM4=k4t2, H1=k12t1, H2H3=k12t2t3, H4=k12t4, N1=k9t2, N2=k9t1, P1P2=k10t1t2, P3=k10t3, D1=k6t1, G1=k5t1, C1=k2t1, C2=k2t2, A1=k1t1, A2=k1t2, GP1=k0t1