YES(?,PRIMREC) * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) True (1,1) 1. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= B] (?,1) 2. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f8(A,B,1 + C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= C] (?,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) -> f17(A,1 + B,C,B1,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= B] (?,1) 4. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f31(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [50 >= E] (?,1) 5. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= 1 + B] (?,1) 6. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f34(A,B,1 + C,D,E,B1 + F,B1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= C] (?,1) 7. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f50(A,B,C,D,E,F,G,B1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [3 >= E] (?,1) 8. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f50(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [E >= 4] (?,1) 9. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= 1 + B] (?,1) 10. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f53(A,B,1 + C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [H >= I] (?,1) 11. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f53(A,B,1 + C,D,E,F,G,H,I,B1,C1,D1,C1 + D1,E1,C1 + E1,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= C && E >= 5] (?,1) 12. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f69(A,B,C,D,E,F,G,H,D1,B1,C1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= C && 4 >= E] (?,1) 13. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f69(A,B,C,D,E,F,G,H,G1,B1,C1,D1,C1 + D1,E1,F1,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] (?,1) 14. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f69(A,B,C,D,E,F,G,H,G1,B1,C1,D1,C1 + D1,E1,F1,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] (?,1) 15. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f69(A,B,C,D,E,F,G,H,F1,B1,C1,D1,E1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] (?,1) 16. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f69(A,B,C,D,E,F,G,H,F1,B1,C1,D1,E1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] (?,1) 17. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,B1 + -1*C1,D1,E1,F1,G1,H1,I1,W,X,Y,Z,A1) [I >= 1 + H && E1 >= 1 + D1 + K] (?,1) 18. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,B1 + -1*C1,D1,E1,F1,G1,H1,I1,W,X,Y,Z,A1) [I >= 1 + H && D1 + K >= 1 + E1] (?,1) 19. f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f92(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,B1,Q,R,S,T,U,V,C1,D1,E1,F1,A1) [T >= 0] (?,1) 20. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f92(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,B1,C1,C1 + K,D1,T,U,V,E1,F1,G1,H1,A1) [I >= 1 + H] (?,1) 21. f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f92(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,B1,Q,R,-1*S,T,U,V,C1,D1,E1,F1,A1) [0 >= 1 + T] (?,1) 22. f92(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f92(A,B,C,D,E,F,G,H,I,J,B1,L,M,N,O,C1,Q,R,S,T,U,V,W,X,Y,Z,1 + A1) [B >= 1 + A1] (?,1) 23. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f101(A,B,C,D,E,F,G,H,I,J,B1,L,M,N,O,C1,Q,R,S,T,U,V,W,X,Y,Z,1 + A1) [C >= 1 + A1] (?,1) 24. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f110(A,B,C,D,E,F,G,H,I,J,B1,L,M,N,O,C1,Q,R,S,T,U,V,W,X,Y,Z,1 + A1) [A >= A1] (?,1) 25. f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f119(A,B,C,D,E,F,G,H,I,J,B1,L,M,N,O,C1,Q,R,S,T,U,V,W,X,Y,Z,1 + A1) [A >= A1] (?,1) 26. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f132(A,1 + B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A >= B] (?,1) 27. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f27(A,B,C,D,1 + E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [B >= 1 + A] (?,1) 28. f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f53(A,B,1 + C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A1 >= 1 + A] (?,1) 29. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A1 >= 1 + A] (?,1) 30. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A1 >= C] (?,1) 31. f92(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [A1 >= B] (?,1) 32. f53(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f50(A,1 + B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [C >= 1 + A] (?,1) 33. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [B >= A] (?,1) 34. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f31(A,1 + B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [C >= 1 + A] (?,1) 35. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [B >= A && 0 >= 1 + F] (?,1) 36. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [B >= A && F >= 1] (?,1) 37. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f1(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [B >= A && F = 0] (?,1) 38. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [E >= 51] (?,1) 39. 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) -> f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [B >= 1 + A] (?,1) 40. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) [C >= 1 + A] (?,1) 41. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) -> 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) [B >= 1 + A] (?,1) Signature: {(f1,27) ;(f101,27) ;(f110,27) ;(f119,27) ;(f132,27) ;(f17,27) ;(f2,27) ;(f27,27) ;(f31,27) ;(f34,27) ;(f46,27) ;(f5,27) ;(f50,27) ;(f53,27) ;(f69,27) ;(f8,27) ;(f80,27) ;(f92,27)} Flow Graph: [0->{1,41},1->{2,40},2->{2,40},3->{3,39},4->{5,35,36,37},5->{6,34},6->{6,34},7->{9,33},8->{9,33},9->{11,12 ,13,14,15,16,32},10->{11,12,13,14,15,16,32},11->{11,12,13,14,15,16,32},12->{10,17,18,20},13->{10,17,18,20} ,14->{10,17,18,20},15->{10,17,18,20},16->{10,17,18,20},17->{19,21},18->{19,21},19->{22,31},20->{22,31} ,21->{22,31},22->{22,31},23->{23,30},24->{24,29},25->{25,28},26->{26,27},27->{4,38},28->{11,12,13,14,15,16 ,32},29->{25,28},30->{24,29},31->{23,30},32->{9,33},33->{26,27},34->{5,35,36,37},35->{7,8},36->{7,8},37->{} ,38->{},39->{4,38},40->{1,41},41->{3,39}] + Applied Processor: ArgumentFilter [3,6,9,11,12,13,14,15,16,17,18,20,21,22,23,24,25] + Details: We remove following argument positions: [3,6,9,11,12,13,14,15,16,17,18,20,21,22,23,24,25]. * Step 2: UnsatPaths MAYBE + Considered Problem: Rules: 0. f2(A,B,C,E,F,H,I,K,T,A1) -> f5(A,B,C,E,F,H,I,K,T,A1) True (1,1) 1. f5(A,B,C,E,F,H,I,K,T,A1) -> f8(A,B,C,E,F,H,I,K,T,A1) [A >= B] (?,1) 2. f8(A,B,C,E,F,H,I,K,T,A1) -> f8(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] (?,1) 3. f17(A,B,C,E,F,H,I,K,T,A1) -> f17(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] (?,1) 4. f27(A,B,C,E,F,H,I,K,T,A1) -> f31(A,B,C,E,0,H,I,K,T,A1) [50 >= E] (?,1) 5. f31(A,B,C,E,F,H,I,K,T,A1) -> f34(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] (?,1) 6. f34(A,B,C,E,F,H,I,K,T,A1) -> f34(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] (?,1) 7. f46(A,B,C,E,F,H,I,K,T,A1) -> f50(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] (?,1) 8. f46(A,B,C,E,F,H,I,K,T,A1) -> f50(A,B,C,E,F,0,I,K,T,A1) [E >= 4] (?,1) 9. f50(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] (?,1) 10. f69(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] (?,1) 11. f53(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] (?,1) 12. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] (?,1) 13. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] (?,1) 14. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] (?,1) 15. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] (?,1) 16. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] (?,1) 17. f69(A,B,C,E,F,H,I,K,T,A1) -> f80(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] (?,1) 18. f69(A,B,C,E,F,H,I,K,T,A1) -> f80(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] (?,1) 19. f80(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [T >= 0] (?,1) 20. f69(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] (?,1) 21. f80(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] (?,1) 22. f92(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] (?,1) 23. f101(A,B,C,E,F,H,I,K,T,A1) -> f101(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] (?,1) 24. f110(A,B,C,E,F,H,I,K,T,A1) -> f110(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] (?,1) 25. f119(A,B,C,E,F,H,I,K,T,A1) -> f119(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] (?,1) 26. f132(A,B,C,E,F,H,I,K,T,A1) -> f132(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] (?,1) 27. f132(A,B,C,E,F,H,I,K,T,A1) -> f27(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] (?,1) 28. f119(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] (?,1) 29. f110(A,B,C,E,F,H,I,K,T,A1) -> f119(A,B,C,E,F,H,I,K,T,A1) [A1 >= 1 + A] (?,1) 30. f101(A,B,C,E,F,H,I,K,T,A1) -> f110(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] (?,1) 31. f92(A,B,C,E,F,H,I,K,T,A1) -> f101(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] (?,1) 32. f53(A,B,C,E,F,H,I,K,T,A1) -> f50(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] (?,1) 33. f50(A,B,C,E,F,H,I,K,T,A1) -> f132(A,B,C,E,F,H,I,K,T,A1) [B >= A] (?,1) 34. f34(A,B,C,E,F,H,I,K,T,A1) -> f31(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] (?,1) 35. f31(A,B,C,E,F,H,I,K,T,A1) -> f46(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] (?,1) 36. f31(A,B,C,E,F,H,I,K,T,A1) -> f46(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] (?,1) 37. f31(A,B,C,E,F,H,I,K,T,A1) -> f1(A,B,C,E,0,H,I,K,T,A1) [B >= A && F = 0] (?,1) 38. f27(A,B,C,E,F,H,I,K,T,A1) -> f1(A,B,C,E,F,H,I,K,T,A1) [E >= 51] (?,1) 39. f17(A,B,C,E,F,H,I,K,T,A1) -> f27(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] (?,1) 40. f8(A,B,C,E,F,H,I,K,T,A1) -> f5(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] (?,1) 41. f5(A,B,C,E,F,H,I,K,T,A1) -> f17(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] (?,1) Signature: {(f1,27) ;(f101,27) ;(f110,27) ;(f119,27) ;(f132,27) ;(f17,27) ;(f2,27) ;(f27,27) ;(f31,27) ;(f34,27) ;(f46,27) ;(f5,27) ;(f50,27) ;(f53,27) ;(f69,27) ;(f8,27) ;(f80,27) ;(f92,27)} Flow Graph: [0->{1,41},1->{2,40},2->{2,40},3->{3,39},4->{5,35,36,37},5->{6,34},6->{6,34},7->{9,33},8->{9,33},9->{11,12 ,13,14,15,16,32},10->{11,12,13,14,15,16,32},11->{11,12,13,14,15,16,32},12->{10,17,18,20},13->{10,17,18,20} ,14->{10,17,18,20},15->{10,17,18,20},16->{10,17,18,20},17->{19,21},18->{19,21},19->{22,31},20->{22,31} ,21->{22,31},22->{22,31},23->{23,30},24->{24,29},25->{25,28},26->{26,27},27->{4,38},28->{11,12,13,14,15,16 ,32},29->{25,28},30->{24,29},31->{23,30},32->{9,33},33->{26,27},34->{5,35,36,37},35->{7,8},36->{7,8},37->{} ,38->{},39->{4,38},40->{1,41},41->{3,39}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(4,35),(4,36),(11,12),(29,25),(41,3)] * Step 3: FromIts MAYBE + Considered Problem: Rules: 0. f2(A,B,C,E,F,H,I,K,T,A1) -> f5(A,B,C,E,F,H,I,K,T,A1) True (1,1) 1. f5(A,B,C,E,F,H,I,K,T,A1) -> f8(A,B,C,E,F,H,I,K,T,A1) [A >= B] (?,1) 2. f8(A,B,C,E,F,H,I,K,T,A1) -> f8(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] (?,1) 3. f17(A,B,C,E,F,H,I,K,T,A1) -> f17(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] (?,1) 4. f27(A,B,C,E,F,H,I,K,T,A1) -> f31(A,B,C,E,0,H,I,K,T,A1) [50 >= E] (?,1) 5. f31(A,B,C,E,F,H,I,K,T,A1) -> f34(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] (?,1) 6. f34(A,B,C,E,F,H,I,K,T,A1) -> f34(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] (?,1) 7. f46(A,B,C,E,F,H,I,K,T,A1) -> f50(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] (?,1) 8. f46(A,B,C,E,F,H,I,K,T,A1) -> f50(A,B,C,E,F,0,I,K,T,A1) [E >= 4] (?,1) 9. f50(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] (?,1) 10. f69(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] (?,1) 11. f53(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] (?,1) 12. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] (?,1) 13. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] (?,1) 14. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] (?,1) 15. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] (?,1) 16. f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] (?,1) 17. f69(A,B,C,E,F,H,I,K,T,A1) -> f80(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] (?,1) 18. f69(A,B,C,E,F,H,I,K,T,A1) -> f80(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] (?,1) 19. f80(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [T >= 0] (?,1) 20. f69(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] (?,1) 21. f80(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] (?,1) 22. f92(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] (?,1) 23. f101(A,B,C,E,F,H,I,K,T,A1) -> f101(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] (?,1) 24. f110(A,B,C,E,F,H,I,K,T,A1) -> f110(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] (?,1) 25. f119(A,B,C,E,F,H,I,K,T,A1) -> f119(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] (?,1) 26. f132(A,B,C,E,F,H,I,K,T,A1) -> f132(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] (?,1) 27. f132(A,B,C,E,F,H,I,K,T,A1) -> f27(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] (?,1) 28. f119(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] (?,1) 29. f110(A,B,C,E,F,H,I,K,T,A1) -> f119(A,B,C,E,F,H,I,K,T,A1) [A1 >= 1 + A] (?,1) 30. f101(A,B,C,E,F,H,I,K,T,A1) -> f110(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] (?,1) 31. f92(A,B,C,E,F,H,I,K,T,A1) -> f101(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] (?,1) 32. f53(A,B,C,E,F,H,I,K,T,A1) -> f50(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] (?,1) 33. f50(A,B,C,E,F,H,I,K,T,A1) -> f132(A,B,C,E,F,H,I,K,T,A1) [B >= A] (?,1) 34. f34(A,B,C,E,F,H,I,K,T,A1) -> f31(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] (?,1) 35. f31(A,B,C,E,F,H,I,K,T,A1) -> f46(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] (?,1) 36. f31(A,B,C,E,F,H,I,K,T,A1) -> f46(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] (?,1) 37. f31(A,B,C,E,F,H,I,K,T,A1) -> f1(A,B,C,E,0,H,I,K,T,A1) [B >= A && F = 0] (?,1) 38. f27(A,B,C,E,F,H,I,K,T,A1) -> f1(A,B,C,E,F,H,I,K,T,A1) [E >= 51] (?,1) 39. f17(A,B,C,E,F,H,I,K,T,A1) -> f27(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] (?,1) 40. f8(A,B,C,E,F,H,I,K,T,A1) -> f5(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] (?,1) 41. f5(A,B,C,E,F,H,I,K,T,A1) -> f17(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] (?,1) Signature: {(f1,27) ;(f101,27) ;(f110,27) ;(f119,27) ;(f132,27) ;(f17,27) ;(f2,27) ;(f27,27) ;(f31,27) ;(f34,27) ;(f46,27) ;(f5,27) ;(f50,27) ;(f53,27) ;(f69,27) ;(f8,27) ;(f80,27) ;(f92,27)} Flow Graph: [0->{1,41},1->{2,40},2->{2,40},3->{3,39},4->{5,37},5->{6,34},6->{6,34},7->{9,33},8->{9,33},9->{11,12,13,14 ,15,16,32},10->{11,12,13,14,15,16,32},11->{11,13,14,15,16,32},12->{10,17,18,20},13->{10,17,18,20},14->{10,17 ,18,20},15->{10,17,18,20},16->{10,17,18,20},17->{19,21},18->{19,21},19->{22,31},20->{22,31},21->{22,31} ,22->{22,31},23->{23,30},24->{24,29},25->{25,28},26->{26,27},27->{4,38},28->{11,12,13,14,15,16,32},29->{28} ,30->{24,29},31->{23,30},32->{9,33},33->{26,27},34->{5,35,36,37},35->{7,8},36->{7,8},37->{},38->{},39->{4 ,38},40->{1,41},41->{39}] + Applied Processor: FromIts + Details: () * Step 4: Unfold MAYBE + Considered Problem: Rules: f2(A,B,C,E,F,H,I,K,T,A1) -> f5(A,B,C,E,F,H,I,K,T,A1) True f5(A,B,C,E,F,H,I,K,T,A1) -> f8(A,B,C,E,F,H,I,K,T,A1) [A >= B] f8(A,B,C,E,F,H,I,K,T,A1) -> f8(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f17(A,B,C,E,F,H,I,K,T,A1) -> f17(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f27(A,B,C,E,F,H,I,K,T,A1) -> f31(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f31(A,B,C,E,F,H,I,K,T,A1) -> f34(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f34(A,B,C,E,F,H,I,K,T,A1) -> f34(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f46(A,B,C,E,F,H,I,K,T,A1) -> f50(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46(A,B,C,E,F,H,I,K,T,A1) -> f50(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f50(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f69(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f53(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53(A,B,C,E,F,H,I,K,T,A1) -> f69(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f69(A,B,C,E,F,H,I,K,T,A1) -> f80(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69(A,B,C,E,F,H,I,K,T,A1) -> f80(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f80(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f69(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f80(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f92(A,B,C,E,F,H,I,K,T,A1) -> f92(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f101(A,B,C,E,F,H,I,K,T,A1) -> f101(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f110(A,B,C,E,F,H,I,K,T,A1) -> f110(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119(A,B,C,E,F,H,I,K,T,A1) -> f119(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f132(A,B,C,E,F,H,I,K,T,A1) -> f132(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132(A,B,C,E,F,H,I,K,T,A1) -> f27(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f119(A,B,C,E,F,H,I,K,T,A1) -> f53(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f110(A,B,C,E,F,H,I,K,T,A1) -> f119(A,B,C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f101(A,B,C,E,F,H,I,K,T,A1) -> f110(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f92(A,B,C,E,F,H,I,K,T,A1) -> f101(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f53(A,B,C,E,F,H,I,K,T,A1) -> f50(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f50(A,B,C,E,F,H,I,K,T,A1) -> f132(A,B,C,E,F,H,I,K,T,A1) [B >= A] f34(A,B,C,E,F,H,I,K,T,A1) -> f31(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f31(A,B,C,E,F,H,I,K,T,A1) -> f46(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31(A,B,C,E,F,H,I,K,T,A1) -> f46(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31(A,B,C,E,F,H,I,K,T,A1) -> f1(A,B,C,E,0,H,I,K,T,A1) [B >= A && F = 0] f27(A,B,C,E,F,H,I,K,T,A1) -> f1(A,B,C,E,F,H,I,K,T,A1) [E >= 51] f17(A,B,C,E,F,H,I,K,T,A1) -> f27(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f8(A,B,C,E,F,H,I,K,T,A1) -> f5(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f5(A,B,C,E,F,H,I,K,T,A1) -> f17(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] Signature: {(f1,27) ;(f101,27) ;(f110,27) ;(f119,27) ;(f132,27) ;(f17,27) ;(f2,27) ;(f27,27) ;(f31,27) ;(f34,27) ;(f46,27) ;(f5,27) ;(f50,27) ;(f53,27) ;(f69,27) ;(f8,27) ;(f80,27) ;(f92,27)} Rule Graph: [0->{1,41},1->{2,40},2->{2,40},3->{3,39},4->{5,37},5->{6,34},6->{6,34},7->{9,33},8->{9,33},9->{11,12,13,14 ,15,16,32},10->{11,12,13,14,15,16,32},11->{11,13,14,15,16,32},12->{10,17,18,20},13->{10,17,18,20},14->{10,17 ,18,20},15->{10,17,18,20},16->{10,17,18,20},17->{19,21},18->{19,21},19->{22,31},20->{22,31},21->{22,31} ,22->{22,31},23->{23,30},24->{24,29},25->{25,28},26->{26,27},27->{4,38},28->{11,12,13,14,15,16,32},29->{28} ,30->{24,29},31->{23,30},32->{9,33},33->{26,27},34->{5,35,36,37},35->{7,8},36->{7,8},37->{},38->{},39->{4 ,38},40->{1,41},41->{39}] + Applied Processor: Unfold + Details: () * Step 5: AddSinks MAYBE + Considered Problem: Rules: f2.0(A,B,C,E,F,H,I,K,T,A1) -> f5.1(A,B,C,E,F,H,I,K,T,A1) True f2.0(A,B,C,E,F,H,I,K,T,A1) -> f5.41(A,B,C,E,F,H,I,K,T,A1) True f5.1(A,B,C,E,F,H,I,K,T,A1) -> f8.2(A,B,C,E,F,H,I,K,T,A1) [A >= B] f5.1(A,B,C,E,F,H,I,K,T,A1) -> f8.40(A,B,C,E,F,H,I,K,T,A1) [A >= B] f8.2(A,B,C,E,F,H,I,K,T,A1) -> f8.2(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f8.2(A,B,C,E,F,H,I,K,T,A1) -> f8.40(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f17.3(A,B,C,E,F,H,I,K,T,A1) -> f17.3(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f17.3(A,B,C,E,F,H,I,K,T,A1) -> f17.39(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f27.4(A,B,C,E,F,H,I,K,T,A1) -> f31.5(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f27.4(A,B,C,E,F,H,I,K,T,A1) -> f31.37(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f31.5(A,B,C,E,F,H,I,K,T,A1) -> f34.6(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f31.5(A,B,C,E,F,H,I,K,T,A1) -> f34.34(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f34.6(A,B,C,E,F,H,I,K,T,A1) -> f34.6(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f34.6(A,B,C,E,F,H,I,K,T,A1) -> f34.34(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f46.7(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46.7(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46.8(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f46.8(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f69.17(A,B,C,E,F,H,I,K,T,A1) -> f80.19(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69.17(A,B,C,E,F,H,I,K,T,A1) -> f80.21(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69.18(A,B,C,E,F,H,I,K,T,A1) -> f80.19(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f69.18(A,B,C,E,F,H,I,K,T,A1) -> f80.21(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f80.19(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f80.19(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f69.20(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f69.20(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f80.21(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f80.21(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f92.22(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f92.22(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f101.23(A,B,C,E,F,H,I,K,T,A1) -> f101.23(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f101.23(A,B,C,E,F,H,I,K,T,A1) -> f101.30(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f110.24(A,B,C,E,F,H,I,K,T,A1) -> f110.24(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f110.24(A,B,C,E,F,H,I,K,T,A1) -> f110.29(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119.25(A,B,C,E,F,H,I,K,T,A1) -> f119.25(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119.25(A,B,C,E,F,H,I,K,T,A1) -> f119.28(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f132.26(A,B,C,E,F,H,I,K,T,A1) -> f132.26(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132.26(A,B,C,E,F,H,I,K,T,A1) -> f132.27(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132.27(A,B,C,E,F,H,I,K,T,A1) -> f27.4(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f132.27(A,B,C,E,F,H,I,K,T,A1) -> f27.38(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f110.29(A,B,C,E,F,H,I,K,T,A1) -> f119.28(A,B,C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f101.30(A,B,C,E,F,H,I,K,T,A1) -> f110.24(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f101.30(A,B,C,E,F,H,I,K,T,A1) -> f110.29(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f92.31(A,B,C,E,F,H,I,K,T,A1) -> f101.23(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f92.31(A,B,C,E,F,H,I,K,T,A1) -> f101.30(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f53.32(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f53.32(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f50.33(A,B,C,E,F,H,I,K,T,A1) -> f132.26(A,B,C,E,F,H,I,K,T,A1) [B >= A] f50.33(A,B,C,E,F,H,I,K,T,A1) -> f132.27(A,B,C,E,F,H,I,K,T,A1) [B >= A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.5(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.35(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.36(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.37(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f31.35(A,B,C,E,F,H,I,K,T,A1) -> f46.7(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31.35(A,B,C,E,F,H,I,K,T,A1) -> f46.8(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31.36(A,B,C,E,F,H,I,K,T,A1) -> f46.7(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31.36(A,B,C,E,F,H,I,K,T,A1) -> f46.8(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31.37(A,B,C,E,F,H,I,K,T,A1) -> f1.42(A,B,C,E,0,H,I,K,T,A1) [B >= A && F = 0] f27.38(A,B,C,E,F,H,I,K,T,A1) -> f1.42(A,B,C,E,F,H,I,K,T,A1) [E >= 51] f17.39(A,B,C,E,F,H,I,K,T,A1) -> f27.4(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f17.39(A,B,C,E,F,H,I,K,T,A1) -> f27.38(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f8.40(A,B,C,E,F,H,I,K,T,A1) -> f5.1(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f8.40(A,B,C,E,F,H,I,K,T,A1) -> f5.41(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f5.41(A,B,C,E,F,H,I,K,T,A1) -> f17.39(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] Signature: {(f1.42,10) ;(f101.23,10) ;(f101.30,10) ;(f110.24,10) ;(f110.29,10) ;(f119.25,10) ;(f119.28,10) ;(f132.26,10) ;(f132.27,10) ;(f17.3,10) ;(f17.39,10) ;(f2.0,10) ;(f27.38,10) ;(f27.4,10) ;(f31.35,10) ;(f31.36,10) ;(f31.37,10) ;(f31.5,10) ;(f34.34,10) ;(f34.6,10) ;(f46.7,10) ;(f46.8,10) ;(f5.1,10) ;(f5.41,10) ;(f50.33,10) ;(f50.9,10) ;(f53.11,10) ;(f53.12,10) ;(f53.13,10) ;(f53.14,10) ;(f53.15,10) ;(f53.16,10) ;(f53.32,10) ;(f69.10,10) ;(f69.17,10) ;(f69.18,10) ;(f69.20,10) ;(f8.2,10) ;(f8.40,10) ;(f80.19,10) ;(f80.21,10) ;(f92.22,10) ;(f92.31,10)} Rule Graph: [0->{2,3},1->{110},2->{4,5},3->{108,109},4->{4,5},5->{108,109},6->{6,7},7->{106,107},8->{10,11},9->{104} ,10->{12,13},11->{96,97,98,99},12->{12,13},13->{96,97,98,99},14->{18,19,20,21,22,23,24},15->{94,95},16->{18 ,19,20,21,22,23,24},17->{94,95},18->{32,33,34,35,36,37},19->{38,39,40,41},20->{42,43,44,45},21->{46,47,48 ,49},22->{50,51,52,53},23->{54,55,56,57},24->{92,93},25->{32,33,34,35,36,37},26->{38,39,40,41},27->{42,43,44 ,45},28->{46,47,48,49},29->{50,51,52,53},30->{54,55,56,57},31->{92,93},32->{32,33,34,35,36,37},33->{42,43,44 ,45},34->{46,47,48,49},35->{50,51,52,53},36->{54,55,56,57},37->{92,93},38->{25,26,27,28,29,30,31},39->{58 ,59},40->{60,61},41->{64,65},42->{25,26,27,28,29,30,31},43->{58,59},44->{60,61},45->{64,65},46->{25,26,27,28 ,29,30,31},47->{58,59},48->{60,61},49->{64,65},50->{25,26,27,28,29,30,31},51->{58,59},52->{60,61},53->{64 ,65},54->{25,26,27,28,29,30,31},55->{58,59},56->{60,61},57->{64,65},58->{62,63},59->{66,67},60->{62,63} ,61->{66,67},62->{68,69},63->{90,91},64->{68,69},65->{90,91},66->{68,69},67->{90,91},68->{68,69},69->{90,91} ,70->{70,71},71->{88,89},72->{72,73},73->{87},74->{74,75},75->{80,81,82,83,84,85,86},76->{76,77},77->{78,79} ,78->{8,9},79->{105},80->{32,33,34,35,36,37},81->{38,39,40,41},82->{42,43,44,45},83->{46,47,48,49},84->{50 ,51,52,53},85->{54,55,56,57},86->{92,93},87->{80,81,82,83,84,85,86},88->{72,73},89->{87},90->{70,71},91->{88 ,89},92->{18,19,20,21,22,23,24},93->{94,95},94->{76,77},95->{78,79},96->{10,11},97->{100,101},98->{102,103} ,99->{104},100->{14,15},101->{16,17},102->{14,15},103->{16,17},104->{},105->{},106->{8,9},107->{105},108->{2 ,3},109->{110},110->{106,107}] + Applied Processor: AddSinks + Details: () * Step 6: Decompose MAYBE + Considered Problem: Rules: f2.0(A,B,C,E,F,H,I,K,T,A1) -> f5.1(A,B,C,E,F,H,I,K,T,A1) True f2.0(A,B,C,E,F,H,I,K,T,A1) -> f5.41(A,B,C,E,F,H,I,K,T,A1) True f5.1(A,B,C,E,F,H,I,K,T,A1) -> f8.2(A,B,C,E,F,H,I,K,T,A1) [A >= B] f5.1(A,B,C,E,F,H,I,K,T,A1) -> f8.40(A,B,C,E,F,H,I,K,T,A1) [A >= B] f8.2(A,B,C,E,F,H,I,K,T,A1) -> f8.2(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f8.2(A,B,C,E,F,H,I,K,T,A1) -> f8.40(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f17.3(A,B,C,E,F,H,I,K,T,A1) -> f17.3(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f17.3(A,B,C,E,F,H,I,K,T,A1) -> f17.39(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f27.4(A,B,C,E,F,H,I,K,T,A1) -> f31.5(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f27.4(A,B,C,E,F,H,I,K,T,A1) -> f31.37(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f31.5(A,B,C,E,F,H,I,K,T,A1) -> f34.6(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f31.5(A,B,C,E,F,H,I,K,T,A1) -> f34.34(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f34.6(A,B,C,E,F,H,I,K,T,A1) -> f34.6(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f34.6(A,B,C,E,F,H,I,K,T,A1) -> f34.34(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f46.7(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46.7(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46.8(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f46.8(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f69.17(A,B,C,E,F,H,I,K,T,A1) -> f80.19(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69.17(A,B,C,E,F,H,I,K,T,A1) -> f80.21(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69.18(A,B,C,E,F,H,I,K,T,A1) -> f80.19(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f69.18(A,B,C,E,F,H,I,K,T,A1) -> f80.21(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f80.19(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f80.19(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f69.20(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f69.20(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f80.21(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f80.21(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f92.22(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f92.22(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f101.23(A,B,C,E,F,H,I,K,T,A1) -> f101.23(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f101.23(A,B,C,E,F,H,I,K,T,A1) -> f101.30(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f110.24(A,B,C,E,F,H,I,K,T,A1) -> f110.24(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f110.24(A,B,C,E,F,H,I,K,T,A1) -> f110.29(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119.25(A,B,C,E,F,H,I,K,T,A1) -> f119.25(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119.25(A,B,C,E,F,H,I,K,T,A1) -> f119.28(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f132.26(A,B,C,E,F,H,I,K,T,A1) -> f132.26(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132.26(A,B,C,E,F,H,I,K,T,A1) -> f132.27(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132.27(A,B,C,E,F,H,I,K,T,A1) -> f27.4(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f132.27(A,B,C,E,F,H,I,K,T,A1) -> f27.38(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f110.29(A,B,C,E,F,H,I,K,T,A1) -> f119.28(A,B,C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f101.30(A,B,C,E,F,H,I,K,T,A1) -> f110.24(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f101.30(A,B,C,E,F,H,I,K,T,A1) -> f110.29(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f92.31(A,B,C,E,F,H,I,K,T,A1) -> f101.23(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f92.31(A,B,C,E,F,H,I,K,T,A1) -> f101.30(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f53.32(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f53.32(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f50.33(A,B,C,E,F,H,I,K,T,A1) -> f132.26(A,B,C,E,F,H,I,K,T,A1) [B >= A] f50.33(A,B,C,E,F,H,I,K,T,A1) -> f132.27(A,B,C,E,F,H,I,K,T,A1) [B >= A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.5(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.35(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.36(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.37(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f31.35(A,B,C,E,F,H,I,K,T,A1) -> f46.7(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31.35(A,B,C,E,F,H,I,K,T,A1) -> f46.8(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31.36(A,B,C,E,F,H,I,K,T,A1) -> f46.7(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31.36(A,B,C,E,F,H,I,K,T,A1) -> f46.8(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31.37(A,B,C,E,F,H,I,K,T,A1) -> f1.42(A,B,C,E,0,H,I,K,T,A1) [B >= A && F = 0] f27.38(A,B,C,E,F,H,I,K,T,A1) -> f1.42(A,B,C,E,F,H,I,K,T,A1) [E >= 51] f17.39(A,B,C,E,F,H,I,K,T,A1) -> f27.4(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f17.39(A,B,C,E,F,H,I,K,T,A1) -> f27.38(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f8.40(A,B,C,E,F,H,I,K,T,A1) -> f5.1(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f8.40(A,B,C,E,F,H,I,K,T,A1) -> f5.41(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f5.41(A,B,C,E,F,H,I,K,T,A1) -> f17.39(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True Signature: {(exitus616,10) ;(f1.42,10) ;(f101.23,10) ;(f101.30,10) ;(f110.24,10) ;(f110.29,10) ;(f119.25,10) ;(f119.28,10) ;(f132.26,10) ;(f132.27,10) ;(f17.3,10) ;(f17.39,10) ;(f2.0,10) ;(f27.38,10) ;(f27.4,10) ;(f31.35,10) ;(f31.36,10) ;(f31.37,10) ;(f31.5,10) ;(f34.34,10) ;(f34.6,10) ;(f46.7,10) ;(f46.8,10) ;(f5.1,10) ;(f5.41,10) ;(f50.33,10) ;(f50.9,10) ;(f53.11,10) ;(f53.12,10) ;(f53.13,10) ;(f53.14,10) ;(f53.15,10) ;(f53.16,10) ;(f53.32,10) ;(f69.10,10) ;(f69.17,10) ;(f69.18,10) ;(f69.20,10) ;(f8.2,10) ;(f8.40,10) ;(f80.19,10) ;(f80.21,10) ;(f92.22,10) ;(f92.31,10)} Rule Graph: [0->{2,3},1->{110},2->{4,5},3->{108,109},4->{4,5},5->{108,109},6->{6,7},7->{106,107},8->{10,11},9->{104} ,10->{12,13},11->{96,97,98,99},12->{12,13},13->{96,97,98,99},14->{18,19,20,21,22,23,24},15->{94,95},16->{18 ,19,20,21,22,23,24},17->{94,95},18->{32,33,34,35,36,37},19->{38,39,40,41},20->{42,43,44,45},21->{46,47,48 ,49},22->{50,51,52,53},23->{54,55,56,57},24->{92,93},25->{32,33,34,35,36,37},26->{38,39,40,41},27->{42,43,44 ,45},28->{46,47,48,49},29->{50,51,52,53},30->{54,55,56,57},31->{92,93},32->{32,33,34,35,36,37},33->{42,43,44 ,45},34->{46,47,48,49},35->{50,51,52,53},36->{54,55,56,57},37->{92,93},38->{25,26,27,28,29,30,31},39->{58 ,59},40->{60,61},41->{64,65},42->{25,26,27,28,29,30,31},43->{58,59},44->{60,61},45->{64,65},46->{25,26,27,28 ,29,30,31},47->{58,59},48->{60,61},49->{64,65},50->{25,26,27,28,29,30,31},51->{58,59},52->{60,61},53->{64 ,65},54->{25,26,27,28,29,30,31},55->{58,59},56->{60,61},57->{64,65},58->{62,63},59->{66,67},60->{62,63} ,61->{66,67},62->{68,69},63->{90,91},64->{68,69},65->{90,91},66->{68,69},67->{90,91},68->{68,69},69->{90,91} ,70->{70,71},71->{88,89},72->{72,73},73->{87},74->{74,75},75->{80,81,82,83,84,85,86},76->{76,77},77->{78,79} ,78->{8,9},79->{105},80->{32,33,34,35,36,37},81->{38,39,40,41},82->{42,43,44,45},83->{46,47,48,49},84->{50 ,51,52,53},85->{54,55,56,57},86->{92,93},87->{80,81,82,83,84,85,86},88->{72,73},89->{87},90->{70,71},91->{88 ,89},92->{18,19,20,21,22,23,24},93->{94,95},94->{76,77},95->{78,79},96->{10,11},97->{100,101},98->{102,103} ,99->{104},100->{14,15},101->{16,17},102->{14,15},103->{16,17},104->{111,113,115,117,119,121,123,125} ,105->{112,114,116,118,120,122,124},106->{8,9},107->{105},108->{2,3},109->{110},110->{106,107}] + 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] | +- p:[74] c: [74] | +- p:[6] c: [6] | +- p:[2,108,3,5,4] c: [2,3,4,5,108] | `- p:[8,78,77,76,94,15,100,97,11,96,13,10,12,102,98,17,101,103,93,24,14,16,92,31,38,19,26,42,20,27,46,21,28,50,22,29,54,23,30,36,18,25,32,80,87,73,72,88,71,70,90,63,58,39,81,43,33,82,47,34,83,51,35,84,55,85,60,40,44,48,52,56,65,41,45,49,53,57,67,59,61,69,62,64,66,68,91,89,37,86,95] c: [8,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,72,73,76,77,78,80,81,82,83,84,85,86,87,88,89,92,93,94,95,96,97,98,100,101,102,103] | +- p:[68] c: [68] | `- p:[70] c: [70] * Step 7: AbstractSize MAYBE + Considered Problem: (Rules: f2.0(A,B,C,E,F,H,I,K,T,A1) -> f5.1(A,B,C,E,F,H,I,K,T,A1) True f2.0(A,B,C,E,F,H,I,K,T,A1) -> f5.41(A,B,C,E,F,H,I,K,T,A1) True f5.1(A,B,C,E,F,H,I,K,T,A1) -> f8.2(A,B,C,E,F,H,I,K,T,A1) [A >= B] f5.1(A,B,C,E,F,H,I,K,T,A1) -> f8.40(A,B,C,E,F,H,I,K,T,A1) [A >= B] f8.2(A,B,C,E,F,H,I,K,T,A1) -> f8.2(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f8.2(A,B,C,E,F,H,I,K,T,A1) -> f8.40(A,B,1 + C,E,F,H,I,K,T,A1) [A >= C] f17.3(A,B,C,E,F,H,I,K,T,A1) -> f17.3(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f17.3(A,B,C,E,F,H,I,K,T,A1) -> f17.39(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f27.4(A,B,C,E,F,H,I,K,T,A1) -> f31.5(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f27.4(A,B,C,E,F,H,I,K,T,A1) -> f31.37(A,B,C,E,0,H,I,K,T,A1) [50 >= E] f31.5(A,B,C,E,F,H,I,K,T,A1) -> f34.6(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f31.5(A,B,C,E,F,H,I,K,T,A1) -> f34.34(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f34.6(A,B,C,E,F,H,I,K,T,A1) -> f34.6(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f34.6(A,B,C,E,F,H,I,K,T,A1) -> f34.34(A,B,1 + C,E,B1 + F,H,I,K,T,A1) [A >= C] f46.7(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46.7(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,B,C,E,F,B1,I,K,T,A1) [3 >= E] f46.8(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f46.8(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,B,C,E,F,0,I,K,T,A1) [E >= 4] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f50.9(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,C,E,F,H,I,K,T,A1) [A >= 1 + B] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f69.10(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,K,T,A1) [H >= I] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.11(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,C1,T,A1) [A >= C && E >= 5] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.12(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,D1,C1,T,A1) [A >= C && 4 >= E] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.13(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && F1 >= 1 + C1 + E1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.14(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,G1,C1,T,A1) [E >= 5 && A >= C && C1 + E1 >= 1 + F1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.15(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && E1 >= 1 + C1 + D1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.10(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.17(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.18(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f53.16(A,B,C,E,F,H,I,K,T,A1) -> f69.20(A,B,C,E,F,H,F1,C1,T,A1) [E >= 5 && A >= C && C1 + D1 >= 1 + E1] f69.17(A,B,C,E,F,H,I,K,T,A1) -> f80.19(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69.17(A,B,C,E,F,H,I,K,T,A1) -> f80.21(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && E1 >= 1 + D1 + K] f69.18(A,B,C,E,F,H,I,K,T,A1) -> f80.19(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f69.18(A,B,C,E,F,H,I,K,T,A1) -> f80.21(A,B,C,E,F,H,I,K,G1,A1) [I >= 1 + H && D1 + K >= 1 + E1] f80.19(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f80.19(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [T >= 0] f69.20(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f69.20(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [I >= 1 + H] f80.21(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f80.21(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,K,T,A1) [0 >= 1 + T] f92.22(A,B,C,E,F,H,I,K,T,A1) -> f92.22(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f92.22(A,B,C,E,F,H,I,K,T,A1) -> f92.31(A,B,C,E,F,H,I,B1,T,1 + A1) [B >= 1 + A1] f101.23(A,B,C,E,F,H,I,K,T,A1) -> f101.23(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f101.23(A,B,C,E,F,H,I,K,T,A1) -> f101.30(A,B,C,E,F,H,I,B1,T,1 + A1) [C >= 1 + A1] f110.24(A,B,C,E,F,H,I,K,T,A1) -> f110.24(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f110.24(A,B,C,E,F,H,I,K,T,A1) -> f110.29(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119.25(A,B,C,E,F,H,I,K,T,A1) -> f119.25(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f119.25(A,B,C,E,F,H,I,K,T,A1) -> f119.28(A,B,C,E,F,H,I,B1,T,1 + A1) [A >= A1] f132.26(A,B,C,E,F,H,I,K,T,A1) -> f132.26(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132.26(A,B,C,E,F,H,I,K,T,A1) -> f132.27(A,1 + B,C,E,F,H,I,K,T,A1) [A >= B] f132.27(A,B,C,E,F,H,I,K,T,A1) -> f27.4(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f132.27(A,B,C,E,F,H,I,K,T,A1) -> f27.38(A,B,C,1 + E,F,H,I,K,T,A1) [B >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.11(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.12(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.13(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.14(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.15(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.16(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f119.28(A,B,C,E,F,H,I,K,T,A1) -> f53.32(A,B,1 + C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f110.29(A,B,C,E,F,H,I,K,T,A1) -> f119.28(A,B,C,E,F,H,I,K,T,A1) [A1 >= 1 + A] f101.30(A,B,C,E,F,H,I,K,T,A1) -> f110.24(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f101.30(A,B,C,E,F,H,I,K,T,A1) -> f110.29(A,B,C,E,F,H,I,K,T,A1) [A1 >= C] f92.31(A,B,C,E,F,H,I,K,T,A1) -> f101.23(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f92.31(A,B,C,E,F,H,I,K,T,A1) -> f101.30(A,B,C,E,F,H,I,K,T,A1) [A1 >= B] f53.32(A,B,C,E,F,H,I,K,T,A1) -> f50.9(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f53.32(A,B,C,E,F,H,I,K,T,A1) -> f50.33(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f50.33(A,B,C,E,F,H,I,K,T,A1) -> f132.26(A,B,C,E,F,H,I,K,T,A1) [B >= A] f50.33(A,B,C,E,F,H,I,K,T,A1) -> f132.27(A,B,C,E,F,H,I,K,T,A1) [B >= A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.5(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.35(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.36(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f34.34(A,B,C,E,F,H,I,K,T,A1) -> f31.37(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f31.35(A,B,C,E,F,H,I,K,T,A1) -> f46.7(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31.35(A,B,C,E,F,H,I,K,T,A1) -> f46.8(A,B,C,E,F,H,I,K,T,A1) [B >= A && 0 >= 1 + F] f31.36(A,B,C,E,F,H,I,K,T,A1) -> f46.7(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31.36(A,B,C,E,F,H,I,K,T,A1) -> f46.8(A,B,C,E,F,H,I,K,T,A1) [B >= A && F >= 1] f31.37(A,B,C,E,F,H,I,K,T,A1) -> f1.42(A,B,C,E,0,H,I,K,T,A1) [B >= A && F = 0] f27.38(A,B,C,E,F,H,I,K,T,A1) -> f1.42(A,B,C,E,F,H,I,K,T,A1) [E >= 51] f17.39(A,B,C,E,F,H,I,K,T,A1) -> f27.4(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f17.39(A,B,C,E,F,H,I,K,T,A1) -> f27.38(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f8.40(A,B,C,E,F,H,I,K,T,A1) -> f5.1(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f8.40(A,B,C,E,F,H,I,K,T,A1) -> f5.41(A,1 + B,C,E,F,H,I,K,T,A1) [C >= 1 + A] f5.41(A,B,C,E,F,H,I,K,T,A1) -> f17.39(A,B,C,E,F,H,I,K,T,A1) [B >= 1 + A] f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True f1.42(A,B,C,E,F,H,I,K,T,A1) -> exitus616(A,B,C,E,F,H,I,K,T,A1) True Signature: {(exitus616,10) ;(f1.42,10) ;(f101.23,10) ;(f101.30,10) ;(f110.24,10) ;(f110.29,10) ;(f119.25,10) ;(f119.28,10) ;(f132.26,10) ;(f132.27,10) ;(f17.3,10) ;(f17.39,10) ;(f2.0,10) ;(f27.38,10) ;(f27.4,10) ;(f31.35,10) ;(f31.36,10) ;(f31.37,10) ;(f31.5,10) ;(f34.34,10) ;(f34.6,10) ;(f46.7,10) ;(f46.8,10) ;(f5.1,10) ;(f5.41,10) ;(f50.33,10) ;(f50.9,10) ;(f53.11,10) ;(f53.12,10) ;(f53.13,10) ;(f53.14,10) ;(f53.15,10) ;(f53.16,10) ;(f53.32,10) ;(f69.10,10) ;(f69.17,10) ;(f69.18,10) ;(f69.20,10) ;(f8.2,10) ;(f8.40,10) ;(f80.19,10) ;(f80.21,10) ;(f92.22,10) ;(f92.31,10)} Rule Graph: [0->{2,3},1->{110},2->{4,5},3->{108,109},4->{4,5},5->{108,109},6->{6,7},7->{106,107},8->{10,11},9->{104} ,10->{12,13},11->{96,97,98,99},12->{12,13},13->{96,97,98,99},14->{18,19,20,21,22,23,24},15->{94,95},16->{18 ,19,20,21,22,23,24},17->{94,95},18->{32,33,34,35,36,37},19->{38,39,40,41},20->{42,43,44,45},21->{46,47,48 ,49},22->{50,51,52,53},23->{54,55,56,57},24->{92,93},25->{32,33,34,35,36,37},26->{38,39,40,41},27->{42,43,44 ,45},28->{46,47,48,49},29->{50,51,52,53},30->{54,55,56,57},31->{92,93},32->{32,33,34,35,36,37},33->{42,43,44 ,45},34->{46,47,48,49},35->{50,51,52,53},36->{54,55,56,57},37->{92,93},38->{25,26,27,28,29,30,31},39->{58 ,59},40->{60,61},41->{64,65},42->{25,26,27,28,29,30,31},43->{58,59},44->{60,61},45->{64,65},46->{25,26,27,28 ,29,30,31},47->{58,59},48->{60,61},49->{64,65},50->{25,26,27,28,29,30,31},51->{58,59},52->{60,61},53->{64 ,65},54->{25,26,27,28,29,30,31},55->{58,59},56->{60,61},57->{64,65},58->{62,63},59->{66,67},60->{62,63} ,61->{66,67},62->{68,69},63->{90,91},64->{68,69},65->{90,91},66->{68,69},67->{90,91},68->{68,69},69->{90,91} ,70->{70,71},71->{88,89},72->{72,73},73->{87},74->{74,75},75->{80,81,82,83,84,85,86},76->{76,77},77->{78,79} ,78->{8,9},79->{105},80->{32,33,34,35,36,37},81->{38,39,40,41},82->{42,43,44,45},83->{46,47,48,49},84->{50 ,51,52,53},85->{54,55,56,57},86->{92,93},87->{80,81,82,83,84,85,86},88->{72,73},89->{87},90->{70,71},91->{88 ,89},92->{18,19,20,21,22,23,24},93->{94,95},94->{76,77},95->{78,79},96->{10,11},97->{100,101},98->{102,103} ,99->{104},100->{14,15},101->{16,17},102->{14,15},103->{16,17},104->{111,113,115,117,119,121,123,125} ,105->{112,114,116,118,120,122,124},106->{8,9},107->{105},108->{2,3},109->{110},110->{106,107}] ,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] | +- p:[74] c: [74] | +- p:[6] c: [6] | +- p:[2,108,3,5,4] c: [2,3,4,5,108] | `- p:[8,78,77,76,94,15,100,97,11,96,13,10,12,102,98,17,101,103,93,24,14,16,92,31,38,19,26,42,20,27,46,21,28,50,22,29,54,23,30,36,18,25,32,80,87,73,72,88,71,70,90,63,58,39,81,43,33,82,47,34,83,51,35,84,55,85,60,40,44,48,52,56,65,41,45,49,53,57,67,59,61,69,62,64,66,68,91,89,37,86,95] c: [8,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,72,73,76,77,78,80,81,82,83,84,85,86,87,88,89,92,93,94,95,96,97,98,100,101,102,103] | +- p:[68] c: [68] | `- p:[70] c: [70]) + Applied Processor: AbstractSize Minimize + Details: () * Step 8: AbstractFlow MAYBE + Considered Problem: Program: Domain: [A,B,C,E,F,H,I,K,T,A1,0.0,0.1,0.2,0.3,0.3.0,0.3.1] f2.0 ~> f5.1 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f2.0 ~> f5.41 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f5.1 ~> f8.2 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f5.1 ~> f8.40 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.2 ~> f8.2 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.2 ~> f8.40 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f17.3 ~> f17.3 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f17.3 ~> f17.39 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f27.4 ~> f31.5 [A <= A, B <= B, C <= C, E <= E, F <= 0*K, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f27.4 ~> f31.37 [A <= A, B <= B, C <= C, E <= E, F <= 0*K, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.5 ~> f34.6 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.5 ~> f34.34 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.6 ~> f34.6 [A <= A, B <= B, C <= K + C, E <= E, F <= unknown, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.6 ~> f34.34 [A <= A, B <= B, C <= K + C, E <= E, F <= unknown, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f46.7 ~> f50.9 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= unknown, I <= I, K <= K, T <= T, A1 <= A1] f46.7 ~> f50.33 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= unknown, I <= I, K <= K, T <= T, A1 <= A1] f46.8 ~> f50.9 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= 0*K, I <= I, K <= K, T <= T, A1 <= A1] f46.8 ~> f50.33 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= 0*K, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.11 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.12 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.13 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.14 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.15 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.16 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.32 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.11 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.12 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.13 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.14 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.15 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.16 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.32 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.11 ~> f53.11 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.13 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.14 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.15 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.16 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.32 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f53.12 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.12 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.12 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.12 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.13 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.13 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.13 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.13 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.14 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.14 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.14 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.14 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.15 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.15 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.15 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.15 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.16 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.16 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.16 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.16 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f69.17 ~> f80.19 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f69.17 ~> f80.21 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f69.18 ~> f80.19 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f69.18 ~> f80.21 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f80.19 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f80.19 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.20 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.20 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f80.21 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f80.21 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f92.22 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + B] f92.22 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + B] f101.23 ~> f101.23 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + C] f101.23 ~> f101.30 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + C] f110.24 ~> f110.24 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] f110.24 ~> f110.29 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] f119.25 ~> f119.25 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] f119.25 ~> f119.28 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] f132.26 ~> f132.26 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f132.26 ~> f132.27 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f132.27 ~> f27.4 [A <= A, B <= B, C <= C, E <= K + E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f132.27 ~> f27.38 [A <= A, B <= B, C <= C, E <= K + E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.11 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.12 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.13 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.14 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.15 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.16 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f119.28 ~> f53.32 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f110.29 ~> f119.28 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f101.30 ~> f110.24 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f101.30 ~> f110.29 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f92.31 ~> f101.23 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f92.31 ~> f101.30 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.32 ~> f50.9 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.32 ~> f50.33 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.33 ~> f132.26 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.33 ~> f132.27 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.5 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.35 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.36 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.37 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.35 ~> f46.7 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.35 ~> f46.8 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.36 ~> f46.7 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.36 ~> f46.8 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.37 ~> f1.42 [A <= A, B <= B, C <= C, E <= E, F <= 0*K, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f27.38 ~> f1.42 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f17.39 ~> f27.4 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f17.39 ~> f27.38 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.40 ~> f5.1 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.40 ~> f5.41 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f5.41 ~> f17.39 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f1.42 ~> exitus616 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] + Loop: [0.0 <= 0*K] f119.25 ~> f119.25 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] + Loop: [0.1 <= 0*K] f17.3 ~> f17.3 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] + Loop: [0.2 <= K + A + B + C] f5.1 ~> f8.2 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.40 ~> f5.1 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f5.1 ~> f8.40 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.2 ~> f8.40 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f8.2 ~> f8.2 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] + Loop: [0.3 <= 50*K + A + A1 + B + C + E] f27.4 ~> f31.5 [A <= A, B <= B, C <= C, E <= E, F <= 0*K, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f132.27 ~> f27.4 [A <= A, B <= B, C <= C, E <= K + E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f132.26 ~> f132.27 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f132.26 ~> f132.26 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.33 ~> f132.26 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f46.7 ~> f50.33 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= unknown, I <= I, K <= K, T <= T, A1 <= A1] f31.35 ~> f46.7 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.35 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.5 ~> f34.34 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.5 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.6 ~> f34.34 [A <= A, B <= B, C <= K + C, E <= E, F <= unknown, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.5 ~> f34.6 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.6 ~> f34.6 [A <= A, B <= B, C <= K + C, E <= E, F <= unknown, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.36 ~> f46.7 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f34.34 ~> f31.36 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f46.8 ~> f50.33 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= 0*K, I <= I, K <= K, T <= T, A1 <= A1] f31.35 ~> f46.8 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f31.36 ~> f46.8 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.32 ~> f50.33 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.9 ~> f53.32 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f46.7 ~> f50.9 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= unknown, I <= I, K <= K, T <= T, A1 <= A1] f46.8 ~> f50.9 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= 0*K, I <= I, K <= K, T <= T, A1 <= A1] f53.32 ~> f50.9 [A <= A, B <= K + B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.32 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.12 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f50.9 ~> f53.12 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.12 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.13 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f50.9 ~> f53.13 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.13 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.14 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f50.9 ~> f53.14 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.14 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.15 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f50.9 ~> f53.15 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.15 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.16 ~> f69.10 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f50.9 ~> f53.16 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.16 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.11 ~> f53.16 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f50.9 ~> f53.11 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.10 ~> f53.11 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.11 ~> f53.11 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.11 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f110.29 ~> f119.28 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f110.24 ~> f110.29 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] f110.24 ~> f110.24 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= K + A1] f101.30 ~> f110.24 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f101.23 ~> f101.30 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + C] f101.23 ~> f101.23 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + C] f92.31 ~> f101.23 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f80.19 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.17 ~> f80.19 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f53.12 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.12 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.13 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.13 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.13 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.14 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.14 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.14 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.15 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.11 ~> f53.15 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.15 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.16 ~> f69.17 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.16 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.18 ~> f80.19 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f53.12 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.13 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.14 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.15 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.16 ~> f69.18 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f69.20 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.12 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.13 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.14 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.15 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f53.16 ~> f69.20 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= unknown, K <= unknown, T <= T, A1 <= A1] f80.21 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.17 ~> f80.21 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f69.18 ~> f80.21 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= unknown, A1 <= A1] f92.22 ~> f92.31 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + B] f80.19 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f69.20 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f80.21 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f92.22 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + B] f92.31 ~> f101.30 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f101.30 ~> f110.29 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f53.11 ~> f53.32 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1] f119.28 ~> f53.32 [A <= A, B <= B, C <= K + C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] f50.33 ~> f132.27 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= K, T <= T, A1 <= A1] + Loop: [0.3.0 <= K + A1 + B] f92.22 ~> f92.22 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + B] + Loop: [0.3.1 <= K + A1 + C] f101.23 ~> f101.23 [A <= A, B <= B, C <= C, E <= E, F <= F, H <= H, I <= I, K <= unknown, T <= T, A1 <= A1 + C] + Applied Processor: AbstractFlow + Details: () * Step 9: Lare MAYBE + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,E,F,H,I,K,T,A1,0.0,0.1,0.2,0.3,0.3.0,0.3.1] f2.0 ~> f5.1 [] f2.0 ~> f5.41 [] f5.1 ~> f8.2 [] f5.1 ~> f8.40 [] f8.2 ~> f8.2 [C ~+> C,K ~+> C] f8.2 ~> f8.40 [C ~+> C,K ~+> C] f17.3 ~> f17.3 [B ~+> B,K ~+> B] f17.3 ~> f17.39 [B ~+> B,K ~+> B] f27.4 ~> f31.5 [K ~=> F] f27.4 ~> f31.37 [K ~=> F] f31.5 ~> f34.6 [] f31.5 ~> f34.34 [] f34.6 ~> f34.6 [huge ~=> F,C ~+> C,K ~+> C] f34.6 ~> f34.34 [huge ~=> F,C ~+> C,K ~+> C] f46.7 ~> f50.9 [huge ~=> H] f46.7 ~> f50.33 [huge ~=> H] f46.8 ~> f50.9 [K ~=> H] f46.8 ~> f50.33 [K ~=> H] f50.9 ~> f53.11 [] f50.9 ~> f53.12 [] f50.9 ~> f53.13 [] f50.9 ~> f53.14 [] f50.9 ~> f53.15 [] f50.9 ~> f53.16 [] f50.9 ~> f53.32 [] f69.10 ~> f53.11 [C ~+> C,K ~+> C] f69.10 ~> f53.12 [C ~+> C,K ~+> C] f69.10 ~> f53.13 [C ~+> C,K ~+> C] f69.10 ~> f53.14 [C ~+> C,K ~+> C] f69.10 ~> f53.15 [C ~+> C,K ~+> C] f69.10 ~> f53.16 [C ~+> C,K ~+> C] f69.10 ~> f53.32 [C ~+> C,K ~+> C] f53.11 ~> f53.11 [huge ~=> K,C ~+> C,K ~+> C] f53.11 ~> f53.13 [huge ~=> K,C ~+> C,K ~+> C] f53.11 ~> f53.14 [huge ~=> K,C ~+> C,K ~+> C] f53.11 ~> f53.15 [huge ~=> K,C ~+> C,K ~+> C] f53.11 ~> f53.16 [huge ~=> K,C ~+> C,K ~+> C] f53.11 ~> f53.32 [huge ~=> K,C ~+> C,K ~+> C] f53.12 ~> f69.10 [huge ~=> I,huge ~=> K] f53.12 ~> f69.17 [huge ~=> I,huge ~=> K] f53.12 ~> f69.18 [huge ~=> I,huge ~=> K] f53.12 ~> f69.20 [huge ~=> I,huge ~=> K] f53.13 ~> f69.10 [huge ~=> I,huge ~=> K] f53.13 ~> f69.17 [huge ~=> I,huge ~=> K] f53.13 ~> f69.18 [huge ~=> I,huge ~=> K] f53.13 ~> f69.20 [huge ~=> I,huge ~=> K] f53.14 ~> f69.10 [huge ~=> I,huge ~=> K] f53.14 ~> f69.17 [huge ~=> I,huge ~=> K] f53.14 ~> f69.18 [huge ~=> I,huge ~=> K] f53.14 ~> f69.20 [huge ~=> I,huge ~=> K] f53.15 ~> f69.10 [huge ~=> I,huge ~=> K] f53.15 ~> f69.17 [huge ~=> I,huge ~=> K] f53.15 ~> f69.18 [huge ~=> I,huge ~=> K] f53.15 ~> f69.20 [huge ~=> I,huge ~=> K] f53.16 ~> f69.10 [huge ~=> I,huge ~=> K] f53.16 ~> f69.17 [huge ~=> I,huge ~=> K] f53.16 ~> f69.18 [huge ~=> I,huge ~=> K] f53.16 ~> f69.20 [huge ~=> I,huge ~=> K] f69.17 ~> f80.19 [huge ~=> T] f69.17 ~> f80.21 [huge ~=> T] f69.18 ~> f80.19 [huge ~=> T] f69.18 ~> f80.21 [huge ~=> T] f80.19 ~> f92.22 [] f80.19 ~> f92.31 [] f69.20 ~> f92.22 [] f69.20 ~> f92.31 [] f80.21 ~> f92.22 [] f80.21 ~> f92.31 [] f92.22 ~> f92.22 [huge ~=> K,A1 ~+> A1,B ~+> A1] f92.22 ~> f92.31 [huge ~=> K,A1 ~+> A1,B ~+> A1] f101.23 ~> f101.23 [huge ~=> K,A1 ~+> A1,C ~+> A1] f101.23 ~> f101.30 [huge ~=> K,A1 ~+> A1,C ~+> A1] f110.24 ~> f110.24 [huge ~=> K,A1 ~+> A1,K ~+> A1] f110.24 ~> f110.29 [huge ~=> K,A1 ~+> A1,K ~+> A1] f119.25 ~> f119.25 [huge ~=> K,A1 ~+> A1,K ~+> A1] f119.25 ~> f119.28 [huge ~=> K,A1 ~+> A1,K ~+> A1] f132.26 ~> f132.26 [B ~+> B,K ~+> B] f132.26 ~> f132.27 [B ~+> B,K ~+> B] f132.27 ~> f27.4 [E ~+> E,K ~+> E] f132.27 ~> f27.38 [E ~+> E,K ~+> E] f119.28 ~> f53.11 [C ~+> C,K ~+> C] f119.28 ~> f53.12 [C ~+> C,K ~+> C] f119.28 ~> f53.13 [C ~+> C,K ~+> C] f119.28 ~> f53.14 [C ~+> C,K ~+> C] f119.28 ~> f53.15 [C ~+> C,K ~+> C] f119.28 ~> f53.16 [C ~+> C,K ~+> C] f119.28 ~> f53.32 [C ~+> C,K ~+> C] f110.29 ~> f119.28 [] f101.30 ~> f110.24 [] f101.30 ~> f110.29 [] f92.31 ~> f101.23 [] f92.31 ~> f101.30 [] f53.32 ~> f50.9 [B ~+> B,K ~+> B] f53.32 ~> f50.33 [B ~+> B,K ~+> B] f50.33 ~> f132.26 [] f50.33 ~> f132.27 [] f34.34 ~> f31.5 [B ~+> B,K ~+> B] f34.34 ~> f31.35 [B ~+> B,K ~+> B] f34.34 ~> f31.36 [B ~+> B,K ~+> B] f34.34 ~> f31.37 [B ~+> B,K ~+> B] f31.35 ~> f46.7 [] f31.35 ~> f46.8 [] f31.36 ~> f46.7 [] f31.36 ~> f46.8 [] f31.37 ~> f1.42 [K ~=> F] f27.38 ~> f1.42 [] f17.39 ~> f27.4 [] f17.39 ~> f27.38 [] f8.40 ~> f5.1 [B ~+> B,K ~+> B] f8.40 ~> f5.41 [B ~+> B,K ~+> B] f5.41 ~> f17.39 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] f1.42 ~> exitus616 [] + Loop: [K ~=> 0.0] f119.25 ~> f119.25 [huge ~=> K,A1 ~+> A1,K ~+> A1] + Loop: [K ~=> 0.1] f17.3 ~> f17.3 [B ~+> B,K ~+> B] + Loop: [A ~+> 0.2,B ~+> 0.2,C ~+> 0.2,K ~+> 0.2] f5.1 ~> f8.2 [] f8.40 ~> f5.1 [B ~+> B,K ~+> B] f5.1 ~> f8.40 [] f8.2 ~> f8.40 [C ~+> C,K ~+> C] f8.2 ~> f8.2 [C ~+> C,K ~+> C] + Loop: [A ~+> 0.3,A1 ~+> 0.3,B ~+> 0.3,C ~+> 0.3,E ~+> 0.3,K ~*> 0.3] f27.4 ~> f31.5 [K ~=> F] f132.27 ~> f27.4 [E ~+> E,K ~+> E] f132.26 ~> f132.27 [B ~+> B,K ~+> B] f132.26 ~> f132.26 [B ~+> B,K ~+> B] f50.33 ~> f132.26 [] f46.7 ~> f50.33 [huge ~=> H] f31.35 ~> f46.7 [] f34.34 ~> f31.35 [B ~+> B,K ~+> B] f31.5 ~> f34.34 [] f34.34 ~> f31.5 [B ~+> B,K ~+> B] f34.6 ~> f34.34 [huge ~=> F,C ~+> C,K ~+> C] f31.5 ~> f34.6 [] f34.6 ~> f34.6 [huge ~=> F,C ~+> C,K ~+> C] f31.36 ~> f46.7 [] f34.34 ~> f31.36 [B ~+> B,K ~+> B] f46.8 ~> f50.33 [K ~=> H] f31.35 ~> f46.8 [] f31.36 ~> f46.8 [] f53.32 ~> f50.33 [B ~+> B,K ~+> B] f50.9 ~> f53.32 [] f46.7 ~> f50.9 [huge ~=> H] f46.8 ~> f50.9 [K ~=> H] f53.32 ~> f50.9 [B ~+> B,K ~+> B] f69.10 ~> f53.32 [C ~+> C,K ~+> C] f53.12 ~> f69.10 [huge ~=> I,huge ~=> K] f50.9 ~> f53.12 [] f69.10 ~> f53.12 [C ~+> C,K ~+> C] f53.13 ~> f69.10 [huge ~=> I,huge ~=> K] f50.9 ~> f53.13 [] f69.10 ~> f53.13 [C ~+> C,K ~+> C] f53.14 ~> f69.10 [huge ~=> I,huge ~=> K] f50.9 ~> f53.14 [] f69.10 ~> f53.14 [C ~+> C,K ~+> C] f53.15 ~> f69.10 [huge ~=> I,huge ~=> K] f50.9 ~> f53.15 [] f69.10 ~> f53.15 [C ~+> C,K ~+> C] f53.16 ~> f69.10 [huge ~=> I,huge ~=> K] f50.9 ~> f53.16 [] f69.10 ~> f53.16 [C ~+> C,K ~+> C] f53.11 ~> f53.16 [huge ~=> K,C ~+> C,K ~+> C] f50.9 ~> f53.11 [] f69.10 ~> f53.11 [C ~+> C,K ~+> C] f53.11 ~> f53.11 [huge ~=> K,C ~+> C,K ~+> C] f119.28 ~> f53.11 [C ~+> C,K ~+> C] f110.29 ~> f119.28 [] f110.24 ~> f110.29 [huge ~=> K,A1 ~+> A1,K ~+> A1] f110.24 ~> f110.24 [huge ~=> K,A1 ~+> A1,K ~+> A1] f101.30 ~> f110.24 [] f101.23 ~> f101.30 [huge ~=> K,A1 ~+> A1,C ~+> A1] f101.23 ~> f101.23 [huge ~=> K,A1 ~+> A1,C ~+> A1] f92.31 ~> f101.23 [] f80.19 ~> f92.31 [] f69.17 ~> f80.19 [huge ~=> T] f53.12 ~> f69.17 [huge ~=> I,huge ~=> K] f119.28 ~> f53.12 [C ~+> C,K ~+> C] f53.13 ~> f69.17 [huge ~=> I,huge ~=> K] f53.11 ~> f53.13 [huge ~=> K,C ~+> C,K ~+> C] f119.28 ~> f53.13 [C ~+> C,K ~+> C] f53.14 ~> f69.17 [huge ~=> I,huge ~=> K] f53.11 ~> f53.14 [huge ~=> K,C ~+> C,K ~+> C] f119.28 ~> f53.14 [C ~+> C,K ~+> C] f53.15 ~> f69.17 [huge ~=> I,huge ~=> K] f53.11 ~> f53.15 [huge ~=> K,C ~+> C,K ~+> C] f119.28 ~> f53.15 [C ~+> C,K ~+> C] f53.16 ~> f69.17 [huge ~=> I,huge ~=> K] f119.28 ~> f53.16 [C ~+> C,K ~+> C] f69.18 ~> f80.19 [huge ~=> T] f53.12 ~> f69.18 [huge ~=> I,huge ~=> K] f53.13 ~> f69.18 [huge ~=> I,huge ~=> K] f53.14 ~> f69.18 [huge ~=> I,huge ~=> K] f53.15 ~> f69.18 [huge ~=> I,huge ~=> K] f53.16 ~> f69.18 [huge ~=> I,huge ~=> K] f69.20 ~> f92.31 [] f53.12 ~> f69.20 [huge ~=> I,huge ~=> K] f53.13 ~> f69.20 [huge ~=> I,huge ~=> K] f53.14 ~> f69.20 [huge ~=> I,huge ~=> K] f53.15 ~> f69.20 [huge ~=> I,huge ~=> K] f53.16 ~> f69.20 [huge ~=> I,huge ~=> K] f80.21 ~> f92.31 [] f69.17 ~> f80.21 [huge ~=> T] f69.18 ~> f80.21 [huge ~=> T] f92.22 ~> f92.31 [huge ~=> K,A1 ~+> A1,B ~+> A1] f80.19 ~> f92.22 [] f69.20 ~> f92.22 [] f80.21 ~> f92.22 [] f92.22 ~> f92.22 [huge ~=> K,A1 ~+> A1,B ~+> A1] f92.31 ~> f101.30 [] f101.30 ~> f110.29 [] f53.11 ~> f53.32 [huge ~=> K,C ~+> C,K ~+> C] f119.28 ~> f53.32 [C ~+> C,K ~+> C] f50.33 ~> f132.27 [] + Loop: [A1 ~+> 0.3.0,B ~+> 0.3.0,K ~+> 0.3.0] f92.22 ~> f92.22 [huge ~=> K,A1 ~+> A1,B ~+> A1] + Loop: [A1 ~+> 0.3.1,C ~+> 0.3.1,K ~+> 0.3.1] f101.23 ~> f101.23 [huge ~=> K,A1 ~+> A1,C ~+> A1] + Applied Processor: Lare + Details: f2.0 ~> exitus616 [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.2 ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.2 ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.2 ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.2 ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3 ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3 ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3 ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3 ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3 ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> B ,A ~^> C ,A ~^> E ,A ~^> 0.3 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> B ,A1 ~^> C ,A1 ~^> E ,A1 ~^> 0.3 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> B ,B ~^> C ,B ~^> E ,B ~^> 0.3 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> B ,C ~^> C ,C ~^> E ,C ~^> 0.3 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> B ,E ~^> C ,E ~^> E ,E ~^> 0.3 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> B ,K ~^> C ,K ~^> E ,K ~^> 0.3 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f17.3 ~> exitus616 [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3 ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3 ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3 ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3 ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3 ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> B ,A ~^> C ,A ~^> E ,A ~^> 0.3 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> B ,A1 ~^> C ,A1 ~^> E ,A1 ~^> 0.3 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> B ,B ~^> C ,B ~^> E ,B ~^> 0.3 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> B ,C ~^> C ,C ~^> E ,C ~^> 0.3 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> B ,E ~^> C ,E ~^> E ,E ~^> 0.3 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> B ,K ~^> C ,K ~^> E ,K ~^> 0.3 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f119.25 ~> exitus616 [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3 ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3 ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3 ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3 ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3 ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> B ,A ~^> C ,A ~^> E ,A ~^> 0.3 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> B ,A1 ~^> C ,A1 ~^> E ,A1 ~^> 0.3 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> B ,B ~^> C ,B ~^> E ,B ~^> 0.3 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> B ,C ~^> C ,C ~^> E ,C ~^> 0.3 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> B ,E ~^> C ,E ~^> E ,E ~^> 0.3 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> B ,K ~^> C ,K ~^> E ,K ~^> 0.3 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] + + + f8.40> [A ~+> 0.2 ,A ~+> tick ,B ~+> B ,B ~+> 0.2 ,B ~+> tick ,C ~+> C ,C ~+> 0.2 ,C ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.2 ,K ~+> tick ,A ~*> B ,A ~*> C ,B ~*> B ,B ~*> C ,C ~*> B ,C ~*> C ,K ~*> B ,K ~*> C] + f34.34> [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f27.4> [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f132.27> [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f34.34> [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f27.4> [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] f132.27> [K ~=> F ,K ~=> H ,huge ~=> F ,huge ~=> H ,huge ~=> I ,huge ~=> K ,huge ~=> T ,A ~+> 0.3 ,A ~+> tick ,A1 ~+> A1 ,A1 ~+> 0.3 ,A1 ~+> 0.3.0 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,B ~+> A1 ,B ~+> B ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> 0.3.1 ,B ~+> tick ,C ~+> A1 ,C ~+> C ,C ~+> 0.3 ,C ~+> 0.3.0 ,C ~+> 0.3.1 ,C ~+> tick ,E ~+> E ,E ~+> 0.3 ,E ~+> tick ,tick ~+> tick ,K ~+> A1 ,K ~+> B ,K ~+> C ,K ~+> E ,K ~+> 0.3.0 ,K ~+> 0.3.1 ,K ~+> tick ,A ~*> A1 ,A ~*> B ,A ~*> C ,A ~*> E ,A ~*> 0.3.0 ,A ~*> 0.3.1 ,A ~*> tick ,A1 ~*> A1 ,A1 ~*> B ,A1 ~*> C ,A1 ~*> E ,A1 ~*> 0.3.0 ,A1 ~*> 0.3.1 ,A1 ~*> tick ,B ~*> A1 ,B ~*> B ,B ~*> C ,B ~*> E ,B ~*> 0.3.0 ,B ~*> 0.3.1 ,B ~*> tick ,C ~*> A1 ,C ~*> B ,C ~*> C ,C ~*> E ,C ~*> 0.3.0 ,C ~*> 0.3.1 ,C ~*> tick ,E ~*> A1 ,E ~*> B ,E ~*> C ,E ~*> E ,E ~*> 0.3.0 ,E ~*> 0.3.1 ,E ~*> tick ,K ~*> A1 ,K ~*> B ,K ~*> C ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> 0.3.1 ,K ~*> tick ,A ~^> A1 ,A ~^> 0.3.0 ,A ~^> 0.3.1 ,A ~^> tick ,A1 ~^> A1 ,A1 ~^> 0.3.0 ,A1 ~^> 0.3.1 ,A1 ~^> tick ,B ~^> A1 ,B ~^> 0.3.0 ,B ~^> 0.3.1 ,B ~^> tick ,C ~^> A1 ,C ~^> 0.3.0 ,C ~^> 0.3.1 ,C ~^> tick ,E ~^> A1 ,E ~^> 0.3.0 ,E ~^> 0.3.1 ,E ~^> tick ,K ~^> A1 ,K ~^> 0.3.0 ,K ~^> 0.3.1 ,K ~^> tick] + f92.22> [huge ~=> K ,A1 ~+> A1 ,A1 ~+> 0.3.0 ,A1 ~+> tick ,B ~+> A1 ,B ~+> 0.3.0 ,B ~+> tick ,tick ~+> tick ,K ~+> 0.3.0 ,K ~+> tick ,A1 ~*> A1 ,B ~*> A1 ,K ~*> A1] + f101.23> [huge ~=> K ,A1 ~+> A1 ,A1 ~+> 0.3.1 ,A1 ~+> tick ,C ~+> A1 ,C ~+> 0.3.1 ,C ~+> tick ,tick ~+> tick ,K ~+> 0.3.1 ,K ~+> tick ,A1 ~*> A1 ,C ~*> A1 ,K ~*> A1] YES(?,PRIMREC)