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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,F2,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 >= F2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,F2,G2,H2,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 >= G2 && B >= 1 && F2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,F2,-1 + G,G2,H2,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 >= G2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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(F2,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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 6. f206(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 -> f206(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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 7. 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 -> f211(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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 8. 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 -> f190(A,B,C,D,E,F,G,H,I,-1 + J,1,1,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 [J >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 9. 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 -> f206(A,B,C,D,E,F,G,H,I,J,K,L,2,0,F2,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 >= J && M = 2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 10. 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 -> f206(A,B,C,D,E,F,G,H,I,J,K,L,M,0,F2,1,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 [1 >= M && 0 >= J] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 11. 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 -> f206(A,B,C,D,E,F,G,H,I,J,K,L,M,0,F2,1,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 [M >= 3 && 0 >= J] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 12. f130(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,B,C,D,E,F,G,H,I,H2,K,L,M,0,O,P,0,F2,F2,G2,H2,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1 [0 >= F2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 13. f155(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 -> f130(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V,V,V,0,A1,A1,V,0,V,A1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1 [V >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 14. f155(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 -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,0,R,S,T,U,V,V,X,Y,Z,A1,B1,C1,D1,E1,A1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1[0 >= V] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 15. f130(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 -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,0,O,P,0,F2,-1 + F2,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G2,H2,I1,J1,K1,L1,M1 [F2 >= 1 && 0 >= G2] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 16. f130(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 -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,0,O,P,0,F2,-1 + F2,T,U,V,I2,X,Y,Z,0,B1,C1,D1,E1,F1,G2,H2,1,0,0,L1,M1,N1 [F2 >= 1 && G2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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 -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,0,O,P,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,F2,N1,O1,P1[0 >= L1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,0,O,P,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,-1 + L1,M1,F2 [L1 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,G2,H2,F2,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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(F2,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) ,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,F2,-1 + G,G2,H2,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 && G2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,0,O,P,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,G2,M1,N1,O1,P1[0 >= G] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,F2,G2,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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) ,Q1,R1,S1,C,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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) ,Q1,R1,S1,C,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,F2,G2,H2,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 [G2 >= 1 && B >= 1 && F2 >= 1] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,G2,H,I,J,K,L,M,0,O,P,0,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 >= B] (?,1) ,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,R1,S1,T1,F2,G2,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) 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,H2,C,D,E,F,G,H,I,J,0,L,0,0,O,0,0,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 >= G2] (1,1) ,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,R1,S1,T1,U1,V1,0,0,F2,G2,0,H2,C2,D2,E2) 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,I2,C,D,E,F,G,H,I,J,0,L,0,0,O,0,0,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[G2 >= 1] (1,1) ,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2) ,Q1,R1,S1,T1,U1,V1,0,0,F2,G2,0,I2,1,H2,0) Signature: {(f0,57) ;(f100,57) ;(f130,57) ;(f155,57) ;(f190,57) ;(f206,57) ;(f208,57) ;(f211,57) ;(f34,57) ;(f44,57) ;(f65,57) ;(f75,57) ;(f79,57) ;(f81,57)} 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,13,14,15,16,17,18,19,20,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56] + Details: We remove following argument positions: [2 ,3 ,7 ,10 ,11 ,13 ,14 ,15 ,16 ,17 ,18 ,19 ,20 ,22 ,23 ,24 ,25 ,26 ,27 ,28 ,29 ,30 ,31 ,32 ,33 ,34 ,35 ,36 ,38 ,39 ,40 ,41 ,42 ,43 ,44 ,45 ,46 ,47 ,48 ,49 ,50 ,51 ,52 ,53 ,54 ,55 ,56]. * Step 2: UnreachableRules MAYBE + Considered Problem: Rules: 0. f79(A,B,E,F,G,I,J,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [0 >= A] (?,1) 1. f34(A,B,E,F,G,I,J,M,V,L1) -> f34(A,-1 + B,E,F,G,I,J,M,V,L1) [B >= 1 && 0 >= F2] (?,1) 2. f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [0 >= G2 && B >= 1 && F2 >= 1] (?,1) 3. f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [0 >= F] (?,1) 4. f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && 0 >= G2] (?,1) 5. f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [0 >= I] (?,1) 6. f206(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) True (?,1) 7. f208(A,B,E,F,G,I,J,M,V,L1) -> f211(A,B,E,F,G,I,J,M,V,L1) True (?,1) 8. f190(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,-1 + J,M,V,L1) [J >= 1] (?,1) 9. f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,2,V,L1) [0 >= J && M = 2] (?,1) 10. f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [1 >= M && 0 >= J] (?,1) 11. f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [M >= 3 && 0 >= J] (?,1) 12. f130(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,H2,M,V,L1) [0 >= F2] (?,1) 13. f155(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,0,V,L1) [V >= 1] (?,1) 14. f155(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [0 >= V] (?,1) 15. f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && 0 >= G2] (?,1) 16. f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && G2 >= 1] (?,1) 17. f100(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [0 >= L1] (?,1) 18. f100(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,-1 + L1) [L1 >= 1] (?,1) 19. f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [F >= 1] (?,1) 20. f79(A,B,E,F,G,I,J,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [A >= 1] (?,1) 21. f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [I >= 1] (?,1) 22. f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && G2 >= 1] (?,1) 23. f65(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,G2) [0 >= G] (?,1) 24. f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [0 >= E] (?,1) 25. f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [E >= 1] (?,1) 26. f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [G2 >= 1 && B >= 1 && F2 >= 1] (?,1) 27. f34(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G2,I,J,M,V,L1) [0 >= B] (?,1) 28. f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,H2,E,F,G,I,J,0,V,L1) [0 >= G2] (1,1) 29. f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,I2,E,F,G,I,J,0,V,L1) [G2 >= 1] (1,1) Signature: {(f0,57) ;(f100,57) ;(f130,57) ;(f155,57) ;(f190,57) ;(f206,57) ;(f208,57) ;(f211,57) ;(f34,57) ;(f44,57) ;(f65,57) ;(f75,57) ;(f79,57) ;(f81,57)} 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,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [0 >= A] (?,1) 1. f34(A,B,E,F,G,I,J,M,V,L1) -> f34(A,-1 + B,E,F,G,I,J,M,V,L1) [B >= 1 && 0 >= F2] (?,1) 2. f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [0 >= G2 && B >= 1 && F2 >= 1] (?,1) 3. f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [0 >= F] (?,1) 4. f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && 0 >= G2] (?,1) 5. f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [0 >= I] (?,1) 6. f206(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) True (?,1) 8. f190(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,-1 + J,M,V,L1) [J >= 1] (?,1) 9. f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,2,V,L1) [0 >= J && M = 2] (?,1) 10. f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [1 >= M && 0 >= J] (?,1) 11. f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [M >= 3 && 0 >= J] (?,1) 12. f130(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,H2,M,V,L1) [0 >= F2] (?,1) 15. f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && 0 >= G2] (?,1) 16. f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && G2 >= 1] (?,1) 17. f100(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [0 >= L1] (?,1) 18. f100(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,-1 + L1) [L1 >= 1] (?,1) 19. f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [F >= 1] (?,1) 20. f79(A,B,E,F,G,I,J,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [A >= 1] (?,1) 21. f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [I >= 1] (?,1) 22. f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && G2 >= 1] (?,1) 23. f65(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,G2) [0 >= G] (?,1) 24. f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [0 >= E] (?,1) 25. f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [E >= 1] (?,1) 26. f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [G2 >= 1 && B >= 1 && F2 >= 1] (?,1) 27. f34(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G2,I,J,M,V,L1) [0 >= B] (?,1) 28. f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,H2,E,F,G,I,J,0,V,L1) [0 >= G2] (1,1) 29. f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,I2,E,F,G,I,J,0,V,L1) [G2 >= 1] (1,1) Signature: {(f0,57) ;(f100,57) ;(f130,57) ;(f155,57) ;(f190,57) ;(f206,57) ;(f208,57) ;(f211,57) ;(f34,57) ;(f44,57) ;(f65,57) ;(f75,57) ;(f79,57) ;(f81,57)} 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,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [0 >= A] f34(A,B,E,F,G,I,J,M,V,L1) -> f34(A,-1 + B,E,F,G,I,J,M,V,L1) [B >= 1 && 0 >= F2] f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [0 >= G2 && B >= 1 && F2 >= 1] f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [0 >= F] f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && 0 >= G2] f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [0 >= I] f206(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) True f190(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,-1 + J,M,V,L1) [J >= 1] f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,2,V,L1) [0 >= J && M = 2] f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [1 >= M && 0 >= J] f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [M >= 3 && 0 >= J] f130(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,H2,M,V,L1) [0 >= F2] f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && 0 >= G2] f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && G2 >= 1] f100(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [0 >= L1] f100(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,-1 + L1) [L1 >= 1] f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [F >= 1] f79(A,B,E,F,G,I,J,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [A >= 1] f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [I >= 1] f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && G2 >= 1] f65(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,G2) [0 >= G] f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [0 >= E] f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [E >= 1] f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [G2 >= 1 && B >= 1 && F2 >= 1] f34(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G2,I,J,M,V,L1) [0 >= B] f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,H2,E,F,G,I,J,0,V,L1) [0 >= G2] f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,I2,E,F,G,I,J,0,V,L1) [G2 >= 1] Signature: {(f0,57) ;(f100,57) ;(f130,57) ;(f155,57) ;(f190,57) ;(f206,57) ;(f208,57) ;(f211,57) ;(f34,57) ;(f44,57) ;(f65,57) ;(f75,57) ;(f79,57) ;(f81,57)} 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,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [0 >= A] f34(A,B,E,F,G,I,J,M,V,L1) -> f34(A,-1 + B,E,F,G,I,J,M,V,L1) [B >= 1 && 0 >= F2] f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [0 >= G2 && B >= 1 && F2 >= 1] f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [0 >= F] f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && 0 >= G2] f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [0 >= I] f206(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) True f190(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,-1 + J,M,V,L1) [J >= 1] f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,2,V,L1) [0 >= J && M = 2] f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [1 >= M && 0 >= J] f190(A,B,E,F,G,I,J,M,V,L1) -> f206(A,B,E,F,G,I,J,M,V,L1) [M >= 3 && 0 >= J] f130(A,B,E,F,G,I,J,M,V,L1) -> f190(A,B,E,F,G,I,H2,M,V,L1) [0 >= F2] f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && 0 >= G2] f130(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [F2 >= 1 && G2 >= 1] f100(A,B,E,F,G,I,J,M,V,L1) -> f130(A,B,E,F,G,I,J,M,V,L1) [0 >= L1] f100(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,-1 + L1) [L1 >= 1] f81(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G,I,J,M,V,L1) [F >= 1] f79(A,B,E,F,G,I,J,M,V,L1) -> f81(A,B,E,F,G,I,J,M,V,L1) [A >= 1] f75(A,B,E,F,G,I,J,M,V,L1) -> f79(F2,B,E,F,G,I,J,M,V,L1) [I >= 1] f65(A,B,E,F,G,I,J,M,V,L1) -> f75(A,B,E,F2,-1 + G,H2,J,M,V,L1) [G >= 1 && G2 >= 1] f65(A,B,E,F,G,I,J,M,V,L1) -> f100(A,B,E,F,G,I,J,M,V,G2) [0 >= G] f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [0 >= E] f44(A,B,E,F,G,I,J,M,V,L1) -> f34(A,B,E,F,G,I,J,M,V,L1) [E >= 1] f34(A,B,E,F,G,I,J,M,V,L1) -> f44(A,-1 + B,H2,F,G,I,J,M,V,L1) [G2 >= 1 && B >= 1 && F2 >= 1] f34(A,B,E,F,G,I,J,M,V,L1) -> f65(A,B,E,F,G2,I,J,M,V,L1) [0 >= B] f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,H2,E,F,G,I,J,0,V,L1) [0 >= G2] f0(A,B,E,F,G,I,J,M,V,L1) -> f34(A,I2,E,F,G,I,J,0,V,L1) [G2 >= 1] f206(A,B,E,F,G,I,J,M,V,L1) -> exitus616(A,B,E,F,G,I,J,M,V,L1) True f206(A,B,E,F,G,I,J,M,V,L1) -> exitus616(A,B,E,F,G,I,J,M,V,L1) True f206(A,B,E,F,G,I,J,M,V,L1) -> exitus616(A,B,E,F,G,I,J,M,V,L1) True f206(A,B,E,F,G,I,J,M,V,L1) -> exitus616(A,B,E,F,G,I,J,M,V,L1) True f206(A,B,E,F,G,I,J,M,V,L1) -> exitus616(A,B,E,F,G,I,J,M,V,L1) True f206(A,B,E,F,G,I,J,M,V,L1) -> exitus616(A,B,E,F,G,I,J,M,V,L1) True Signature: {(exitus616,10) ;(f0,57) ;(f100,57) ;(f130,57) ;(f155,57) ;(f190,57) ;(f206,57) ;(f208,57) ;(f211,57) ;(f34,57) ;(f44,57) ;(f65,57) ;(f75,57) ;(f79,57) ;(f81,57)} 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: [] | +- p:[8] c: [8] | `- p:[6] c: [] MAYBE