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