YES * Step 1: UnsatPaths YES + Considered Problem: Rules: 0. 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) -> f36(A,40,0,40,0,1,0,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) [0 >= 1 + A] (1,1) 1. 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) -> f36(A,40,0,40,0,1,0,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) [A >= 1] (1,1) 2. 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) -> f17(1,40,0,40,0,1,0,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [A = 0] (1,1) 3. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f23(A,B,C,D,E,F,G,H,G1,0,H1,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [255 >= H] (?,1) 4. f23(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) -> f23(A,B,C,D,E,F,G,H,I,J,G1,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [7 >= L] (?,1) 5. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [E >= 0] (?,1) 6. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + E && F >= 0] (?,1) 7. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + E && 0 >= 1 + F] (?,1) 8. f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + F && D >= H] (?,1) 9. f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [F >= 0 && D >= H] (?,1) 10. f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + A] (?,1) 11. f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [A >= 1] (?,1) 12. f56(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) -> f66(1,B,C,D,E,F,G,H,I,J,K,L,M,O,O,O,2 + B,0,1,O,0,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [A = 0] (?,1) 13. f66(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,G1,0,H1,0,Z,A1,B1,C1,D1,E1,F1) [255 >= U] (?,1) 14. f72(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,G1,1 + Y,Z,A1,B1,C1,D1,E1,F1) [7 >= Y] (?,1) 15. f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [R >= 0] (?,1) 16. f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + R && S >= 0] (?,1) 17. f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + R && 0 >= 1 + S] (?,1) 18. f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1,F1) [0 >= 1 + S && Q >= U] (?,1) 19. f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1,F1) [S >= 0 && Q >= U] (?,1) 20. f91(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) -> f106(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,T,T,T,D1,E1,F1) [S >= 0 && U >= 1 + Q] (?,1) 21. f91(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) -> f106(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,G1,G1,G1,D1,E1,F1) [0 >= 1 + S && U >= 1 + Q] (?,1) 22. f72(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) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,V,W,X,Y,Z,A1,B1,C1,X,E1,F1) [Y >= 8] (?,1) 23. f66(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) -> f85(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) [U >= 256] (?,1) 24. f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,G,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G,F1) [F >= 0 && H >= 1 + D] (?,1) 25. f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,G1,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G1,F1) [0 >= 1 + F && H >= 1 + D] (?,1) 26. f23(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) -> f17(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,K) [L >= 8] (?,1) 27. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [H >= 256] (?,1) Signature: {(f0,32);(f106,32);(f17,32);(f23,32);(f36,32);(f42,32);(f56,32);(f66,32);(f72,32);(f85,32);(f91,32)} Flow Graph: [0->{5,6,7},1->{5,6,7},2->{3,27},3->{4,26},4->{4,26},5->{8,9,24,25},6->{8,9,24,25},7->{8,9,24,25},8->{8,9 ,24,25},9->{8,9,24,25},10->{15,16,17},11->{15,16,17},12->{13,23},13->{14,22},14->{14,22},15->{18,19,20,21} ,16->{18,19,20,21},17->{18,19,20,21},18->{18,19,20,21},19->{18,19,20,21},20->{},21->{},22->{13,23},23->{15 ,16,17},24->{10,11,12},25->{10,11,12},26->{3,27},27->{5,6,7}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,6) ,(0,7) ,(1,6) ,(1,7) ,(2,27) ,(3,26) ,(6,8) ,(6,25) ,(7,9) ,(7,24) ,(8,9) ,(8,24) ,(9,8) ,(9,25) ,(10,16) ,(10,17) ,(11,16) ,(11,17) ,(12,23) ,(13,22) ,(16,18) ,(16,21) ,(17,19) ,(17,20) ,(18,19) ,(18,20) ,(19,18) ,(19,21)] * Step 2: FromIts YES + Considered Problem: Rules: 0. 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) -> f36(A,40,0,40,0,1,0,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) [0 >= 1 + A] (1,1) 1. 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) -> f36(A,40,0,40,0,1,0,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) [A >= 1] (1,1) 2. 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) -> f17(1,40,0,40,0,1,0,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [A = 0] (1,1) 3. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f23(A,B,C,D,E,F,G,H,G1,0,H1,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [255 >= H] (?,1) 4. f23(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) -> f23(A,B,C,D,E,F,G,H,I,J,G1,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [7 >= L] (?,1) 5. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [E >= 0] (?,1) 6. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + E && F >= 0] (?,1) 7. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + E && 0 >= 1 + F] (?,1) 8. f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + F && D >= H] (?,1) 9. f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [F >= 0 && D >= H] (?,1) 10. f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + A] (?,1) 11. f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [A >= 1] (?,1) 12. f56(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) -> f66(1,B,C,D,E,F,G,H,I,J,K,L,M,O,O,O,2 + B,0,1,O,0,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [A = 0] (?,1) 13. f66(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,G1,0,H1,0,Z,A1,B1,C1,D1,E1,F1) [255 >= U] (?,1) 14. f72(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,G1,1 + Y,Z,A1,B1,C1,D1,E1,F1) [7 >= Y] (?,1) 15. f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [R >= 0] (?,1) 16. f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + R && S >= 0] (?,1) 17. f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [0 >= 1 + R && 0 >= 1 + S] (?,1) 18. f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1,F1) [0 >= 1 + S && Q >= U] (?,1) 19. f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1,F1) [S >= 0 && Q >= U] (?,1) 20. f91(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) -> f106(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,T,T,T,D1,E1,F1) [S >= 0 && U >= 1 + Q] (?,1) 21. f91(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) -> f106(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,G1,G1,G1,D1,E1,F1) [0 >= 1 + S && U >= 1 + Q] (?,1) 22. f72(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) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,V,W,X,Y,Z,A1,B1,C1,X,E1,F1) [Y >= 8] (?,1) 23. f66(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) -> f85(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) [U >= 256] (?,1) 24. f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,G,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G,F1) [F >= 0 && H >= 1 + D] (?,1) 25. f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,G1,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G1,F1) [0 >= 1 + F && H >= 1 + D] (?,1) 26. f23(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) -> f17(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,K) [L >= 8] (?,1) 27. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [H >= 256] (?,1) Signature: {(f0,32);(f106,32);(f17,32);(f23,32);(f36,32);(f42,32);(f56,32);(f66,32);(f72,32);(f85,32);(f91,32)} Flow Graph: [0->{5},1->{5},2->{3},3->{4},4->{4,26},5->{8,9,24,25},6->{9,24},7->{8,25},8->{8,25},9->{9,24},10->{15} ,11->{15},12->{13},13->{14},14->{14,22},15->{18,19,20,21},16->{19,20},17->{18,21},18->{18,21},19->{19,20} ,20->{},21->{},22->{13,23},23->{15,16,17},24->{10,11,12},25->{10,11,12},26->{3,27},27->{5,6,7}] + Applied Processor: FromIts + Details: () * Step 3: Decompose YES + Considered Problem: Rules: 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) -> f36(A,40,0,40,0,1,0,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) [0 >= 1 + A] 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) -> f36(A,40,0,40,0,1,0,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) [A >= 1] 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) -> f17(1,40,0,40,0,1,0,0,I,J,K ,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [A = 0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f23(A,B,C,D,E,F,G,H,G1,0,H1 ,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [255 >= H] f23(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) -> f23(A,B,C,D,E,F,G,H,I,J,G1 ,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [7 >= L] f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [E >= 0] f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G,1,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + E && F >= 0] f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + E && 0 >= 1 + F] f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J ,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + F && D >= H] f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J ,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [F >= 0 && D >= H] f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L ,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + A] f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L ,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [A >= 1] f56(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) -> f66(1,B,C,D,E,F,G,H,I,J,K,L ,M,O,O,O,2 + B,0,1,O,0,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [A = 0] f66(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,U,G1,0,H1,0,Z,A1,B1,C1,D1,E1 ,F1) [255 >= U] f72(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,G1,1 + Y,Z,A1,B1,C1,D1,E1 ,F1) [7 >= Y] f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [R >= 0] f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,1,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + R && S >= 0] f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + R && 0 >= 1 + S] f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + S && Q >= U] f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1 ,F1) [S >= 0 && Q >= U] f91(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) -> f106(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,T,T,T,D1,E1 ,F1) [S >= 0 && U >= 1 + Q] f91(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) -> f106(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,G1,G1,G1,D1,E1 ,F1) [0 >= 1 + S && U >= 1 + Q] f72(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) -> f66(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,1 + U,V,W,X,Y,Z,A1,B1,C1,X,E1 ,F1) [Y >= 8] f66(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) -> f85(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) [U >= 256] f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,G,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G ,F1) [F >= 0 && H >= 1 + D] f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,G1,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G1 ,F1) [0 >= 1 + F && H >= 1 + D] f23(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) -> f17(A,B,C,D,E,F,G,1 + H,I,J ,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,K) [L >= 8] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f36(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [H >= 256] Signature: {(f0,32);(f106,32);(f17,32);(f23,32);(f36,32);(f42,32);(f56,32);(f66,32);(f72,32);(f85,32);(f91,32)} Rule Graph: [0->{5},1->{5},2->{3},3->{4},4->{4,26},5->{8,9,24,25},6->{9,24},7->{8,25},8->{8,25},9->{9,24},10->{15} ,11->{15},12->{13},13->{14},14->{14,22},15->{18,19,20,21},16->{19,20},17->{18,21},18->{18,21},19->{19,20} ,20->{},21->{},22->{13,23},23->{15,16,17},24->{10,11,12},25->{10,11,12},26->{3,27},27->{5,6,7}] + Applied Processor: Decompose NoGreedy + 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] | +- p:[3,26,4] c: [3,26] | | | `- p:[4] c: [4] | +- p:[9] c: [9] | +- p:[8] c: [8] | +- p:[13,22,14] c: [13,22] | | | `- p:[14] c: [14] | +- p:[19] c: [19] | `- p:[18] c: [18] * Step 4: CloseWith YES + Considered Problem: (Rules: 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) -> f36(A,40,0,40,0,1,0,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) [0 >= 1 + A] 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) -> f36(A,40,0,40,0,1,0,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) [A >= 1] 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) -> f17(1,40,0,40,0,1,0,0,I,J,K ,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [A = 0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f23(A,B,C,D,E,F,G,H,G1,0,H1 ,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [255 >= H] f23(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) -> f23(A,B,C,D,E,F,G,H,I,J,G1 ,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [7 >= L] f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [E >= 0] f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G,1,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + E && F >= 0] f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f42(A,B,C,D,E,F,G1,1,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + E && 0 >= 1 + F] f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J ,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + F && D >= H] f42(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) -> f42(A,B,C,D,E,F,G1,1 + H,I,J ,K,L,H1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [F >= 0 && D >= H] f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L ,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + A] f56(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) -> f85(A,B,C,D,E,F,G,H,I,J,K,L ,M,O,O,O,2 + B,0,1,O,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [A >= 1] f56(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) -> f66(1,B,C,D,E,F,G,H,I,J,K,L ,M,O,O,O,2 + B,0,1,O,0,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [A = 0] f66(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,U,G1,0,H1,0,Z,A1,B1,C1,D1,E1 ,F1) [255 >= U] f72(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) -> f72(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,G1,1 + Y,Z,A1,B1,C1,D1,E1 ,F1) [7 >= Y] f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [R >= 0] f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,1,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + R && S >= 0] f85(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + R && 0 >= 1 + S] f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1 ,F1) [0 >= 1 + S && Q >= U] f91(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) -> f91(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,G1,1 + U,V,W,X,Y,H1,A1,B1,C1,D1,E1 ,F1) [S >= 0 && Q >= U] f91(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) -> f106(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,T,T,T,D1,E1 ,F1) [S >= 0 && U >= 1 + Q] f91(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) -> f106(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,G1,G1,G1,D1,E1 ,F1) [0 >= 1 + S && U >= 1 + Q] f72(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) -> f66(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,1 + U,V,W,X,Y,Z,A1,B1,C1,X,E1 ,F1) [Y >= 8] f66(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) -> f85(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) [U >= 256] f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,G,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G ,F1) [F >= 0 && H >= 1 + D] f42(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) -> f56(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,G1,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,G1 ,F1) [0 >= 1 + F && H >= 1 + D] f23(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) -> f17(A,B,C,D,E,F,G,1 + H,I,J ,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,K) [L >= 8] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f36(A,B,C,D,E,F,G,H,I,J,K,L ,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1 ,F1) [H >= 256] Signature: {(f0,32);(f106,32);(f17,32);(f23,32);(f36,32);(f42,32);(f56,32);(f66,32);(f72,32);(f85,32);(f91,32)} Rule Graph: [0->{5},1->{5},2->{3},3->{4},4->{4,26},5->{8,9,24,25},6->{9,24},7->{8,25},8->{8,25},9->{9,24},10->{15} ,11->{15},12->{13},13->{14},14->{14,22},15->{18,19,20,21},16->{19,20},17->{18,21},18->{18,21},19->{19,20} ,20->{},21->{},22->{13,23},23->{15,16,17},24->{10,11,12},25->{10,11,12},26->{3,27},27->{5,6,7}] ,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] | +- p:[3,26,4] c: [3,26] | | | `- p:[4] c: [4] | +- p:[9] c: [9] | +- p:[8] c: [8] | +- p:[13,22,14] c: [13,22] | | | `- p:[14] c: [14] | +- p:[19] c: [19] | `- p:[18] c: [18]) + Applied Processor: CloseWith True + Details: () YES