MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f154(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 -> f166(7,7,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[A = 7] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 1. f154(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 -> f156(A,A,U3,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 [6 >= A] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 2. f154(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 -> f156(A,A,U3,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 [A >= 8] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 3. f159(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 -> f159(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,P1True (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 4. f156(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 -> f159(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[D >= 1 && C >= 1 && E >= 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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 5. f187(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 -> f190(A,7,C,D,E,U3,U3,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 [B = 7] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 6. f190(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 -> f200(A,B,C,D,E,F,G,U3,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 [0 >= G] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 7. f200(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 -> f115(A,B,C,D,E,F,G,H,H,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[H = I] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 8. f187(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 -> f115(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[6 >= B] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 9. f187(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 -> f115(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[B >= 8] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 10. f200(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 -> f115(A,B,C,D,E,F,G,H,I,1,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[H >= 1 + I] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 11. f200(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 -> f115(A,B,C,D,E,F,G,H,I,1,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[I >= 1 + H] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 12. f208(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 -> f208(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,P1True (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 13. f161(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 -> f213(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,P1True (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 14. f210(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 -> f213(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,P1True (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 15. f190(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 -> f200(A,B,C,D,E,F,G,V3,I,J,1,G,U3,G,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 [G >= 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,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 16. f177(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 -> f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,P,P,P,U3,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [3 >= B] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 17. f177(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 -> f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,P,P,P,U3,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [B >= 5] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 18. f177(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 -> f190(A,4,C,D,E,W3,W3,H,I,J,K,L,M,N,P,P,P,U3,1,V3,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1 [B = 4] (?,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) ,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 19. f166(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 -> f177(A,U3,C,D,E,F,G,H,I,J,K,L,M,N,O,V3,Q,R,S,T,U,V,1,V3,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1[U >= 1 + V] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 20. f166(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 -> f177(A,U3,C,D,E,F,G,H,I,J,K,L,M,N,O,V3,Q,R,S,T,U,0,1,V3,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1[V >= 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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 21. f156(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 -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,1,U3,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [0 >= 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,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 22. f156(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 -> f154(V3,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,U3,-1,V3,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [C >= 1 && 0 >= E] (?,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 23. f156(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 -> f154(V3,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,U3,-1,V3,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [0 >= D && C >= 1 && E >= 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,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 24. f133(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 -> f154(X3,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,W3,-1,X3,D1,0,U3,U3,U3,U3,V3,K1,L1,M1,N1,O1,P1[0 >= D1] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 25. f133(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 -> f154(X3,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,W3,-1,X3,D1,0,U3,U3,U3,U3,V3,K1,L1,M1,N1,O1,P1[D1 >= 2] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 26. f133(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 -> f177(A,U3,C,D,E,F,G,H,I,J,K,L,M,N,O,X3,Q,R,S,T,U,V,K1,X3,Y,Z,A1,B1,C1,1,0,V3,V3,V3,V3,W3,K1,L1,M1,N1,O1 [D1 = 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,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 27. f115(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 -> f133(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,U3,V3,1,0 [0 >= J && 0 >= L1] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 28. f115(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 -> f133(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,U3,V3,1,0 [L1 >= 1 + Q1 && 0 >= J && L1 >= 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,1 + Q1,Q1,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) ,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 29. f115(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 -> f133(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,U3,W3,1,0 [L1 >= 1 && 0 >= J && Q1 >= L1] (?,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,1 + Q1,Q1,0,V3,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) ,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 30. f115(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 -> f208(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[J >= 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,Q1,R1,S1,T1,0,U3,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 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 31. f100(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 -> f100(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[W1 >= 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,Q1,R1,S1,T1,U1,V1,-1 + W1,0,6,1,5,W,U3,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 32. f100(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 -> f115(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[0 >= W1] (?,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,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,8,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2 ,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) 33. f0(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 -> f100(A,7,C,D,E,F,G,H,I,0,0,L,M,N,O,P,Q,R,S,T,U,0,V3,X,Y,Z,A1,B1,C1,Y3,0,F1,G1,H1,I1,J1,V3,L1,M1,N1,O1,P1[V3 >= 1 && Y3 >= 1 && U3 >= 1] (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,0,R1,S1,T1,U1,V1,Y3,X1,Y1,Z1,A2,B2,C2,9,U3,0,0,0,0,0,256,0,U3,W3,W3,W3,X3,Z3,A4,B4,0,C4,D4,E4,F4,G4,H4,0,0 ,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,I4,J4,7,7,K4,L4,M4,U3,0,N4,1,0,D1,O4,0,S3,T3) 34. f0(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 -> f100(A,K4,C,D,E,F,G,H,I,0,0,L,M,N,O,P,Q,R,S,T,U,0,V3,X,Y,Z,A1,B1,C1,P4,0,F1,G1,H1,I1,J1,V3,L1,M1,N1,O1 [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] (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,P1,0,R1,S1,T1,U1,V1,P4,X1,Y1,Z1,A2,B2,C2,9,U3,0,0,0,0,0,256,0,U3,W3,W3,W3,X3,Z3,A4,B4,0,C4,D4,E4,F4,G4,H4,0 ,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,0,I4,J4,K4,K4,M4,N4,O4,U3,0,Y3,1,0,D1,Q4,0,1,L4) 35. f0(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 -> f100(A,K4,C,D,E,F,G,H,I,0,0,L,M,N,O,P,Q,R,S,T,U,0,V3,X,Y,Z,A1,B1,C1,P4,0,F1,G1,H1,I1,J1,V3,L1,M1,N1,O1 [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] (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,P1,0,R1,S1,T1,U1,V1,P4,X1,Y1,Z1,A2,B2,C2,9,U3,0,0,0,0,0,256,0,U3,W3,W3,W3,X3,Z3,A4,B4,0,C4,D4,E4,F4,G4,H4,0 ,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3) ,0,I4,J4,K4,K4,M4,N4,O4,U3,0,Y3,1,0,D1,Q4,0,1,L4) Signature: {(f0,98) ;(f100,98) ;(f115,98) ;(f133,98) ;(f154,98) ;(f156,98) ;(f159,98) ;(f161,98) ;(f166,98) ;(f177,98) ;(f187,98) ;(f190,98) ;(f200,98) ;(f208,98) ;(f210,98) ;(f213,98)} Flow Graph: [0->{19,20},1->{4,21,22,23},2->{4,21,22,23},3->{3},4->{3},5->{6,15},6->{7,10,11},7->{27,28,29,30},8->{27 ,28,29,30},9->{27,28,29,30},10->{27,28,29,30},11->{27,28,29,30},12->{12},13->{},14->{},15->{7,10,11},16->{5 ,8,9},17->{5,8,9},18->{6,15},19->{16,17,18},20->{16,17,18},21->{19,20},22->{0,1,2},23->{0,1,2},24->{0,1,2} ,25->{0,1,2},26->{16,17,18},27->{24,25,26},28->{24,25,26},29->{24,25,26},30->{12},31->{31,32},32->{27,28,29 ,30},33->{31,32},34->{31,32},35->{31,32}] + Applied Processor: ArgumentFilter [5,10,11,12,13,14,15,16,17,18,19,22,23,24,25,26,27,28,30,31,32,33,34,35,36,38,39,40,41,43,44,45,46,47,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97] + Details: We remove following argument positions: [5 ,10 ,11 ,12 ,13 ,14 ,15 ,16 ,17 ,18 ,19 ,22 ,23 ,24 ,25 ,26 ,27 ,28 ,30 ,31 ,32 ,33 ,34 ,35 ,36 ,38 ,39 ,40 ,41 ,43 ,44 ,45 ,46 ,47 ,49 ,50 ,51 ,52 ,53 ,54 ,55 ,56 ,57 ,58 ,59 ,60 ,61 ,62 ,63 ,64 ,65 ,66 ,67 ,68 ,69 ,70 ,71 ,72 ,73 ,74 ,75 ,76 ,77 ,78 ,79 ,80 ,81 ,82 ,83 ,84 ,85 ,86 ,87 ,88 ,89 ,90 ,91 ,92 ,93 ,94 ,95 ,96 ,97]. * Step 2: UnreachableRules MAYBE + Considered Problem: Rules: 0. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] (?,1) 1. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] (?,1) 2. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] (?,1) 3. f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 4. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D >= 1 && C >= 1 && E >= 1] (?,1) 5. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] (?,1) 6. f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] (?,1) 7. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] (?,1) 8. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] (?,1) 9. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] (?,1) 10. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [H >= 1 + I] (?,1) 11. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [I >= 1 + H] (?,1) 12. f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 13. f161(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f213(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 14. f210(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f213(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 15. f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] (?,1) 16. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [3 >= B] (?,1) 17. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] (?,1) 18. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] (?,1) 19. f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] (?,1) 20. f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] (?,1) 21. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] (?,1) 22. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] (?,1) 23. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] (?,1) 24. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] (?,1) 25. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] (?,1) 26. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] (?,1) 27. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] (?,1) 28. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] (?,1) 29. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] (?,1) 30. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [J >= 1] (?,1) 31. f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] (?,1) 32. f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] (?,1) 33. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,7,C,D,E,G,H,I,0,U,0,Y3,L1,0,Y3) [V3 >= 1 && Y3 >= 1 && U3 >= 1] (1,1) 34. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] (1,1) 35. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] (1,1) Signature: {(f0,98) ;(f100,98) ;(f115,98) ;(f133,98) ;(f154,98) ;(f156,98) ;(f159,98) ;(f161,98) ;(f166,98) ;(f177,98) ;(f187,98) ;(f190,98) ;(f200,98) ;(f208,98) ;(f210,98) ;(f213,98)} Flow Graph: [0->{19,20},1->{4,21,22,23},2->{4,21,22,23},3->{3},4->{3},5->{6,15},6->{7,10,11},7->{27,28,29,30},8->{27 ,28,29,30},9->{27,28,29,30},10->{27,28,29,30},11->{27,28,29,30},12->{12},13->{},14->{},15->{7,10,11},16->{5 ,8,9},17->{5,8,9},18->{6,15},19->{16,17,18},20->{16,17,18},21->{19,20},22->{0,1,2},23->{0,1,2},24->{0,1,2} ,25->{0,1,2},26->{16,17,18},27->{24,25,26},28->{24,25,26},29->{24,25,26},30->{12},31->{31,32},32->{27,28,29 ,30},33->{31,32},34->{31,32},35->{31,32}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [13,14] * Step 3: UnsatPaths MAYBE + Considered Problem: Rules: 0. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] (?,1) 1. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] (?,1) 2. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] (?,1) 3. f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 4. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D >= 1 && C >= 1 && E >= 1] (?,1) 5. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] (?,1) 6. f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] (?,1) 7. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] (?,1) 8. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] (?,1) 9. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] (?,1) 10. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [H >= 1 + I] (?,1) 11. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [I >= 1 + H] (?,1) 12. f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 15. f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] (?,1) 16. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [3 >= B] (?,1) 17. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] (?,1) 18. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] (?,1) 19. f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] (?,1) 20. f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] (?,1) 21. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] (?,1) 22. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] (?,1) 23. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] (?,1) 24. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] (?,1) 25. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] (?,1) 26. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] (?,1) 27. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] (?,1) 28. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] (?,1) 29. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] (?,1) 30. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [J >= 1] (?,1) 31. f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] (?,1) 32. f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] (?,1) 33. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,7,C,D,E,G,H,I,0,U,0,Y3,L1,0,Y3) [V3 >= 1 && Y3 >= 1 && U3 >= 1] (1,1) 34. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] (1,1) 35. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] (1,1) Signature: {(f0,98) ;(f100,98) ;(f115,98) ;(f133,98) ;(f154,98) ;(f156,98) ;(f159,98) ;(f161,98) ;(f166,98) ;(f177,98) ;(f187,98) ;(f190,98) ;(f200,98) ;(f208,98) ;(f210,98) ;(f213,98)} Flow Graph: [0->{19,20},1->{4,21,22,23},2->{4,21,22,23},3->{3},4->{3},5->{6,15},6->{7,10,11},7->{27,28,29,30},8->{27 ,28,29,30},9->{27,28,29,30},10->{27,28,29,30},11->{27,28,29,30},12->{12},15->{7,10,11},16->{5,8,9},17->{5,8 ,9},18->{6,15},19->{16,17,18},20->{16,17,18},21->{19,20},22->{0,1,2},23->{0,1,2},24->{0,1,2},25->{0,1,2} ,26->{16,17,18},27->{24,25,26},28->{24,25,26},29->{24,25,26},30->{12},31->{31,32},32->{27,28,29,30},33->{31 ,32},34->{31,32},35->{31,32}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(10,27) ,(10,28) ,(10,29) ,(11,27) ,(11,28) ,(11,29) ,(16,5) ,(16,9) ,(33,32) ,(34,32) ,(35,32)] * Step 4: FromIts MAYBE + Considered Problem: Rules: 0. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] (?,1) 1. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] (?,1) 2. f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] (?,1) 3. f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 4. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D >= 1 && C >= 1 && E >= 1] (?,1) 5. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] (?,1) 6. f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] (?,1) 7. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] (?,1) 8. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] (?,1) 9. f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] (?,1) 10. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [H >= 1 + I] (?,1) 11. f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [I >= 1 + H] (?,1) 12. f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True (?,1) 15. f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] (?,1) 16. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [3 >= B] (?,1) 17. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] (?,1) 18. f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] (?,1) 19. f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] (?,1) 20. f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] (?,1) 21. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] (?,1) 22. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] (?,1) 23. f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] (?,1) 24. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] (?,1) 25. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] (?,1) 26. f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] (?,1) 27. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] (?,1) 28. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] (?,1) 29. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] (?,1) 30. f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [J >= 1] (?,1) 31. f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] (?,1) 32. f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] (?,1) 33. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,7,C,D,E,G,H,I,0,U,0,Y3,L1,0,Y3) [V3 >= 1 && Y3 >= 1 && U3 >= 1] (1,1) 34. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] (1,1) 35. f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] (1,1) Signature: {(f0,98) ;(f100,98) ;(f115,98) ;(f133,98) ;(f154,98) ;(f156,98) ;(f159,98) ;(f161,98) ;(f166,98) ;(f177,98) ;(f187,98) ;(f190,98) ;(f200,98) ;(f208,98) ;(f210,98) ;(f213,98)} Flow Graph: [0->{19,20},1->{4,21,22,23},2->{4,21,22,23},3->{3},4->{3},5->{6,15},6->{7,10,11},7->{27,28,29,30},8->{27 ,28,29,30},9->{27,28,29,30},10->{30},11->{30},12->{12},15->{7,10,11},16->{8},17->{5,8,9},18->{6,15},19->{16 ,17,18},20->{16,17,18},21->{19,20},22->{0,1,2},23->{0,1,2},24->{0,1,2},25->{0,1,2},26->{16,17,18},27->{24,25 ,26},28->{24,25,26},29->{24,25,26},30->{12},31->{31,32},32->{27,28,29,30},33->{31},34->{31},35->{31}] + Applied Processor: FromIts + Details: () * Step 5: Unfold MAYBE + Considered Problem: Rules: f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D >= 1 && C >= 1 && E >= 1] f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [H >= 1 + I] f200(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [I >= 1 + H] f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f190(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [3 >= B] f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [J >= 1] f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] f100(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,7,C,D,E,G,H,I,0,U,0,Y3,L1,0,Y3) [V3 >= 1 && Y3 >= 1 && U3 >= 1] f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] f0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] Signature: {(f0,98) ;(f100,98) ;(f115,98) ;(f133,98) ;(f154,98) ;(f156,98) ;(f159,98) ;(f161,98) ;(f166,98) ;(f177,98) ;(f187,98) ;(f190,98) ;(f200,98) ;(f208,98) ;(f210,98) ;(f213,98)} Rule Graph: [0->{19,20},1->{4,21,22,23},2->{4,21,22,23},3->{3},4->{3},5->{6,15},6->{7,10,11},7->{27,28,29,30},8->{27 ,28,29,30},9->{27,28,29,30},10->{30},11->{30},12->{12},15->{7,10,11},16->{8},17->{5,8,9},18->{6,15},19->{16 ,17,18},20->{16,17,18},21->{19,20},22->{0,1,2},23->{0,1,2},24->{0,1,2},25->{0,1,2},26->{16,17,18},27->{24,25 ,26},28->{24,25,26},29->{24,25,26},30->{12},31->{31,32},32->{27,28,29,30},33->{31},34->{31},35->{31}] + Applied Processor: Unfold + Details: () * Step 6: AddSinks MAYBE + Considered Problem: Rules: f154.0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.19(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] f154.0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.20(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.4(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.21(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.22(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.23(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.4(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.21(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.22(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.23(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f156.4(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D >= 1 && C >= 1 && E >= 1] f187.5(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.6(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] f187.5(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.15(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] f190.6(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.7(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f190.6(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.10(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f190.6(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.11(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f200.10(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [H >= 1 + I] f200.11(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [I >= 1 + H] f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f190.15(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.7(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f190.15(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.10(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f190.15(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.11(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f177.16(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [3 >= B] f177.17(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.5(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177.17(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177.17(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177.18(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.6(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] f177.18(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.15(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.16(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.17(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.18(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.16(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.17(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.18(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f156.21(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] f156.21(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] f156.22(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156.22(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156.22(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156.23(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f156.23(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f156.23(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.16(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.17(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.18(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [J >= 1] f100.31(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] f100.31(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f0.33(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,7,C,D,E,G,H,I,0,U,0,Y3,L1,0,Y3) [V3 >= 1 && Y3 >= 1 && U3 >= 1] f0.34(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] f0.35(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] Signature: {(f0.33,15) ;(f0.34,15) ;(f0.35,15) ;(f100.31,15) ;(f100.32,15) ;(f115.27,15) ;(f115.28,15) ;(f115.29,15) ;(f115.30,15) ;(f133.24,15) ;(f133.25,15) ;(f133.26,15) ;(f154.0,15) ;(f154.1,15) ;(f154.2,15) ;(f156.21,15) ;(f156.22,15) ;(f156.23,15) ;(f156.4,15) ;(f159.3,15) ;(f166.19,15) ;(f166.20,15) ;(f177.16,15) ;(f177.17,15) ;(f177.18,15) ;(f187.5,15) ;(f187.8,15) ;(f187.9,15) ;(f190.15,15) ;(f190.6,15) ;(f200.10,15) ;(f200.11,15) ;(f200.7,15) ;(f208.12,15)} Rule Graph: [0->{41,42,43},1->{44,45,46},2->{11},3->{47,48},4->{49,50,51},5->{52,53,54},6->{11},7->{47,48},8->{49,50 ,51},9->{52,53,54},10->{10},11->{10},12->{14,15,16},13->{32,33,34},14->{17,18,19,20},15->{29},16->{30} ,17->{64,65,66},18->{67,68,69},19->{70,71,72},20->{73},21->{64,65,66},22->{67,68,69},23->{70,71,72},24->{73} ,25->{64,65,66},26->{67,68,69},27->{70,71,72},28->{73},29->{73},30->{73},31->{31},32->{17,18,19,20},33->{29} ,34->{30},35->{21,22,23,24},36->{12,13},37->{21,22,23,24},38->{25,26,27,28},39->{14,15,16},40->{32,33,34} ,41->{35},42->{36,37,38},43->{39,40},44->{35},45->{36,37,38},46->{39,40},47->{41,42,43},48->{44,45,46} ,49->{0,1},50->{2,3,4,5},51->{6,7,8,9},52->{0,1},53->{2,3,4,5},54->{6,7,8,9},55->{0,1},56->{2,3,4,5},57->{6 ,7,8,9},58->{0,1},59->{2,3,4,5},60->{6,7,8,9},61->{35},62->{36,37,38},63->{39,40},64->{55,56,57},65->{58,59 ,60},66->{61,62,63},67->{55,56,57},68->{58,59,60},69->{61,62,63},70->{55,56,57},71->{58,59,60},72->{61,62 ,63},73->{31},74->{74,75},75->{76,77,78,79},76->{64,65,66},77->{67,68,69},78->{70,71,72},79->{73},80->{74 ,75},81->{74,75},82->{74,75}] + Applied Processor: AddSinks + Details: () * Step 7: Failure MAYBE + Considered Problem: Rules: f154.0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.19(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] f154.0(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.20(7,7,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A = 7] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.4(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.21(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.22(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.1(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.23(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= A] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.4(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.21(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.22(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f154.2(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f156.23(A,A,U3,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [A >= 8] f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f156.4(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D >= 1 && C >= 1 && E >= 1] f187.5(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.6(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] f187.5(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.15(A,7,C,D,E,U3,H,I,J,U,V,D1,L1,Q1,W1) [B = 7] f190.6(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.7(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f190.6(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.10(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f190.6(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.11(A,B,C,D,E,G,U3,I,J,U,V,D1,L1,Q1,W1) [0 >= G] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f200.7(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,H,J,U,V,D1,L1,Q1,W1) [H = I] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [6 >= B] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 8] f200.10(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [H >= 1 + I] f200.11(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,1,U,V,D1,L1,Q1,W1) [I >= 1 + H] f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f190.15(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.7(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f190.15(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.10(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f190.15(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f200.11(A,B,C,D,E,G,V3,I,J,U,V,D1,L1,Q1,W1) [G >= 1] f177.16(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [3 >= B] f177.17(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.5(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177.17(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.8(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177.17(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f187.9(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [B >= 5] f177.18(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.6(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] f177.18(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f190.15(A,4,C,D,E,W3,H,I,J,U,V,D1,L1,Q1,W1) [B = 4] f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.16(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.17(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.18(A,U3,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [U >= 1 + V] f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.16(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.17(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.18(A,U3,C,D,E,G,H,I,J,U,0,D1,L1,Q1,W1) [V >= U] f156.21(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.19(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] f156.21(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f166.20(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= C] f156.22(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156.22(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156.22(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [C >= 1 && 0 >= E] f156.23(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f156.23(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f156.23(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(V3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D && C >= 1 && E >= 1] f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= D1] f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.0(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.1(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f154.2(X3,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [D1 >= 2] f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.16(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.17(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f177.18(A,U3,C,D,E,G,H,I,J,U,V,1,L1,Q1,W1) [D1 = 1] f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= J && 0 >= L1] f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 + Q1 && 0 >= J && L1 >= 1] f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.24(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.25(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f133.26(A,B,C,D,E,G,H,I,J,U,V,D1,L1,1 + Q1,W1) [L1 >= 1 && 0 >= J && Q1 >= L1] f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [J >= 1] f100.31(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] f100.31(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,-1 + W1) [W1 >= 1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.27(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.28(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.29(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f100.32(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f115.30(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) [0 >= W1] f0.33(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,7,C,D,E,G,H,I,0,U,0,Y3,L1,0,Y3) [V3 >= 1 && Y3 >= 1 && U3 >= 1] f0.34(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && 6 >= K4 && P4 >= 1] f0.35(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> f100.31(A,K4,C,D,E,G,H,I,0,U,0,P4,L1,0,P4) [V3 >= 1 && U3 >= 1 && K4 >= 8 && P4 >= 1] f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f208.12(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True f159.3(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) -> exitus616(A,B,C,D,E,G,H,I,J,U,V,D1,L1,Q1,W1) True Signature: {(exitus616,15) ;(f0.33,15) ;(f0.34,15) ;(f0.35,15) ;(f100.31,15) ;(f100.32,15) ;(f115.27,15) ;(f115.28,15) ;(f115.29,15) ;(f115.30,15) ;(f133.24,15) ;(f133.25,15) ;(f133.26,15) ;(f154.0,15) ;(f154.1,15) ;(f154.2,15) ;(f156.21,15) ;(f156.22,15) ;(f156.23,15) ;(f156.4,15) ;(f159.3,15) ;(f166.19,15) ;(f166.20,15) ;(f177.16,15) ;(f177.17,15) ;(f177.18,15) ;(f187.5,15) ;(f187.8,15) ;(f187.9,15) ;(f190.15,15) ;(f190.6,15) ;(f200.10,15) ;(f200.11,15) ;(f200.7,15) ;(f208.12,15)} Rule Graph: [0->{41,42,43},1->{44,45,46},2->{11},3->{47,48},4->{49,50,51},5->{52,53,54},6->{11},7->{47,48},8->{49,50 ,51},9->{52,53,54},10->{10,91,92,100,101,109,110,119,120,128,129,137,138,147,148,156,157,165,166},11->{10} ,12->{14,15,16},13->{32,33,34},14->{17,18,19,20},15->{29},16->{30},17->{64,65,66},18->{67,68,69},19->{70,71 ,72},20->{73},21->{64,65,66},22->{67,68,69},23->{70,71,72},24->{73},25->{64,65,66},26->{67,68,69},27->{70,71 ,72},28->{73},29->{73},30->{73},31->{31,83,84,85,86,87,88,89,90,93,94,95,96,97,98,99,102,103,104,105,106,107 ,108,111,112,113,114,115,116,117,118,121,122,123,124,125,126,127,130,131,132,133,134,135,136,139,140,141,142 ,143,144,145,146,149,150,151,152,153,154,155,158,159,160,161,162,163,164},32->{17,18,19,20},33->{29} ,34->{30},35->{21,22,23,24},36->{12,13},37->{21,22,23,24},38->{25,26,27,28},39->{14,15,16},40->{32,33,34} ,41->{35},42->{36,37,38},43->{39,40},44->{35},45->{36,37,38},46->{39,40},47->{41,42,43},48->{44,45,46} ,49->{0,1},50->{2,3,4,5},51->{6,7,8,9},52->{0,1},53->{2,3,4,5},54->{6,7,8,9},55->{0,1},56->{2,3,4,5},57->{6 ,7,8,9},58->{0,1},59->{2,3,4,5},60->{6,7,8,9},61->{35},62->{36,37,38},63->{39,40},64->{55,56,57},65->{58,59 ,60},66->{61,62,63},67->{55,56,57},68->{58,59,60},69->{61,62,63},70->{55,56,57},71->{58,59,60},72->{61,62 ,63},73->{31},74->{74,75},75->{76,77,78,79},76->{64,65,66},77->{67,68,69},78->{70,71,72},79->{73},80->{74 ,75},81->{74,75},82->{74,75}] + 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,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166] | +- p:[74] c: [74] | +- p:[0,49,4,50,8,51,54,5,53,9,57,64,17,14,12,36,42,47,3,56,67,18,32,13,40,43,46,1,52,55,70,19,23,35,41,44,48,7,60,65,21,37,45,62,66,25,38,69,22,26,72,27,68,71,61,58,63,59,39] c: [18,22,26,67,68,69] | | | `- p:[0,49,4,50,8,51,54,5,53,9,57,64,17,14,12,36,42,47,3,56,70,19,32,13,40,43,46,1,52,55,58,65,21,35,41,44,48,7,60,71,23,37,45,62,66,25,38,72,27,61,63,59,39] c: [] | +- p:[31] c: [] | `- p:[10] c: [] MAYBE