MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f79(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 -> f81(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 >= A] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 1. 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,-1 + B,K2,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 [B >= 1 && 0 >= K2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 2. 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 -> f44(A,-1 + B,K2,L2,M2,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 [0 >= L2 && B >= 1 && K2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 3. f81(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 -> f65(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 >= F] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 4. f65(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 -> f75(A,B,C,D,E,K2,-1 + G,L2,M2,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 [G >= 1 && 0 >= L2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 5. f75(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 -> f79(K2,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 >= I] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 6. 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,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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 7. f215(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 -> f218(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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 8. f191(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 -> f191(A,B,C,D,E,F,G,H,I,-1 + J,1,0,K2,0,0,K2,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1 [J >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 9. f191(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,2,0,K2,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [0 >= J && Q = 2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 10. f191(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,0,K2,1,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [1 >= Q && 0 >= J] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 11. f191(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,0,K2,1,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [Q >= 3 && 0 >= J] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 12. f132(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 -> f191(A,B,C,D,E,F,G,H,I,L2,K,L,M,N,O,P,Q,0,S,T,U,0,K2,L2,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1[0 >= U] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 13. 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 -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,0,R,S,T,U,0,W,X,Y,Y,Y,0,D1,D1,Y,0,Y,D1,I1,J1,K1,L1,M1,N1,O1,P1,Q1 [Y >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 14. 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 -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,W,X,Y,Y,A1,B1,C1,D1,E1,F1,G1,H1,D1,J1,K1,L1,M1,N1,O1,P1[0 >= Y] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 15. f132(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 -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,-1 + U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,K2,L2,L1,M1,N1 [U >= 1 && 0 >= K2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 16. f132(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 -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,-1 + U,0,W,X,Y,M2,A1,B1,C1,0,E1,F1,G1,H1,I1,K2,L2,N2,N2,0,0[U >= 1 && K2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 17. 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 -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,L2,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [0 >= P1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,P1,K2,L2,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 18. 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,0,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1 [P1 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,-1 + P1,Q1,R1,K2,L2,M2,K2,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 19. f81(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 -> f65(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 [F >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 20. f79(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 -> f81(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 [A >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 21. f75(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 -> f79(K2,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[I >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 22. f65(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 -> f75(A,B,C,D,E,K2,-1 + G,L2,M2,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 [G >= 1 && L2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 23. f65(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,0,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,L2[0 >= G] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,K2,L2,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 24. f44(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,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 >= E] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,C,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 25. f44(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,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 [E >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,C,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 26. 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 -> f44(A,-1 + B,K2,L2,M2,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 [L2 >= 1 && B >= 1 && K2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 27. 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 -> f65(A,B,C,D,E,F,L2,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1[0 >= B] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,K2,L2,B2,C2,D2,E2,F2,G2,H2,I2,J2) 28. 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 -> f34(A,M2,C,D,E,F,G,H,I,J,0,L,M,N,O,P,0,0,S,0,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1[0 >= L2] (1,1) ,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,0,0,K2,L2,0,M2,H2,I2,J2) 29. 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 -> f34(A,O2,C,D,E,F,G,H,I,J,0,L,M,N,O,P,0,0,S,0,U,0,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1[L2 >= 1] (1,1) ,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,0,0,K2,L2,0,O2,M2,N2,0) Signature: {(f0,62) ;(f100,62) ;(f132,62) ;(f156,62) ;(f191,62) ;(f213,62) ;(f215,62) ;(f218,62) ;(f34,62) ;(f44,62) ;(f65,62) ;(f75,62) ;(f79,62) ;(f81,62)} Flow Graph: [0->{3,19},1->{1,2,26,27},2->{24,25},3->{4,22,23},4->{5,21},5->{0,20},6->{6},7->{},8->{8,9,10,11},9->{6} ,10->{6},11->{6},12->{8,9,10,11},13->{12,15,16},14->{12,15,16},15->{12,15,16},16->{12,15,16},17->{12,15,16} ,18->{17,18},19->{4,22,23},20->{3,19},21->{0,20},22->{5,21},23->{17,18},24->{1,2,26,27},25->{1,2,26,27} ,26->{24,25},27->{4,22,23},28->{1,2,26,27},29->{1,2,26,27}] + Applied Processor: ArgumentFilter [2,3,7,10,11,12,13,14,15,17,18,19,21,22,23,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61] + Details: We remove following argument positions: [2 ,3 ,7 ,10 ,11 ,12 ,13 ,14 ,15 ,17 ,18 ,19 ,21 ,22 ,23 ,25 ,26 ,27 ,28 ,29 ,30 ,31 ,32 ,33 ,34 ,35 ,36 ,37 ,38 ,39 ,40 ,42 ,43 ,44 ,45 ,46 ,47 ,48 ,49 ,50 ,51 ,52 ,53 ,54 ,55 ,56 ,57 ,58 ,59 ,60 ,61]. * Step 2: UnreachableRules MAYBE + Considered Problem: Rules: 0. f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= A] (?,1) 1. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,-1 + B,E,F,G,I,J,Q,U,Y,P1) [B >= 1 && 0 >= K2] (?,1) 2. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [0 >= L2 && B >= 1 && K2 >= 1] (?,1) 3. f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= F] (?,1) 4. f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && 0 >= L2] (?,1) 5. f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [0 >= I] (?,1) 6. f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) True (?,1) 7. f215(A,B,E,F,G,I,J,Q,U,Y,P1) -> f218(A,B,E,F,G,I,J,Q,U,Y,P1) True (?,1) 8. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,-1 + J,Q,U,Y,P1) [J >= 1] (?,1) 9. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,2,U,Y,P1) [0 >= J && Q = 2] (?,1) 10. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [1 >= Q && 0 >= J] (?,1) 11. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [Q >= 3 && 0 >= J] (?,1) 12. f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,L2,Q,U,Y,P1) [0 >= U] (?,1) 13. f156(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,0,U,Y,P1) [Y >= 1] (?,1) 14. f156(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= Y] (?,1) 15. f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && 0 >= K2] (?,1) 16. f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && K2 >= 1] (?,1) 17. f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,L2,Y,P1) [0 >= P1] (?,1) 18. f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,-1 + P1) [P1 >= 1] (?,1) 19. f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [F >= 1] (?,1) 20. f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [A >= 1] (?,1) 21. f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [I >= 1] (?,1) 22. f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && L2 >= 1] (?,1) 23. f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,L2) [0 >= G] (?,1) 24. f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= E] (?,1) 25. f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [E >= 1] (?,1) 26. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [L2 >= 1 && B >= 1 && K2 >= 1] (?,1) 27. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,L2,I,J,Q,U,Y,P1) [0 >= B] (?,1) 28. f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,M2,E,F,G,I,J,0,U,Y,P1) [0 >= L2] (1,1) 29. f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,O2,E,F,G,I,J,0,U,Y,P1) [L2 >= 1] (1,1) Signature: {(f0,62) ;(f100,62) ;(f132,62) ;(f156,62) ;(f191,62) ;(f213,62) ;(f215,62) ;(f218,62) ;(f34,62) ;(f44,62) ;(f65,62) ;(f75,62) ;(f79,62) ;(f81,62)} Flow Graph: [0->{3,19},1->{1,2,26,27},2->{24,25},3->{4,22,23},4->{5,21},5->{0,20},6->{6},7->{},8->{8,9,10,11},9->{6} ,10->{6},11->{6},12->{8,9,10,11},13->{12,15,16},14->{12,15,16},15->{12,15,16},16->{12,15,16},17->{12,15,16} ,18->{17,18},19->{4,22,23},20->{3,19},21->{0,20},22->{5,21},23->{17,18},24->{1,2,26,27},25->{1,2,26,27} ,26->{24,25},27->{4,22,23},28->{1,2,26,27},29->{1,2,26,27}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [7,13,14] * Step 3: FromIts MAYBE + Considered Problem: Rules: 0. f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= A] (?,1) 1. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,-1 + B,E,F,G,I,J,Q,U,Y,P1) [B >= 1 && 0 >= K2] (?,1) 2. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [0 >= L2 && B >= 1 && K2 >= 1] (?,1) 3. f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= F] (?,1) 4. f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && 0 >= L2] (?,1) 5. f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [0 >= I] (?,1) 6. f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) True (?,1) 8. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,-1 + J,Q,U,Y,P1) [J >= 1] (?,1) 9. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,2,U,Y,P1) [0 >= J && Q = 2] (?,1) 10. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [1 >= Q && 0 >= J] (?,1) 11. f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [Q >= 3 && 0 >= J] (?,1) 12. f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,L2,Q,U,Y,P1) [0 >= U] (?,1) 15. f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && 0 >= K2] (?,1) 16. f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && K2 >= 1] (?,1) 17. f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,L2,Y,P1) [0 >= P1] (?,1) 18. f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,-1 + P1) [P1 >= 1] (?,1) 19. f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [F >= 1] (?,1) 20. f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [A >= 1] (?,1) 21. f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [I >= 1] (?,1) 22. f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && L2 >= 1] (?,1) 23. f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,L2) [0 >= G] (?,1) 24. f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= E] (?,1) 25. f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [E >= 1] (?,1) 26. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [L2 >= 1 && B >= 1 && K2 >= 1] (?,1) 27. f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,L2,I,J,Q,U,Y,P1) [0 >= B] (?,1) 28. f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,M2,E,F,G,I,J,0,U,Y,P1) [0 >= L2] (1,1) 29. f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,O2,E,F,G,I,J,0,U,Y,P1) [L2 >= 1] (1,1) Signature: {(f0,62) ;(f100,62) ;(f132,62) ;(f156,62) ;(f191,62) ;(f213,62) ;(f215,62) ;(f218,62) ;(f34,62) ;(f44,62) ;(f65,62) ;(f75,62) ;(f79,62) ;(f81,62)} Flow Graph: [0->{3,19},1->{1,2,26,27},2->{24,25},3->{4,22,23},4->{5,21},5->{0,20},6->{6},8->{8,9,10,11},9->{6},10->{6} ,11->{6},12->{8,9,10,11},15->{12,15,16},16->{12,15,16},17->{12,15,16},18->{17,18},19->{4,22,23},20->{3,19} ,21->{0,20},22->{5,21},23->{17,18},24->{1,2,26,27},25->{1,2,26,27},26->{24,25},27->{4,22,23},28->{1,2,26,27} ,29->{1,2,26,27}] + Applied Processor: FromIts + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= A] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,-1 + B,E,F,G,I,J,Q,U,Y,P1) [B >= 1 && 0 >= K2] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [0 >= L2 && B >= 1 && K2 >= 1] f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= F] f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && 0 >= L2] f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [0 >= I] f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) True f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,-1 + J,Q,U,Y,P1) [J >= 1] f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,2,U,Y,P1) [0 >= J && Q = 2] f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [1 >= Q && 0 >= J] f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [Q >= 3 && 0 >= J] f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,L2,Q,U,Y,P1) [0 >= U] f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && 0 >= K2] f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && K2 >= 1] f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,L2,Y,P1) [0 >= P1] f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,-1 + P1) [P1 >= 1] f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [F >= 1] f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [A >= 1] f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [I >= 1] f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && L2 >= 1] f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,L2) [0 >= G] f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= E] f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [E >= 1] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [L2 >= 1 && B >= 1 && K2 >= 1] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,L2,I,J,Q,U,Y,P1) [0 >= B] f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,M2,E,F,G,I,J,0,U,Y,P1) [0 >= L2] f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,O2,E,F,G,I,J,0,U,Y,P1) [L2 >= 1] Signature: {(f0,62) ;(f100,62) ;(f132,62) ;(f156,62) ;(f191,62) ;(f213,62) ;(f215,62) ;(f218,62) ;(f34,62) ;(f44,62) ;(f65,62) ;(f75,62) ;(f79,62) ;(f81,62)} Rule Graph: [0->{3,19},1->{1,2,26,27},2->{24,25},3->{4,22,23},4->{5,21},5->{0,20},6->{6},8->{8,9,10,11},9->{6},10->{6} ,11->{6},12->{8,9,10,11},15->{12,15,16},16->{12,15,16},17->{12,15,16},18->{17,18},19->{4,22,23},20->{3,19} ,21->{0,20},22->{5,21},23->{17,18},24->{1,2,26,27},25->{1,2,26,27},26->{24,25},27->{4,22,23},28->{1,2,26,27} ,29->{1,2,26,27}] + Applied Processor: AddSinks + Details: () * Step 5: Failure MAYBE + Considered Problem: Rules: f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= A] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,-1 + B,E,F,G,I,J,Q,U,Y,P1) [B >= 1 && 0 >= K2] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [0 >= L2 && B >= 1 && K2 >= 1] f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= F] f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && 0 >= L2] f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [0 >= I] f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) True f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,-1 + J,Q,U,Y,P1) [J >= 1] f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,2,U,Y,P1) [0 >= J && Q = 2] f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [1 >= Q && 0 >= J] f191(A,B,E,F,G,I,J,Q,U,Y,P1) -> f213(A,B,E,F,G,I,J,Q,U,Y,P1) [Q >= 3 && 0 >= J] f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f191(A,B,E,F,G,I,L2,Q,U,Y,P1) [0 >= U] f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && 0 >= K2] f132(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,-1 + U,Y,P1) [U >= 1 && K2 >= 1] f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f132(A,B,E,F,G,I,J,Q,L2,Y,P1) [0 >= P1] f100(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,-1 + P1) [P1 >= 1] f81(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,G,I,J,Q,U,Y,P1) [F >= 1] f79(A,B,E,F,G,I,J,Q,U,Y,P1) -> f81(A,B,E,F,G,I,J,Q,U,Y,P1) [A >= 1] f75(A,B,E,F,G,I,J,Q,U,Y,P1) -> f79(K2,B,E,F,G,I,J,Q,U,Y,P1) [I >= 1] f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f75(A,B,E,K2,-1 + G,M2,J,Q,U,Y,P1) [G >= 1 && L2 >= 1] f65(A,B,E,F,G,I,J,Q,U,Y,P1) -> f100(A,B,E,F,G,I,J,Q,U,Y,L2) [0 >= G] f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [0 >= E] f44(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,B,E,F,G,I,J,Q,U,Y,P1) [E >= 1] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f44(A,-1 + B,M2,F,G,I,J,Q,U,Y,P1) [L2 >= 1 && B >= 1 && K2 >= 1] f34(A,B,E,F,G,I,J,Q,U,Y,P1) -> f65(A,B,E,F,L2,I,J,Q,U,Y,P1) [0 >= B] f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,M2,E,F,G,I,J,0,U,Y,P1) [0 >= L2] f0(A,B,E,F,G,I,J,Q,U,Y,P1) -> f34(A,O2,E,F,G,I,J,0,U,Y,P1) [L2 >= 1] f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> exitus616(A,B,E,F,G,I,J,Q,U,Y,P1) True f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> exitus616(A,B,E,F,G,I,J,Q,U,Y,P1) True f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> exitus616(A,B,E,F,G,I,J,Q,U,Y,P1) True f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> exitus616(A,B,E,F,G,I,J,Q,U,Y,P1) True f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> exitus616(A,B,E,F,G,I,J,Q,U,Y,P1) True f213(A,B,E,F,G,I,J,Q,U,Y,P1) -> exitus616(A,B,E,F,G,I,J,Q,U,Y,P1) True Signature: {(exitus616,11) ;(f0,62) ;(f100,62) ;(f132,62) ;(f156,62) ;(f191,62) ;(f213,62) ;(f215,62) ;(f218,62) ;(f34,62) ;(f44,62) ;(f65,62) ;(f75,62) ;(f79,62) ;(f81,62)} Rule Graph: [0->{3,19},1->{1,2,26,27},2->{24,25},3->{4,22,23},4->{5,21},5->{0,20},6->{6,30,31,32,33,34,35},8->{8,9,10 ,11},9->{6},10->{6},11->{6},12->{8,9,10,11},15->{12,15,16},16->{12,15,16},17->{12,15,16},18->{17,18},19->{4 ,22,23},20->{3,19},21->{0,20},22->{5,21},23->{17,18},24->{1,2,26,27},25->{1,2,26,27},26->{24,25},27->{4,22 ,23},28->{1,2,26,27},29->{1,2,26,27}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,8,9,10,11,12,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35] | +- p:[1,24,2,25,26] c: [1,2,24,25,26] | +- p:[0,5,4,3,20,21,22,19] c: [0,3,4,5,19,20,21,22] | +- p:[18] c: [18] | +- p:[15,16] c: [15,16] | +- p:[8] c: [8] | `- p:[6] c: [] MAYBE