MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f17(A,B,C,B,C,C6 + -1*G,G,C6,C6 + -1*G,C6,D6,B6,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1 [B6 >= 1 + A && B >= 1 + C] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5 ,V5,W5,X5,Y5,Z5,A6) ,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 1. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,N,O,F,G,H,I,J,K,L,M,N,O,Q,D6,C6,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [C6 >= 1 + M && N >= 1 + O] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5 ,V5,W5,X5,Y5,Z5,A6) ,T5,U5,V5,W5,X5,Y5,Z5,A6) 2. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,T,U,F,G,H,I,J,K,L,M,N,O,C6,Q,R,S,T,U,D6,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [D6 >= 1 + S && T >= 1 + U] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5 ,V5,W5,X5,Y5,Z5,A6) ,T5,U5,V5,W5,X5,Y5,Z5,A6) 3. f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f0(A,B,C,B6,G6,F,W,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,E6,X,Y,Z,A1,B1,C1,C6,D6,H6,I6,H6,F6,J6,K6,L6,M1,N1,O1 [0 >= W && 0 >= E6 && X >= 1 + Y && Z >= 1 + A1 && D6 >= 1 + B1 && F6 >= 1 + C1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5 ,V5,W5,X5,Y5,Z5,A6) ,T5,U5,V5,W5,X5,Y5,Z5,A6) 4. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f0(A,B,C,B6,G6,F,W,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,E6,X,Y,Z,A1,B1,C1,C6,D6,H6,G1,H6,F6,J1,K1,L6,M1,N1,O1 [0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,P1,Q1,R1,I6,J6,K6,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5 ,V5,W5,X5,Y5,Z5,A6) ,T5,U5,V5,W5,X5,Y5,Z5,A6) 5. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,Y1,Z1,F,V1,H,I,J,K,L,M,N,O,Q,D6,C6,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1 [V1 >= 1 && C6 >= 1 + W1 && 0 >= X1 && Y1 >= 1 + Z1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5 ,V5,W5,X5,Y5,Z5,A6) ,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 6. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,Y1,Z1,F,A2,H,I,J,K,L,M,N,O,Q,D6,C6,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1 [A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5 ,V5,W5,X5,Y5,Z5,A6) ,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 7. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f17(A,B,C,E2,F2,F,C2,H,C6,D6,B6,G6,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1[C2 >= 1 && X1 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5 ,V5,W5,X5,Y5,Z5,A6) ,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 8. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f17(A,B,C,E2,F2,F,G2,H,C6,D6,B6,G6,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1[G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5 ,V5,W5,X5,Y5,Z5,A6) ,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 9. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f35(A,B,C,K2,L2,F,H2,H,I,J,K,L,M,N,O,Q,D6,C6,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1 [H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5 ,V5,W5,X5,Y5,Z5,A6) ,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 10. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f0(A,B,C,B6,G6,F,W,H,I,J,L6,M6,M,N,O,P,Q,R,S,T,U,V,E6,X,Y,Z,A1,B1,C1,C6,D6,H6,G1,H6,F6,J1,K1,P6,M1,N1,O1[0 >= W (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,I6,J6,K6 && 0 >= E6 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,N6,O6,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4 && M2 >= 1 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5 && J2 >= 1 ,V5,W5,X5,Y5,Z5,A6) ,T5,U5,V5,W5,X5,Y5,Z5,A6) && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] 11. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f36(A,B,C,D3,E3,F,C6,H,I,J,K,L,M,N,O,Q,B6,D6,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1 [0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Y2,Z2,A3,B3,C3,D3,E3,C6,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5 ,V5,W5,X5,Y5,Z5,A6) ,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 12. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f0(A,B,C,B6,G6,F,W,H,I,J,L6,N6,M,N,O,P,Q,R,S,T,U,V,E6,X,Y,Z,A1,B1,C1,C6,D6,H6,G1,H6,F6,J1,K1,Q6,M1,N1,O1[0 >= W (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2 && 0 >= P6 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,I6,J6,K6,M6,O6,P6,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4 && 0 >= E6 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5 && C3 >= 1 ,V5,W5,X5,Y5,Z5,A6) ,T5,U5,V5,W5,X5,Y5,Z5,A6) && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] 13. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,W3,X3,F,V3,H,I,J,K,L,M,N,O,C6,Q,R,S,T,U,D6,-1 + W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1[W >= 1 && V3 >= 1 && W3 >= 1 + X3 && D6 >= 1 + Y3] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5 ,V5,W5,X5,Y5,Z5,A6) ,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) 14. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1 -> f34(A,B,C,W3,X3,F,Z3,H,I,J,K,L,M,N,O,E6,Q,R,S,T,U,I6,-1 + W,X,Y,Z,A1,B1,C1,C6,D6,B6,G1,B6,H6,J1,K1,L1,M1[W >= 1 (?,1) ,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2 && Z3 >= 1 ,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G6 && A4 >= 1 + B4 ,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5 && C4 >= 1 + D4 ,W5,X5,Y5,Z5,A6) ,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) && I6 >= 1 + Y3 && H6 >= 1 + E4 && W3 >= 1 + X3 && D6 >= 1 + F4] 15. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1 -> f34(A,B,C,W3,X3,F,Z3,H,I,J,K,L,M,N,O,E6,Q,R,S,T,U,I6,-1 + W,X,Y,Z,A1,B1,C1,C6,D6,B6,G1,B6,G6,J1,K1,L1,M1[W >= 1 (?,1) ,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2 && Z3 >= 1 ,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4 && H4 >= 1 + I4 ,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,H4,I4,J4,K4,L4,M4,H6,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5 && J4 >= 1 + K4 ,W5,X5,Y5,Z5,A6) ,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) && I6 >= 1 + Y3 && G6 >= 1 + L4 && W3 >= 1 + X3 && D6 >= 1 + M4] 16. f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,W3,X3,K1,Z3,E6 + -1*W,E6 + -1*W,E6,K,L,M,N,O,I6,Q,R,S,T,U,F6,-1 + W,X,Y,Z,A1,B1,C1,C6,D6,B6,G1[W >= 1 (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B6,G6,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,K1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2 && Z3 >= 1 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4 && O4 >= 1 + P4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,H6,E6,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5 && F6 >= 1 + Y3 ,V5,W5,X5,Y5,Z5,A6) ,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 17. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,W3,X3,F,Z3,H,I,J,K,L,M,N,O,I6,Q,R,S,T,U,F6,-1 + W,X,Y,Z,A1,B1,C1,C6,D6,B6,G1,B6,G6,J1,K1,L1,M1[W >= 1 (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,N1,O1,P1,Q1,R1,S1,T1,E6,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2 && Z3 >= 1 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4 && O4 >= 1 + P4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,H6,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5 && F6 >= 1 + Y3 ,V5,W5,X5,Y5,Z5,A6) ,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 18. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,W3,X3,W4,Z3,E6 + -1*W,E6 + -1*W,E6,I6,J6,M,N,O,K6,Q,R,S,T,U,L6,-1 + W,X,Y,Z,A1,B1,C1,C6,D6,B6 [W >= 1 (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,G1,B6,G6,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,W4,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2 && Z3 >= 1 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,F6,E6,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3 && M2 >= 1 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,H6,E6,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5 && J2 >= 1 ,V5,W5,X5,Y5,Z5,A6) ,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 19. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f34(A,B,C,W3,X3,F,Z3,H,I,J,I6,F6,M,N,O,K6,Q,R,S,T,U,M6,-1 + W,X,Y,Z,A1,B1,C1,C6,D6,B6,G1,B6,G6,J1,K1,L1 [W >= 1 (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2 && 0 >= N6 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,E6,J6,L6,N6,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4 && Z3 >= 1 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,H6,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5 && C3 >= 1 ,V5,W5,X5,Y5,Z5,A6) ,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6) && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] 20. f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f36(A,B,C,G5,H5,F,C6,H,I,J,K,L,M,N,O,B6,Q,R,S,T,U,G6,-1 + D6,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1 [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] (1,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,D6,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,C6,H6,E6,I6,F6,J6 ,V5,W5,X5,Y5,Z5,A6) ,K6,L6,N6,D6,U5,V5,W5,X5,Y5,Z5,A6) 21. f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 -> f35(A,B,C,X5,Y5,F,U5,H,I,J,K,L,M,N,O,D6,Q,R,S,T,U,B6,-1 + C6,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1 [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] (1,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4 ,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,C6,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,G6,H6,E6,I6,F6 ,V5,W5,X5,Y5,Z5,A6) ,J6,K6,L6,C6,U5,V5,W5,X5,Y5,Z5,A6) Signature: {(f0,157) ;(f1,157) ;(f10,157) ;(f14,157) ;(f16,157) ;(f17,157) ;(f19,157) ;(f2,157) ;(f33,157) ;(f34,157) ;(f35,157) ;(f36,157) ;(f38,157) ;(f50,157)} Flow Graph: [0->{4,17},1->{6,8},2->{6,8},3->{},4->{},5->{6,8},6->{6,8},7->{4,17},8->{4,17},9->{9,10,18},10->{},11->{11 ,12,19},12->{},13->{6,8},14->{6,8},15->{6,8},16->{6,8},17->{6,8},18->{6,8},19->{6,8},20->{11,12,19},21->{9 ,10,18}] + Applied Processor: ArgumentFilter [3,4,5,6,7,8,9,10,11,15,16,17,21,29,30,31,32,33,34,35,36,37,44,45,46,74,75,76,77,78,83,93,94,95,96,97,98,110,117,124,125,126,133,140,141,142,143,144,145,146,147,148,149] + Details: We remove following argument positions: [3 ,4 ,5 ,6 ,7 ,8 ,9 ,10 ,11 ,15 ,16 ,17 ,21 ,29 ,30 ,31 ,32 ,33 ,34 ,35 ,36 ,37 ,44 ,45 ,46 ,74 ,75 ,76 ,77 ,78 ,83 ,93 ,94 ,95 ,96 ,97 ,98 ,110 ,117 ,124 ,125 ,126 ,133 ,140 ,141 ,142 ,143 ,144 ,145 ,146 ,147 ,148 ,149]. * Step 2: UnreachableRules MAYBE + Considered Problem: Rules: 0. f38(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[B6 >= 1 + A && B >= 1 + C] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 1. f19(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[C6 >= 1 + M && N >= 1 + O] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 2. f50(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[D6 >= 1 + S && T >= 1 + U] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 3. f16(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W && 0 >= E6 && X >= 1 + Y && Z >= 1 + A1 && D6 >= 1 + B1 && F6 >= 1 + C1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 4. f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 5. f33(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[V1 >= 1 && C6 >= 1 + W1 && 0 >= X1 && Y1 >= 1 + Z1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 6. f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 7. f33(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[C2 >= 1 && X1 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 8. f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 9. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 10. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 && 0 >= E6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] 11. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 12. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 && 0 >= P6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && 0 >= E6 && C3 >= 1 && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] 13. f10(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 && V3 >= 1 && W3 >= 1 + X3 && D6 >= 1 + Y3] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 14. f1(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && A4 >= 1 + B4 && C4 >= 1 + D4 && I6 >= 1 + Y3 && H6 >= 1 + E4 && W3 >= 1 + X3 && D6 >= 1 + F4] 15. f2(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && H4 >= 1 + I4 && J4 >= 1 + K4 && I6 >= 1 + Y3 && G6 >= 1 + L4 && W3 >= 1 + X3 && D6 >= 1 + M4] 16. f16(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 17. f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 18. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 19. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && 0 >= N6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] 20. f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f36(A,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2[0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] (1,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 21. f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f35(A,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2[E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] (1,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) Signature: {(f0,157) ;(f1,157) ;(f10,157) ;(f14,157) ;(f16,157) ;(f17,157) ;(f19,157) ;(f2,157) ;(f33,157) ;(f34,157) ;(f35,157) ;(f36,157) ;(f38,157) ;(f50,157)} Flow Graph: [0->{4,17},1->{6,8},2->{6,8},3->{},4->{},5->{6,8},6->{6,8},7->{4,17},8->{4,17},9->{9,10,18},10->{},11->{11 ,12,19},12->{},13->{6,8},14->{6,8},15->{6,8},16->{6,8},17->{6,8},18->{6,8},19->{6,8},20->{11,12,19},21->{9 ,10,18}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [0,1,2,3,5,7,13,14,15,16] * Step 3: UnsatPaths MAYBE + Considered Problem: Rules: 4. f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 6. f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 8. f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 9. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 10. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 && 0 >= E6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] 11. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 12. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 && 0 >= P6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && 0 >= E6 && C3 >= 1 && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] 17. f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 18. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 19. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && 0 >= N6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] 20. f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f36(A,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2[0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] (1,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 21. f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f35(A,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2[E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] (1,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) Signature: {(f0,157) ;(f1,157) ;(f10,157) ;(f14,157) ;(f16,157) ;(f17,157) ;(f19,157) ;(f2,157) ;(f33,157) ;(f34,157) ;(f35,157) ;(f36,157) ;(f38,157) ;(f50,157)} Flow Graph: [4->{},6->{6,8},8->{4,17},9->{9,10,18},10->{},11->{11,12,19},12->{},17->{6,8},18->{6,8},19->{6,8},20->{11 ,12,19},21->{9,10,18}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(6,8),(9,10),(9,18),(11,12),(11,19)] * Step 4: FromIts MAYBE + Considered Problem: Rules: 4. f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 6. f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 8. f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 9. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 10. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 && 0 >= E6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] 11. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 12. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f0(A,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2[0 >= W (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 && 0 >= P6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && 0 >= E6 && C3 >= 1 && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] 17. f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 18. f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && Z3 >= 1 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] 19. f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f34(A,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2 [W >= 1 (?,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 && 0 >= N6 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] 20. f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f36(A,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2[0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] (1,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) 21. f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 -> f35(A,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2[E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] (1,1) ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) ,F4,H4,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5,A6) Signature: {(f0,157) ;(f1,157) ;(f10,157) ;(f14,157) ;(f16,157) ;(f17,157) ;(f19,157) ;(f2,157) ;(f33,157) ;(f34,157) ;(f35,157) ;(f36,157) ;(f38,157) ;(f50,157)} Flow Graph: [4->{},6->{6},8->{4,17},9->{9},10->{},11->{11},12->{},17->{6,8},18->{6,8},19->{6,8},20->{11,12,19},21->{9 ,10,18}] + Applied Processor: FromIts + Details: () * Step 5: Unfold MAYBE + Considered Problem: Rules: f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] f34(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f17(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= E6 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= P6 && 0 >= E6 && C3 >= 1 && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] f17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f35(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f36(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && 0 >= N6 && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] Signature: {(f0,157) ;(f1,157) ;(f10,157) ;(f14,157) ;(f16,157) ;(f17,157) ;(f19,157) ;(f2,157) ;(f33,157) ;(f34,157) ;(f35,157) ;(f36,157) ;(f38,157) ;(f50,157)} Rule Graph: [4->{},6->{6},8->{4,17},9->{9},10->{},11->{11},12->{},17->{6,8},18->{6,8},19->{6,8},20->{11,12,19},21->{9 ,10,18}] + Applied Processor: Unfold + Details: () * Step 6: AddSinks MAYBE + Considered Problem: Rules: f17.4(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0.22(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] f34.6(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] f34.8(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f17.4(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] f34.8(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f17.17(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] f35.9(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.9(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] f35.10(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0.22(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= E6 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] f36.11(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.11(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] f36.12(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0.22(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= P6 && 0 >= E6 && C3 >= 1 && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] f17.17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f17.17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.8(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f35.18(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f35.18(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.8(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f36.19(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && 0 >= N6 && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] f36.19(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.8(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && 0 >= N6 && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] f14.20(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.11(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14.20(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.12(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14.20(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.19(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14.21(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.9(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] f14.21(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.10(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] f14.21(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.18(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] Signature: {(f0.22,104) ;(f14.20,104) ;(f14.21,104) ;(f17.17,104) ;(f17.4,104) ;(f34.6,104) ;(f34.8,104) ;(f35.10,104) ;(f35.18,104) ;(f35.9,104) ;(f36.11,104) ;(f36.12,104) ;(f36.19,104)} Rule Graph: [0->{},1->{1},2->{0},3->{8,9},4->{4},5->{},6->{6},7->{},8->{1},9->{2,3},10->{1},11->{2,3},12->{1},13->{2 ,3},14->{6},15->{7},16->{12,13},17->{4},18->{5},19->{10,11}] + Applied Processor: AddSinks + Details: () * Step 7: Failure MAYBE + Considered Problem: Rules: f17.4(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0.22(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= E6 && M1 >= 1 + N1 && O1 >= 1 + P1 && D6 >= 1 + Q1 && F6 >= 1 + R1] f34.6(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [A2 >= 1 && C6 >= 1 + W1 && 0 >= B2 && Y1 >= 1 + Z1] f34.8(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f17.4(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] f34.8(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f17.17(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [G2 >= 1 && B2 >= 1 && G6 >= 1 + D2 && E2 >= 1 + F2] f35.9(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.9(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [H2 >= 1 && C6 >= 1 + I2 && 0 >= J2 && K2 >= 1 + L2] f35.10(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0.22(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= E6 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && P2 >= 1 + Q2 && R2 >= 1 + S2 && M6 >= 1 + T2 && D6 >= 1 + U2 && F6 >= 1 + V2] f36.11(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.11(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= C6 && D6 >= 1 + B3 && 0 >= C3 && D3 >= 1 + E3] f36.12(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f0.22(A ,B,C,M,N,O,S,T,U,E6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2 ,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4 ,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= W && 0 >= P6 && 0 >= E6 && C3 >= 1 && G3 >= 1 + H3 && I3 >= 1 + J3 && K3 >= 1 + L3 && N6 >= 1 + M3 && D6 >= 1 + N3 && F6 >= 1 + O3] f17.17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f17.17(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.8(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && O4 >= 1 + P4 && F6 >= 1 + Y3 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f35.18(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f35.18(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.8(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && Z3 >= 1 && M2 >= 1 && J2 >= 1 && N2 >= 1 + O2 && O4 >= 1 + P4 && L6 >= 1 + Y3 && J6 >= 1 + T2 && G6 >= 1 + Q4 && D6 >= 1 + R4 && S4 >= 1 + T4 && W3 >= 1 + X3] f36.19(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.6(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && 0 >= N6 && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] f36.19(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f34.8(A ,B,C,M,N,O,S,T,U,-1 + W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [W >= 1 && 0 >= N6 && Z3 >= 1 && C3 >= 1 && G3 >= 1 + H3 && X4 >= 1 + Y4 && M6 >= 1 + Y3 && F6 >= 1 + M3 && G6 >= 1 + Z4 && D6 >= 1 + A5 && W3 >= 1 + X3 && B5 >= 1 + C5] f14.20(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.11(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14.20(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.12(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14.20(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f36.19(A ,B,C,M,N,O,S,T,U,-1 + D6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [0 >= I6 && D6 >= 1 && 0 >= C6 && E6 >= 1 + E5 && G6 >= 1 + F5 && G5 >= 1 + H5 && I5 >= 1 + J5] f14.21(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.9(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] f14.21(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.10(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] f14.21(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> f35.18(A ,B,C,M,N,O,S,T,U,-1 + C6,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2 ,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4 ,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) [E6 >= 1 && C6 >= 1 && U5 >= 1 && H6 >= 1 + V5 && B6 >= 1 + W5 && X5 >= 1 + Y5 && Z5 >= 1 + A6] f34.6(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f0.22(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f34.6(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f0.22(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f35.9(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f34.6(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f0.22(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f34.6(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f0.22(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True f36.11(A,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2 ,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4 ,I4,J4,K4,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) -> exitus616(A ,B,C,M,N,O,S,T,U,W,X,Y,Z,A1,B1,C1,M1,N1,O1,P1,Q1,R1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2 ,O2,P2,Q2,R2,S2,T2,U2,V2,B3,C3,D3,E3,G3,H3,I3,J3,K3,L3,M3,N3,O3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,H4,I4,J4,K4 ,L4,M4,O4,P4,Q4,R4,S4,T4,X4,Y4,Z4,A5,B5,C5,E5,F5,G5,H5,I5,J5,U5,V5,W5,X5,Y5,Z5 ,A6) True Signature: {(exitus616,104) ;(f0.22,104) ;(f14.20,104) ;(f14.21,104) ;(f17.17,104) ;(f17.4,104) ;(f34.6,104) ;(f34.8,104) ;(f35.10,104) ;(f35.18,104) ;(f35.9,104) ;(f36.11,104) ;(f36.12,104) ;(f36.19,104)} Rule Graph: [0->{21,26},1->{1,20,22,25,27},2->{0},3->{8,9},4->{4,24},5->{23},6->{6,29},7->{28},8->{1},9->{2,3},10->{1} ,11->{2,3},12->{1},13->{2,3},14->{6},15->{7},16->{12,13},17->{4},18->{5},19->{10,11}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29] | +- p:[6] c: [] | +- p:[4] c: [] | +- p:[3,9] c: [3,9] | `- p:[1] c: [] MAYBE