MAYBE * Step 1: ArgumentFilter MAYBE + 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: ArgumentFilter [1,2,6,8,9,10,12,13,14,15,19,21,22,23,25,26,27,28,29,30,31] + Details: We remove following argument positions: [1,2,6,8,9,10,12,13,14,15,19,21,22,23,25,26,27,28,29,30,31]. * Step 2: UnsatPaths MAYBE + Considered Problem: Rules: 0. f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,40,0,1,H,L,Q,R,S,U,Y) [0 >= 1 + A] (1,1) 1. f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,40,0,1,H,L,Q,R,S,U,Y) [A >= 1] (1,1) 2. f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f17(1,40,0,1,0,L,Q,R,S,U,Y) [A = 0] (1,1) 3. f17(A,D,E,F,H,L,Q,R,S,U,Y) -> f23(A,D,E,F,H,0,Q,R,S,U,Y) [255 >= H] (?,1) 4. f23(A,D,E,F,H,L,Q,R,S,U,Y) -> f23(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] (?,1) 5. f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] (?,1) 6. f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] (?,1) 7. f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] (?,1) 8. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] (?,1) 9. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] (?,1) 10. f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,2 + B,0,1,U,Y) [0 >= 1 + A] (?,1) 11. f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,2 + B,0,1,U,Y) [A >= 1] (?,1) 12. f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f66(1,D,E,F,H,L,2 + B,0,1,0,Y) [A = 0] (?,1) 13. f66(A,D,E,F,H,L,Q,R,S,U,Y) -> f72(A,D,E,F,H,L,Q,R,S,U,0) [255 >= U] (?,1) 14. f72(A,D,E,F,H,L,Q,R,S,U,Y) -> f72(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] (?,1) 15. f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] (?,1) 16. f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] (?,1) 17. f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] (?,1) 18. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] (?,1) 19. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] (?,1) 20. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f106(A,D,E,F,H,L,Q,R,S,U,Y) [S >= 0 && U >= 1 + Q] (?,1) 21. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f106(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + S && U >= 1 + Q] (?,1) 22. f72(A,D,E,F,H,L,Q,R,S,U,Y) -> f66(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] (?,1) 23. f66(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] (?,1) 24. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f56(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] (?,1) 25. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f56(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] (?,1) 26. f23(A,D,E,F,H,L,Q,R,S,U,Y) -> f17(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] (?,1) 27. f17(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,D,E,F,H,L,Q,R,S,U,Y) [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 3: FromIts MAYBE + Considered Problem: Rules: 0. f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,40,0,1,H,L,Q,R,S,U,Y) [0 >= 1 + A] (1,1) 1. f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,40,0,1,H,L,Q,R,S,U,Y) [A >= 1] (1,1) 2. f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f17(1,40,0,1,0,L,Q,R,S,U,Y) [A = 0] (1,1) 3. f17(A,D,E,F,H,L,Q,R,S,U,Y) -> f23(A,D,E,F,H,0,Q,R,S,U,Y) [255 >= H] (?,1) 4. f23(A,D,E,F,H,L,Q,R,S,U,Y) -> f23(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] (?,1) 5. f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] (?,1) 6. f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] (?,1) 7. f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] (?,1) 8. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] (?,1) 9. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] (?,1) 10. f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,2 + B,0,1,U,Y) [0 >= 1 + A] (?,1) 11. f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,2 + B,0,1,U,Y) [A >= 1] (?,1) 12. f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f66(1,D,E,F,H,L,2 + B,0,1,0,Y) [A = 0] (?,1) 13. f66(A,D,E,F,H,L,Q,R,S,U,Y) -> f72(A,D,E,F,H,L,Q,R,S,U,0) [255 >= U] (?,1) 14. f72(A,D,E,F,H,L,Q,R,S,U,Y) -> f72(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] (?,1) 15. f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] (?,1) 16. f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] (?,1) 17. f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] (?,1) 18. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] (?,1) 19. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] (?,1) 20. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f106(A,D,E,F,H,L,Q,R,S,U,Y) [S >= 0 && U >= 1 + Q] (?,1) 21. f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f106(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + S && U >= 1 + Q] (?,1) 22. f72(A,D,E,F,H,L,Q,R,S,U,Y) -> f66(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] (?,1) 23. f66(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] (?,1) 24. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f56(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] (?,1) 25. f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f56(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] (?,1) 26. f23(A,D,E,F,H,L,Q,R,S,U,Y) -> f17(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] (?,1) 27. f17(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,D,E,F,H,L,Q,R,S,U,Y) [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 4: Unfold MAYBE + Considered Problem: Rules: f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,40,0,1,H,L,Q,R,S,U,Y) [0 >= 1 + A] f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,40,0,1,H,L,Q,R,S,U,Y) [A >= 1] f0(A,D,E,F,H,L,Q,R,S,U,Y) -> f17(1,40,0,1,0,L,Q,R,S,U,Y) [A = 0] f17(A,D,E,F,H,L,Q,R,S,U,Y) -> f23(A,D,E,F,H,0,Q,R,S,U,Y) [255 >= H] f23(A,D,E,F,H,L,Q,R,S,U,Y) -> f23(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f42(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,2 + B,0,1,U,Y) [0 >= 1 + A] f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,2 + B,0,1,U,Y) [A >= 1] f56(A,D,E,F,H,L,Q,R,S,U,Y) -> f66(1,D,E,F,H,L,2 + B,0,1,0,Y) [A = 0] f66(A,D,E,F,H,L,Q,R,S,U,Y) -> f72(A,D,E,F,H,L,Q,R,S,U,0) [255 >= U] f72(A,D,E,F,H,L,Q,R,S,U,Y) -> f72(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f91(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f106(A,D,E,F,H,L,Q,R,S,U,Y) [S >= 0 && U >= 1 + Q] f91(A,D,E,F,H,L,Q,R,S,U,Y) -> f106(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + S && U >= 1 + Q] f72(A,D,E,F,H,L,Q,R,S,U,Y) -> f66(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f66(A,D,E,F,H,L,Q,R,S,U,Y) -> f85(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f56(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42(A,D,E,F,H,L,Q,R,S,U,Y) -> f56(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f23(A,D,E,F,H,L,Q,R,S,U,Y) -> f17(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f17(A,D,E,F,H,L,Q,R,S,U,Y) -> f36(A,D,E,F,H,L,Q,R,S,U,Y) [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: Unfold + Details: () * Step 5: AddSinks MAYBE + Considered Problem: Rules: f0.0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,40,0,1,H,L,Q,R,S,U,Y) [0 >= 1 + A] f0.1(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,40,0,1,H,L,Q,R,S,U,Y) [A >= 1] f0.2(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.3(1,40,0,1,0,L,Q,R,S,U,Y) [A = 0] f17.3(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.4(A,D,E,F,H,0,Q,R,S,U,Y) [255 >= H] f23.4(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.4(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f23.4(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.26(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.6(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36.6(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36.7(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f36.7(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f42.8(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42.8(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42.9(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f42.9(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f56.10(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,2 + B,0,1,U,Y) [0 >= 1 + A] f56.11(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,2 + B,0,1,U,Y) [A >= 1] f56.12(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.13(1,D,E,F,H,L,2 + B,0,1,0,Y) [A = 0] f66.13(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.14(A,D,E,F,H,L,Q,R,S,U,0) [255 >= U] f72.14(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.14(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f72.14(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.22(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.16(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85.16(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85.17(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f85.17(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f91.18(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91.18(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91.19(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91.19(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91.20(A,D,E,F,H,L,Q,R,S,U,Y) -> f106.28(A,D,E,F,H,L,Q,R,S,U,Y) [S >= 0 && U >= 1 + Q] f91.21(A,D,E,F,H,L,Q,R,S,U,Y) -> f106.28(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + S && U >= 1 + Q] f72.22(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.13(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f72.22(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.23(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.16(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.17(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.10(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.11(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.12(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.10(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.11(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.12(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f23.26(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.3(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f23.26(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.27(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.6(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.7(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] Signature: {(f0.0,11) ;(f0.1,11) ;(f0.2,11) ;(f106.28,11) ;(f17.27,11) ;(f17.3,11) ;(f23.26,11) ;(f23.4,11) ;(f36.5,11) ;(f36.6,11) ;(f36.7,11) ;(f42.24,11) ;(f42.25,11) ;(f42.8,11) ;(f42.9,11) ;(f56.10,11) ;(f56.11,11) ;(f56.12,11) ;(f66.13,11) ;(f66.23,11) ;(f72.14,11) ;(f72.22,11) ;(f85.15,11) ;(f85.16,11) ;(f85.17,11) ;(f91.18,11) ;(f91.19,11) ;(f91.20,11) ;(f91.21,11)} Rule Graph: [0->{6,7,8,9},1->{6,7,8,9},2->{3},3->{4,5},4->{4,5},5->{49,50},6->{14,15},7->{16,17},8->{43,44,45},9->{46 ,47,48},10->{16,17},11->{43,44,45},12->{14,15},13->{46,47,48},14->{14,15},15->{46,47,48},16->{16,17},17->{43 ,44,45},18->{24,25,26,27},19->{24,25,26,27},20->{21},21->{22,23},22->{22,23},23->{38,39},24->{32,33},25->{34 ,35},26->{36},27->{37},28->{34,35},29->{36},30->{32,33},31->{37},32->{32,33},33->{37},34->{34,35},35->{36} ,36->{},37->{},38->{21},39->{40,41,42},40->{24,25,26,27},41->{28,29},42->{30,31},43->{18},44->{19},45->{20} ,46->{18},47->{19},48->{20},49->{3},50->{51,52,53},51->{6,7,8,9},52->{10,11},53->{12,13}] + Applied Processor: AddSinks + Details: () * Step 6: Decompose MAYBE + Considered Problem: Rules: f0.0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,40,0,1,H,L,Q,R,S,U,Y) [0 >= 1 + A] f0.1(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,40,0,1,H,L,Q,R,S,U,Y) [A >= 1] f0.2(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.3(1,40,0,1,0,L,Q,R,S,U,Y) [A = 0] f17.3(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.4(A,D,E,F,H,0,Q,R,S,U,Y) [255 >= H] f23.4(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.4(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f23.4(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.26(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.6(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36.6(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36.7(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f36.7(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f42.8(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42.8(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42.9(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f42.9(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f56.10(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,2 + B,0,1,U,Y) [0 >= 1 + A] f56.11(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,2 + B,0,1,U,Y) [A >= 1] f56.12(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.13(1,D,E,F,H,L,2 + B,0,1,0,Y) [A = 0] f66.13(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.14(A,D,E,F,H,L,Q,R,S,U,0) [255 >= U] f72.14(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.14(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f72.14(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.22(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.16(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85.16(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85.17(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f85.17(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f91.18(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91.18(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91.19(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91.19(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91.20(A,D,E,F,H,L,Q,R,S,U,Y) -> f106.28(A,D,E,F,H,L,Q,R,S,U,Y) [S >= 0 && U >= 1 + Q] f91.21(A,D,E,F,H,L,Q,R,S,U,Y) -> f106.28(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + S && U >= 1 + Q] f72.22(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.13(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f72.22(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.23(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.16(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.17(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.10(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.11(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.12(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.10(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.11(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.12(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f23.26(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.3(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f23.26(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.27(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.6(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.7(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True Signature: {(exitus616,11) ;(f0.0,11) ;(f0.1,11) ;(f0.2,11) ;(f106.28,11) ;(f17.27,11) ;(f17.3,11) ;(f23.26,11) ;(f23.4,11) ;(f36.5,11) ;(f36.6,11) ;(f36.7,11) ;(f42.24,11) ;(f42.25,11) ;(f42.8,11) ;(f42.9,11) ;(f56.10,11) ;(f56.11,11) ;(f56.12,11) ;(f66.13,11) ;(f66.23,11) ;(f72.14,11) ;(f72.22,11) ;(f85.15,11) ;(f85.16,11) ;(f85.17,11) ;(f91.18,11) ;(f91.19,11) ;(f91.20,11) ;(f91.21,11)} Rule Graph: [0->{6,7,8,9},1->{6,7,8,9},2->{3},3->{4,5},4->{4,5},5->{49,50},6->{14,15},7->{16,17},8->{43,44,45},9->{46 ,47,48},10->{16,17},11->{43,44,45},12->{14,15},13->{46,47,48},14->{14,15},15->{46,47,48},16->{16,17},17->{43 ,44,45},18->{24,25,26,27},19->{24,25,26,27},20->{21},21->{22,23},22->{22,23},23->{38,39},24->{32,33},25->{34 ,35},26->{36},27->{37},28->{34,35},29->{36},30->{32,33},31->{37},32->{32,33},33->{37},34->{34,35},35->{36} ,36->{56,57,59,60,63,64,67,68,72,73,75,76,79,80,83,84,88,89,91,92,95,96,99,100,104,105,107,108,111,112,115 ,116,120,121,123,124,127,128,131,132,136,137,139,140,143,144,147,148,152,153,155,156,159,160,163,164,168,169 ,171,172,175,176,179,180,184,185,187,188,191,192,195,196,200,201,203,204,207,208,211,212,216,217,219,220,223 ,224,227,228,232,233,235,236,239,240,243,244,248,249,251,252,255,256,259,260,264,265,267,268,271,272,275,276 ,280,281,283,284,287,288,291,292,296,297,299,300,303,304,307,308},37->{54,55,58,61,62,65,66,69,70,71,74,77 ,78,81,82,85,86,87,90,93,94,97,98,101,102,103,106,109,110,113,114,117,118,119,122,125,126,129,130,133,134 ,135,138,141,142,145,146,149,150,151,154,157,158,161,162,165,166,167,170,173,174,177,178,181,182,183,186,189 ,190,193,194,197,198,199,202,205,206,209,210,213,214,215,218,221,222,225,226,229,230,231,234,237,238,241,242 ,245,246,247,250,253,254,257,258,261,262,263,266,269,270,273,274,277,278,279,282,285,286,289,290,293,294,295 ,298,301,302,305,306,309},38->{21},39->{40,41,42},40->{24,25,26,27},41->{28,29},42->{30,31},43->{18} ,44->{19},45->{20},46->{18},47->{19},48->{20},49->{3},50->{51,52,53},51->{6,7,8,9},52->{10,11},53->{12,13}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309] | +- p:[3,49,5,4] c: [3,5,49] | | | `- p:[4] c: [4] | +- p:[16] c: [16] | +- p:[14] c: [14] | +- p:[21,38,23,22] c: [21,23,38] | | | `- p:[22] c: [22] | +- p:[34] c: [34] | `- p:[32] c: [32] * Step 7: AbstractSize MAYBE + Considered Problem: (Rules: f0.0(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,40,0,1,H,L,Q,R,S,U,Y) [0 >= 1 + A] f0.1(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,40,0,1,H,L,Q,R,S,U,Y) [A >= 1] f0.2(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.3(1,40,0,1,0,L,Q,R,S,U,Y) [A = 0] f17.3(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.4(A,D,E,F,H,0,Q,R,S,U,Y) [255 >= H] f23.4(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.4(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f23.4(A,D,E,F,H,L,Q,R,S,U,Y) -> f23.26(A,D,E,F,H,1 + L,Q,R,S,U,Y) [7 >= L] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.5(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1,L,Q,R,S,U,Y) [E >= 0] f36.6(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36.6(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && F >= 0] f36.7(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f36.7(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1,L,Q,R,S,U,Y) [0 >= 1 + E && 0 >= 1 + F] f42.8(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.8(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42.8(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.25(A,D,E,F,1 + H,L,Q,R,S,U,Y) [0 >= 1 + F && D >= H] f42.9(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.9(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f42.9(A,D,E,F,H,L,Q,R,S,U,Y) -> f42.24(A,D,E,F,1 + H,L,Q,R,S,U,Y) [F >= 0 && D >= H] f56.10(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,2 + B,0,1,U,Y) [0 >= 1 + A] f56.11(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,2 + B,0,1,U,Y) [A >= 1] f56.12(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.13(1,D,E,F,H,L,2 + B,0,1,0,Y) [A = 0] f66.13(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.14(A,D,E,F,H,L,Q,R,S,U,0) [255 >= U] f72.14(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.14(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f72.14(A,D,E,F,H,L,Q,R,S,U,Y) -> f72.22(A,D,E,F,H,L,Q,R,S,U,1 + Y) [7 >= Y] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.15(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1,Y) [R >= 0] f85.16(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85.16(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && S >= 0] f85.17(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f85.17(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1,Y) [0 >= 1 + R && 0 >= 1 + S] f91.18(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.18(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91.18(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.21(A,D,E,F,H,L,Q,R,S,1 + U,Y) [0 >= 1 + S && Q >= U] f91.19(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.19(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91.19(A,D,E,F,H,L,Q,R,S,U,Y) -> f91.20(A,D,E,F,H,L,Q,R,S,1 + U,Y) [S >= 0 && Q >= U] f91.20(A,D,E,F,H,L,Q,R,S,U,Y) -> f106.28(A,D,E,F,H,L,Q,R,S,U,Y) [S >= 0 && U >= 1 + Q] f91.21(A,D,E,F,H,L,Q,R,S,U,Y) -> f106.28(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + S && U >= 1 + Q] f72.22(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.13(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f72.22(A,D,E,F,H,L,Q,R,S,U,Y) -> f66.23(A,D,E,F,H,L,Q,R,S,1 + U,Y) [Y >= 8] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.15(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.16(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f66.23(A,D,E,F,H,L,Q,R,S,U,Y) -> f85.17(A,D,E,F,H,L,Q,R,S,U,Y) [U >= 256] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.10(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.11(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.24(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.12(A,D,E,F,H,L,Q,R,S,U,Y) [F >= 0 && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.10(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.11(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f42.25(A,D,E,F,H,L,Q,R,S,U,Y) -> f56.12(A,D,E,F,H,L,Q,R,S,U,Y) [0 >= 1 + F && H >= 1 + D] f23.26(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.3(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f23.26(A,D,E,F,H,L,Q,R,S,U,Y) -> f17.27(A,D,E,F,1 + H,L,Q,R,S,U,Y) [L >= 8] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.5(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.6(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f17.27(A,D,E,F,H,L,Q,R,S,U,Y) -> f36.7(A,D,E,F,H,L,Q,R,S,U,Y) [H >= 256] f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True f106.28(A,D,E,F,H,L,Q,R,S,U,Y) -> exitus616(A,D,E,F,H,L,Q,R,S,U,Y) True Signature: {(exitus616,11) ;(f0.0,11) ;(f0.1,11) ;(f0.2,11) ;(f106.28,11) ;(f17.27,11) ;(f17.3,11) ;(f23.26,11) ;(f23.4,11) ;(f36.5,11) ;(f36.6,11) ;(f36.7,11) ;(f42.24,11) ;(f42.25,11) ;(f42.8,11) ;(f42.9,11) ;(f56.10,11) ;(f56.11,11) ;(f56.12,11) ;(f66.13,11) ;(f66.23,11) ;(f72.14,11) ;(f72.22,11) ;(f85.15,11) ;(f85.16,11) ;(f85.17,11) ;(f91.18,11) ;(f91.19,11) ;(f91.20,11) ;(f91.21,11)} Rule Graph: [0->{6,7,8,9},1->{6,7,8,9},2->{3},3->{4,5},4->{4,5},5->{49,50},6->{14,15},7->{16,17},8->{43,44,45},9->{46 ,47,48},10->{16,17},11->{43,44,45},12->{14,15},13->{46,47,48},14->{14,15},15->{46,47,48},16->{16,17},17->{43 ,44,45},18->{24,25,26,27},19->{24,25,26,27},20->{21},21->{22,23},22->{22,23},23->{38,39},24->{32,33},25->{34 ,35},26->{36},27->{37},28->{34,35},29->{36},30->{32,33},31->{37},32->{32,33},33->{37},34->{34,35},35->{36} ,36->{56,57,59,60,63,64,67,68,72,73,75,76,79,80,83,84,88,89,91,92,95,96,99,100,104,105,107,108,111,112,115 ,116,120,121,123,124,127,128,131,132,136,137,139,140,143,144,147,148,152,153,155,156,159,160,163,164,168,169 ,171,172,175,176,179,180,184,185,187,188,191,192,195,196,200,201,203,204,207,208,211,212,216,217,219,220,223 ,224,227,228,232,233,235,236,239,240,243,244,248,249,251,252,255,256,259,260,264,265,267,268,271,272,275,276 ,280,281,283,284,287,288,291,292,296,297,299,300,303,304,307,308},37->{54,55,58,61,62,65,66,69,70,71,74,77 ,78,81,82,85,86,87,90,93,94,97,98,101,102,103,106,109,110,113,114,117,118,119,122,125,126,129,130,133,134 ,135,138,141,142,145,146,149,150,151,154,157,158,161,162,165,166,167,170,173,174,177,178,181,182,183,186,189 ,190,193,194,197,198,199,202,205,206,209,210,213,214,215,218,221,222,225,226,229,230,231,234,237,238,241,242 ,245,246,247,250,253,254,257,258,261,262,263,266,269,270,273,274,277,278,279,282,285,286,289,290,293,294,295 ,298,301,302,305,306,309},38->{21},39->{40,41,42},40->{24,25,26,27},41->{28,29},42->{30,31},43->{18} ,44->{19},45->{20},46->{18},47->{19},48->{20},49->{3},50->{51,52,53},51->{6,7,8,9},52->{10,11},53->{12,13}] ,We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309] | +- p:[3,49,5,4] c: [3,5,49] | | | `- p:[4] c: [4] | +- p:[16] c: [16] | +- p:[14] c: [14] | +- p:[21,38,23,22] c: [21,23,38] | | | `- p:[22] c: [22] | +- p:[34] c: [34] | `- p:[32] c: [32]) + Applied Processor: AbstractSize Minimize + Details: () * Step 8: AbstractFlow MAYBE + Considered Problem: Program: Domain: [A,D,E,F,H,L,Q,R,S,U,Y,0.0,0.0.0,0.1,0.2,0.3,0.3.0,0.4,0.5] f0.0 ~> f36.5 [A <= A, D <= 40*K, E <= 0*K, F <= K, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f0.1 ~> f36.5 [A <= A, D <= 40*K, E <= 0*K, F <= K, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f0.2 ~> f17.3 [A <= K, D <= 40*K, E <= 0*K, F <= K, H <= 0*K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f17.3 ~> f23.4 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= 0*K, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.4 ~> f23.4 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= K + L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.4 ~> f23.26 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= K + L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.5 ~> f42.8 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.5 ~> f42.9 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.5 ~> f42.24 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.5 ~> f42.25 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.6 ~> f42.9 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.6 ~> f42.24 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.7 ~> f42.8 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f36.7 ~> f42.25 [A <= A, D <= D, E <= E, F <= F, H <= K, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.8 ~> f42.8 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.8 ~> f42.25 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.9 ~> f42.9 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.9 ~> f42.24 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f56.10 ~> f85.15 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= unknown, R <= 0*K, S <= K, U <= U, Y <= Y] f56.11 ~> f85.15 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= unknown, R <= 0*K, S <= K, U <= U, Y <= Y] f56.12 ~> f66.13 [A <= K, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= unknown, R <= 0*K, S <= K, U <= 0*K, Y <= Y] f66.13 ~> f72.14 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= 0*K] f72.14 ~> f72.14 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= K + Y] f72.14 ~> f72.22 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= K + Y] f85.15 ~> f91.18 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.15 ~> f91.19 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.15 ~> f91.20 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.15 ~> f91.21 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.16 ~> f91.19 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.16 ~> f91.20 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.17 ~> f91.18 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f85.17 ~> f91.21 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K, Y <= Y] f91.18 ~> f91.18 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f91.18 ~> f91.21 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f91.19 ~> f91.19 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f91.19 ~> f91.20 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f91.20 ~> f106.28 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f91.21 ~> f106.28 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f72.22 ~> f66.13 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f72.22 ~> f66.23 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f66.23 ~> f85.15 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f66.23 ~> f85.16 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f66.23 ~> f85.17 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.24 ~> f56.10 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.24 ~> f56.11 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.24 ~> f56.12 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.25 ~> f56.10 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.25 ~> f56.11 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f42.25 ~> f56.12 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.26 ~> f17.3 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.26 ~> f17.27 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f17.27 ~> f36.5 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f17.27 ~> f36.6 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f17.27 ~> f36.7 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f106.28 ~> exitus616 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] + Loop: [0.0 <= 255*K + H] f17.3 ~> f23.4 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= 0*K, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.26 ~> f17.3 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.4 ~> f23.26 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= K + L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] f23.4 ~> f23.4 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= K + L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] + Loop: [0.0.0 <= 7*K + L] f23.4 ~> f23.4 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= K + L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] + Loop: [0.1 <= D + H] f42.9 ~> f42.9 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] + Loop: [0.2 <= D + H] f42.8 ~> f42.8 [A <= A, D <= D, E <= E, F <= F, H <= K + H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= Y] + Loop: [0.3 <= 255*K + U] f66.13 ~> f72.14 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= 0*K] f72.22 ~> f66.13 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] f72.14 ~> f72.22 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= K + Y] f72.14 ~> f72.14 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= K + Y] + Loop: [0.3.0 <= 7*K + Y] f72.14 ~> f72.14 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= U, Y <= K + Y] + Loop: [0.4 <= Q + U] f91.19 ~> f91.19 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] + Loop: [0.5 <= Q + U] f91.18 ~> f91.18 [A <= A, D <= D, E <= E, F <= F, H <= H, L <= L, Q <= Q, R <= R, S <= S, U <= K + U, Y <= Y] + Applied Processor: AbstractFlow + Details: () * Step 9: Failure MAYBE + Considered Problem: Program: Domain: [tick,huge,K,A,D,E,F,H,L,Q,R,S,U,Y,0.0,0.0.0,0.1,0.2,0.3,0.3.0,0.4,0.5] f0.0 ~> f36.5 [K ~=> D,K ~=> E,K ~=> F] f0.1 ~> f36.5 [K ~=> D,K ~=> E,K ~=> F] f0.2 ~> f17.3 [K ~=> A,K ~=> D,K ~=> E,K ~=> F,K ~=> H] f17.3 ~> f23.4 [K ~=> L] f23.4 ~> f23.4 [L ~+> L,K ~+> L] f23.4 ~> f23.26 [L ~+> L,K ~+> L] f36.5 ~> f42.8 [K ~=> H] f36.5 ~> f42.9 [K ~=> H] f36.5 ~> f42.24 [K ~=> H] f36.5 ~> f42.25 [K ~=> H] f36.6 ~> f42.9 [K ~=> H] f36.6 ~> f42.24 [K ~=> H] f36.7 ~> f42.8 [K ~=> H] f36.7 ~> f42.25 [K ~=> H] f42.8 ~> f42.8 [H ~+> H,K ~+> H] f42.8 ~> f42.25 [H ~+> H,K ~+> H] f42.9 ~> f42.9 [H ~+> H,K ~+> H] f42.9 ~> f42.24 [H ~+> H,K ~+> H] f56.10 ~> f85.15 [K ~=> R,K ~=> S,huge ~=> Q] f56.11 ~> f85.15 [K ~=> R,K ~=> S,huge ~=> Q] f56.12 ~> f66.13 [K ~=> A,K ~=> R,K ~=> S,K ~=> U,huge ~=> Q] f66.13 ~> f72.14 [K ~=> Y] f72.14 ~> f72.14 [Y ~+> Y,K ~+> Y] f72.14 ~> f72.22 [Y ~+> Y,K ~+> Y] f85.15 ~> f91.18 [K ~=> U] f85.15 ~> f91.19 [K ~=> U] f85.15 ~> f91.20 [K ~=> U] f85.15 ~> f91.21 [K ~=> U] f85.16 ~> f91.19 [K ~=> U] f85.16 ~> f91.20 [K ~=> U] f85.17 ~> f91.18 [K ~=> U] f85.17 ~> f91.21 [K ~=> U] f91.18 ~> f91.18 [U ~+> U,K ~+> U] f91.18 ~> f91.21 [U ~+> U,K ~+> U] f91.19 ~> f91.19 [U ~+> U,K ~+> U] f91.19 ~> f91.20 [U ~+> U,K ~+> U] f91.20 ~> f106.28 [] f91.21 ~> f106.28 [] f72.22 ~> f66.13 [U ~+> U,K ~+> U] f72.22 ~> f66.23 [U ~+> U,K ~+> U] f66.23 ~> f85.15 [] f66.23 ~> f85.16 [] f66.23 ~> f85.17 [] f42.24 ~> f56.10 [] f42.24 ~> f56.11 [] f42.24 ~> f56.12 [] f42.25 ~> f56.10 [] f42.25 ~> f56.11 [] f42.25 ~> f56.12 [] f23.26 ~> f17.3 [H ~+> H,K ~+> H] f23.26 ~> f17.27 [H ~+> H,K ~+> H] f17.27 ~> f36.5 [] f17.27 ~> f36.6 [] f17.27 ~> f36.7 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] f106.28 ~> exitus616 [] + Loop: [H ~+> 0.0,K ~*> 0.0] f17.3 ~> f23.4 [K ~=> L] f23.26 ~> f17.3 [H ~+> H,K ~+> H] f23.4 ~> f23.26 [L ~+> L,K ~+> L] f23.4 ~> f23.4 [L ~+> L,K ~+> L] + Loop: [L ~+> 0.0.0,K ~*> 0.0.0] f23.4 ~> f23.4 [L ~+> L,K ~+> L] + Loop: [D ~+> 0.1,H ~+> 0.1] f42.9 ~> f42.9 [H ~+> H,K ~+> H] + Loop: [D ~+> 0.2,H ~+> 0.2] f42.8 ~> f42.8 [H ~+> H,K ~+> H] + Loop: [U ~+> 0.3,K ~*> 0.3] f66.13 ~> f72.14 [K ~=> Y] f72.22 ~> f66.13 [U ~+> U,K ~+> U] f72.14 ~> f72.22 [Y ~+> Y,K ~+> Y] f72.14 ~> f72.14 [Y ~+> Y,K ~+> Y] + Loop: [Y ~+> 0.3.0,K ~*> 0.3.0] f72.14 ~> f72.14 [Y ~+> Y,K ~+> Y] + Loop: [Q ~+> 0.4,U ~+> 0.4] f91.19 ~> f91.19 [U ~+> U,K ~+> U] + Loop: [Q ~+> 0.5,U ~+> 0.5] f91.18 ~> f91.18 [U ~+> U,K ~+> U] + Applied Processor: Lare + Details: Unknown bound. MAYBE