YES * Step 1: UnsatPaths YES + Considered Problem: Rules: 0. f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + A] (?,1) 1. f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1] (?,1) 2. f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + B] (?,1) 3. f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1] (?,1) 4. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + C] (?,1) 5. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1] (?,1) 6. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(1,1,1,4,W,X,0,0,0,0,0,Y,0,N,O,P,Q,R,S,T,U,V) True (1,1) 7. f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [E >= 1 + M] (?,1) 8. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + M && 0 >= 1 + A] (?,1) 9. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + M && A >= 1] (?,1) 10. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V) [W >= 1] (?,1) 11. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V) [W >= 1] (?,1) 12. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V) [0 >= W] (?,1) 13. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V) [E >= 1 + M && A = 0] (?,1) 14. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + M,P,Q,R,S,T,U,V) [E >= 1 + M] (?,1) 15. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + O && 0 >= 1 + B] (?,1) 16. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + O && B >= 1] (?,1) 17. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U,V) [W >= 1 + X] (?,1) 18. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U,V) True (?,1) 19. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U,V) True (?,1) 20. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U,V) [E >= 1 + O && B = 0] (?,1) 21. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H + W,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 22. f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,1,D,E,F,G,F,I,J,K,L,0,N,O,P,1,R,S,T,U,V) [F = H] (?,1) 23. f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V) [F >= 1 + H] (?,1) 24. f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V) [H >= 1 + F] (?,1) 25. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,C,D,E,F,G,H,I + W,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 26. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,F,J,K,L,0,N,O,P,Q,1,S,T,U,V) [F = I] (?,1) 27. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U,V) [F >= 1 + I] (?,1) 28. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U,V) [I >= 1 + F] (?,1) 29. f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,0,K,L,M,N,0,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 30. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,J + W,K,L,M,N,1 + O,P,Q,R,S,T,U,V) [D >= 1 + O] (?,1) 31. f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,I,F,K,L,1 + M,N,O,P,Q,R,1,T,U,V) [F = J] (?,1) 32. f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U,V) [F >= 1 + J] (?,1) 33. f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U,V) [J >= 1 + F] (?,1) 34. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,0,L,0,N,O,P,Q,R,S,T,U,V) [D >= 1 + O] (?,1) 35. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,K + W,L,1 + M,N,O,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 36. f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,1,D,E,F,G,H,I,J,F,L,M,N,1 + O,P,Q,R,S,1,U,V) [F = K] (?,1) 37. f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U,V) [F >= 1 + K] (?,1) 38. f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U,V) [K >= 1 + F] (?,1) 39. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V) [0 >= 1 + G] (?,1) 40. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V) [G >= 1] (?,1) 41. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [G = 0] (?,1) 42. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [C = 0] (?,1) 43. f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [B = 0] (?,1) 44. f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [A = 0] (?,1) 45. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && 0 >= 1 + C] (?,1) 46. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && C >= 1] (?,1) 47. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U,V) [M >= D && C = 0] (?,1) 48. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,1) [W >= 1 + X && Y >= 1 + Z && A1 >= 1 + B1 && O >= D && C1 >= 1 + D1] (?,1) 49. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [W >= 1 + X && Y >= 1 + Z && O >= D && A1 >= 1 + B1] (?,1) 50. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [W >= 1 + X && O >= D && Y >= 1 + Z] (?,1) 51. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [O >= D && W >= 1 + X] (?,1) 52. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [O >= D] (?,1) 53. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [O >= D && 0 >= 1 + C] (?,1) 54. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [O >= D && C >= 1] (?,1) 55. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U,V) [O >= D && C = 0] (?,1) 56. f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [M >= D] (?,1) 57. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && 0 >= 1 + C] (?,1) 58. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && C >= 1] (?,1) 59. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U,V) [M >= D && C = 0] (?,1) 60. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && 0 >= 1 + C] (?,1) 61. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && C >= 1] (?,1) 62. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V) [M >= D && C = 0] (?,1) 63. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [O >= E] (?,1) 64. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [M >= E] (?,1) 65. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [M >= E] (?,1) 66. f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [M >= E] (?,1) Signature: {(f0,22) ;(f102,22) ;(f106,22) ;(f112,22) ;(f129,22) ;(f130,22) ;(f131,22) ;(f132,22) ;(f141,22) ;(f25,22) ;(f31,22) ;(f34,22) ;(f44,22) ;(f47,22) ;(f50,22) ;(f60,22) ;(f66,22) ;(f72,22) ;(f78,22) ;(f84,22) ;(f88,22) ;(f94,22)} Flow Graph: [0->{2,3,43},1->{2,3,43},2->{4,5,42},3->{4,5,42},4->{39,40,41},5->{39,40,41},6->{7,66},7->{7,66},8->{10,11 ,12},9->{10,11,12},10->{8,9,13,65},11->{8,9,13,65},12->{8,9,13,65},13->{8,9,13,65},14->{15,16,20,63},15->{17 ,18,19},16->{17,18,19},17->{15,16,20,63},18->{15,16,20,63},19->{15,16,20,63},20->{15,16,20,63},21->{21,60,61 ,62},22->{25,57,58,59},23->{25,57,58,59},24->{25,57,58,59},25->{25,57,58,59},26->{29,56},27->{29,56},28->{29 ,56},29->{30,53,54,55},30->{30,53,54,55},31->{29,56},32->{29,56},33->{29,56},34->{35,45,46,47},35->{35,45,46 ,47},36->{34,48,49,50,51,52},37->{34,48,49,50,51,52},38->{34,48,49,50,51,52},39->{},40->{},41->{},42->{} ,43->{},44->{},45->{36,37,38},46->{36,37,38},47->{34,48,49,50,51,52},48->{0,1,44},49->{0,1,44},50->{0,1,44} ,51->{0,1,44},52->{0,1,44},53->{31,32,33},54->{31,32,33},55->{29,56},56->{34,48,49,50,51,52},57->{26,27,28} ,58->{26,27,28},59->{29,56},60->{22,23,24},61->{22,23,24},62->{25,57,58,59},63->{14,64},64->{21,60,61,62} ,65->{14,64},66->{8,9,13,65}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(10,8) ,(10,13) ,(11,8) ,(11,9) ,(12,8) ,(12,9) ,(13,8) ,(13,9) ,(17,15) ,(17,20) ,(18,15) ,(18,20) ,(19,15) ,(19,16) ,(20,15) ,(20,16) ,(22,57) ,(22,59) ,(23,57) ,(23,58) ,(24,57) ,(24,58) ,(62,57) ,(62,58)] * Step 2: FromIts YES + Considered Problem: Rules: 0. f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + A] (?,1) 1. f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1] (?,1) 2. f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + B] (?,1) 3. f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1] (?,1) 4. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + C] (?,1) 5. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1] (?,1) 6. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(1,1,1,4,W,X,0,0,0,0,0,Y,0,N,O,P,Q,R,S,T,U,V) True (1,1) 7. f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [E >= 1 + M] (?,1) 8. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + M && 0 >= 1 + A] (?,1) 9. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + M && A >= 1] (?,1) 10. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V) [W >= 1] (?,1) 11. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V) [W >= 1] (?,1) 12. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V) [0 >= W] (?,1) 13. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V) [E >= 1 + M && A = 0] (?,1) 14. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + M,P,Q,R,S,T,U,V) [E >= 1 + M] (?,1) 15. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + O && 0 >= 1 + B] (?,1) 16. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + O && B >= 1] (?,1) 17. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U,V) [W >= 1 + X] (?,1) 18. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U,V) True (?,1) 19. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U,V) True (?,1) 20. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U,V) [E >= 1 + O && B = 0] (?,1) 21. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H + W,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 22. f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,1,D,E,F,G,F,I,J,K,L,0,N,O,P,1,R,S,T,U,V) [F = H] (?,1) 23. f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V) [F >= 1 + H] (?,1) 24. f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V) [H >= 1 + F] (?,1) 25. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,C,D,E,F,G,H,I + W,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 26. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,F,J,K,L,0,N,O,P,Q,1,S,T,U,V) [F = I] (?,1) 27. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U,V) [F >= 1 + I] (?,1) 28. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U,V) [I >= 1 + F] (?,1) 29. f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,0,K,L,M,N,0,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 30. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,J + W,K,L,M,N,1 + O,P,Q,R,S,T,U,V) [D >= 1 + O] (?,1) 31. f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,I,F,K,L,1 + M,N,O,P,Q,R,1,T,U,V) [F = J] (?,1) 32. f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U,V) [F >= 1 + J] (?,1) 33. f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U,V) [J >= 1 + F] (?,1) 34. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,0,L,0,N,O,P,Q,R,S,T,U,V) [D >= 1 + O] (?,1) 35. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,K + W,L,1 + M,N,O,P,Q,R,S,T,U,V) [D >= 1 + M] (?,1) 36. f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,1,D,E,F,G,H,I,J,F,L,M,N,1 + O,P,Q,R,S,1,U,V) [F = K] (?,1) 37. f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U,V) [F >= 1 + K] (?,1) 38. f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U,V) [K >= 1 + F] (?,1) 39. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V) [0 >= 1 + G] (?,1) 40. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V) [G >= 1] (?,1) 41. f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [G = 0] (?,1) 42. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [C = 0] (?,1) 43. f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [B = 0] (?,1) 44. f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1,V) [A = 0] (?,1) 45. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && 0 >= 1 + C] (?,1) 46. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && C >= 1] (?,1) 47. f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U,V) [M >= D && C = 0] (?,1) 48. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,1) [W >= 1 + X && Y >= 1 + Z && A1 >= 1 + B1 && O >= D && C1 >= 1 + D1] (?,1) 49. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [W >= 1 + X && Y >= 1 + Z && O >= D && A1 >= 1 + B1] (?,1) 50. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [W >= 1 + X && O >= D && Y >= 1 + Z] (?,1) 51. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [O >= D && W >= 1 + X] (?,1) 52. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [O >= D] (?,1) 53. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [O >= D && 0 >= 1 + C] (?,1) 54. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [O >= D && C >= 1] (?,1) 55. f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U,V) [O >= D && C = 0] (?,1) 56. f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [M >= D] (?,1) 57. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && 0 >= 1 + C] (?,1) 58. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && C >= 1] (?,1) 59. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U,V) [M >= D && C = 0] (?,1) 60. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && 0 >= 1 + C] (?,1) 61. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [M >= D && C >= 1] (?,1) 62. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U,V) [M >= D && C = 0] (?,1) 63. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U,V) [O >= E] (?,1) 64. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [M >= E] (?,1) 65. f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [M >= E] (?,1) 66. f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [M >= E] (?,1) Signature: {(f0,22) ;(f102,22) ;(f106,22) ;(f112,22) ;(f129,22) ;(f130,22) ;(f131,22) ;(f132,22) ;(f141,22) ;(f25,22) ;(f31,22) ;(f34,22) ;(f44,22) ;(f47,22) ;(f50,22) ;(f60,22) ;(f66,22) ;(f72,22) ;(f78,22) ;(f84,22) ;(f88,22) ;(f94,22)} Flow Graph: [0->{2,3,43},1->{2,3,43},2->{4,5,42},3->{4,5,42},4->{39,40,41},5->{39,40,41},6->{7,66},7->{7,66},8->{10,11 ,12},9->{10,11,12},10->{9,65},11->{13,65},12->{13,65},13->{13,65},14->{15,16,20,63},15->{17,18,19},16->{17 ,18,19},17->{16,63},18->{16,63},19->{20,63},20->{20,63},21->{21,60,61,62},22->{25,58},23->{25,59},24->{25 ,59},25->{25,57,58,59},26->{29,56},27->{29,56},28->{29,56},29->{30,53,54,55},30->{30,53,54,55},31->{29,56} ,32->{29,56},33->{29,56},34->{35,45,46,47},35->{35,45,46,47},36->{34,48,49,50,51,52},37->{34,48,49,50,51,52} ,38->{34,48,49,50,51,52},39->{},40->{},41->{},42->{},43->{},44->{},45->{36,37,38},46->{36,37,38},47->{34,48 ,49,50,51,52},48->{0,1,44},49->{0,1,44},50->{0,1,44},51->{0,1,44},52->{0,1,44},53->{31,32,33},54->{31,32,33} ,55->{29,56},56->{34,48,49,50,51,52},57->{26,27,28},58->{26,27,28},59->{29,56},60->{22,23,24},61->{22,23,24} ,62->{25,59},63->{14,64},64->{21,60,61,62},65->{14,64},66->{8,9,13,65}] + Applied Processor: FromIts + Details: () * Step 3: Decompose YES + Considered Problem: Rules: f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [0 >= 1 + A] f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [A >= 1] f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [0 >= 1 + B] f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [B >= 1] f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [0 >= 1 + C] f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [C >= 1] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(1,1,1,4,W,X,0,0,0,0,0,Y,0,N,O,P,Q,R,S,T,U ,V) True f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + M] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + M && 0 >= 1 + A] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + M && A >= 1] f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U ,V) [W >= 1] f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U ,V) [W >= 1] f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U ,V) [0 >= W] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U ,V) [E >= 1 + M && A = 0] f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + M,P,Q,R,S,T,U ,V) [E >= 1 + M] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + O && 0 >= 1 + B] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + O && B >= 1] f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U ,V) [W >= 1 + X] f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U ,V) True f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U ,V) True f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U ,V) [E >= 1 + O && B = 0] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H + W,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [D >= 1 + M] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,1,D,E,F,G,F,I,J,K,L,0,N,O,P,1,R,S,T,U ,V) [F = H] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U ,V) [F >= 1 + H] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U ,V) [H >= 1 + F] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,C,D,E,F,G,H,I + W,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [D >= 1 + M] f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,F,J,K,L,0,N,O,P,Q,1,S,T,U ,V) [F = I] f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U ,V) [F >= 1 + I] f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U ,V) [I >= 1 + F] f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,0,K,L,M,N,0,P,Q,R,S,T,U ,V) [D >= 1 + M] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,J + W,K,L,M,N,1 + O,P,Q,R,S,T,U ,V) [D >= 1 + O] f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,I,F,K,L,1 + M,N,O,P,Q,R,1,T,U ,V) [F = J] f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U ,V) [F >= 1 + J] f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U ,V) [J >= 1 + F] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,0,L,0,N,O,P,Q,R,S,T,U ,V) [D >= 1 + O] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,K + W,L,1 + M,N,O,P,Q,R,S,T,U ,V) [D >= 1 + M] f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,1,D,E,F,G,H,I,J,F,L,M,N,1 + O,P,Q,R,S,1,U ,V) [F = K] f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U ,V) [F >= 1 + K] f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U ,V) [K >= 1 + F] f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0 ,V) [0 >= 1 + G] f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0 ,V) [G >= 1] f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [G = 0] f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [C = 0] f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [B = 0] f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [A = 0] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && 0 >= 1 + C] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && C >= 1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U ,V) [M >= D && C = 0] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,1) [W >= 1 + X && Y >= 1 + Z && A1 >= 1 + B1 && O >= D && C1 >= 1 + D1] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [W >= 1 + X && Y >= 1 + Z && O >= D && A1 >= 1 + B1] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [W >= 1 + X && O >= D && Y >= 1 + Z] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [O >= D && W >= 1 + X] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [O >= D] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [O >= D && 0 >= 1 + C] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [O >= D && C >= 1] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U ,V) [O >= D && C = 0] f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U ,V) [M >= D] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && 0 >= 1 + C] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && C >= 1] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U ,V) [M >= D && C = 0] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && 0 >= 1 + C] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && C >= 1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U ,V) [M >= D && C = 0] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [O >= E] f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U ,V) [M >= E] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U ,V) [M >= E] f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U ,V) [M >= E] Signature: {(f0,22) ;(f102,22) ;(f106,22) ;(f112,22) ;(f129,22) ;(f130,22) ;(f131,22) ;(f132,22) ;(f141,22) ;(f25,22) ;(f31,22) ;(f34,22) ;(f44,22) ;(f47,22) ;(f50,22) ;(f60,22) ;(f66,22) ;(f72,22) ;(f78,22) ;(f84,22) ;(f88,22) ;(f94,22)} Rule Graph: [0->{2,3,43},1->{2,3,43},2->{4,5,42},3->{4,5,42},4->{39,40,41},5->{39,40,41},6->{7,66},7->{7,66},8->{10,11 ,12},9->{10,11,12},10->{9,65},11->{13,65},12->{13,65},13->{13,65},14->{15,16,20,63},15->{17,18,19},16->{17 ,18,19},17->{16,63},18->{16,63},19->{20,63},20->{20,63},21->{21,60,61,62},22->{25,58},23->{25,59},24->{25 ,59},25->{25,57,58,59},26->{29,56},27->{29,56},28->{29,56},29->{30,53,54,55},30->{30,53,54,55},31->{29,56} ,32->{29,56},33->{29,56},34->{35,45,46,47},35->{35,45,46,47},36->{34,48,49,50,51,52},37->{34,48,49,50,51,52} ,38->{34,48,49,50,51,52},39->{},40->{},41->{},42->{},43->{},44->{},45->{36,37,38},46->{36,37,38},47->{34,48 ,49,50,51,52},48->{0,1,44},49->{0,1,44},50->{0,1,44},51->{0,1,44},52->{0,1,44},53->{31,32,33},54->{31,32,33} ,55->{29,56},56->{34,48,49,50,51,52},57->{26,27,28},58->{26,27,28},59->{29,56},60->{22,23,24},61->{22,23,24} ,62->{25,59},63->{14,64},64->{21,60,61,62},65->{14,64},66->{8,9,13,65}] + Applied Processor: Decompose NoGreedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,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] | +- p:[7] c: [7] | +- p:[10,9] c: [9,10] | +- p:[13] c: [13] | +- p:[14,63,17,15,16,18,19,20] c: [14,15,63] | | | +- p:[16,17,18] c: [16,17,18] | | | `- p:[20] c: [20] | +- p:[21] c: [21] | +- p:[25] c: [25] | +- p:[29,31,53,30,54,32,33,55] c: [29,31,32,33,53,54,55] | | | `- p:[30] c: [30] | `- p:[34,36,45,35,46,37,38,47] c: [34,36,37,38,45,46,47] | `- p:[35] c: [35] * Step 4: CloseWith YES + Considered Problem: (Rules: f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [0 >= 1 + A] f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [A >= 1] f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [0 >= 1 + B] f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [B >= 1] f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [0 >= 1 + C] f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [C >= 1] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(1,1,1,4,W,X,0,0,0,0,0,Y,0,N,O,P,Q,R,S,T,U ,V) True f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f25(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + M] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + M && 0 >= 1 + A] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + M && A >= 1] f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U ,V) [W >= 1] f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U ,V) [W >= 1] f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U ,V) [0 >= W] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U ,V) [E >= 1 + M && A = 0] f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + M,P,Q,R,S,T,U ,V) [E >= 1 + M] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + O && 0 >= 1 + B] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [E >= 1 + O && B >= 1] f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U ,V) [W >= 1 + X] f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,1,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,1,Q,R,S,T,U ,V) True f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U ,V) True f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,0,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,0,Q,R,S,T,U ,V) [E >= 1 + O && B = 0] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H + W,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [D >= 1 + M] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,1,D,E,F,G,F,I,J,K,L,0,N,O,P,1,R,S,T,U ,V) [F = H] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U ,V) [F >= 1 + H] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U ,V) [H >= 1 + F] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,C,D,E,F,G,H,I + W,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [D >= 1 + M] f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,F,J,K,L,0,N,O,P,Q,1,S,T,U ,V) [F = I] f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U ,V) [F >= 1 + I] f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U ,V) [I >= 1 + F] f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,0,K,L,M,N,0,P,Q,R,S,T,U ,V) [D >= 1 + M] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f88(A,B,C,D,E,F,G,H,I,J + W,K,L,M,N,1 + O,P,Q,R,S,T,U ,V) [D >= 1 + O] f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,1,D,E,F,G,H,I,F,K,L,1 + M,N,O,P,Q,R,1,T,U ,V) [F = J] f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U ,V) [F >= 1 + J] f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U ,V) [J >= 1 + F] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,0,L,0,N,O,P,Q,R,S,T,U ,V) [D >= 1 + O] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f106(A,B,C,D,E,F,G,H,I,J,K + W,L,1 + M,N,O,P,Q,R,S,T,U ,V) [D >= 1 + M] f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,1,D,E,F,G,H,I,J,F,L,M,N,1 + O,P,Q,R,S,1,U ,V) [F = K] f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U ,V) [F >= 1 + K] f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U ,V) [K >= 1 + F] f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0 ,V) [0 >= 1 + G] f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0 ,V) [G >= 1] f132(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [G = 0] f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [C = 0] f130(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [B = 0] f129(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f141(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 ,V) [A = 0] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && 0 >= 1 + C] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f112(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && C >= 1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,0,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,0,U ,V) [M >= D && C = 0] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,1) [W >= 1 + X && Y >= 1 + Z && A1 >= 1 + B1 && O >= D && C1 >= 1 + D1] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [W >= 1 + X && Y >= 1 + Z && O >= D && A1 >= 1 + B1] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [W >= 1 + X && O >= D && Y >= 1 + Z] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [O >= D && W >= 1 + X] f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f129(A,B,C,D,E,F,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,0) [O >= D] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [O >= D && 0 >= 1 + C] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f94(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [O >= D && C >= 1] f88(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,0,T,U ,V) [O >= D && C = 0] f84(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U ,V) [M >= D] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && 0 >= 1 + C] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && C >= 1] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f84(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,0,S,T,U ,V) [M >= D && C = 0] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && 0 >= 1 + C] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U ,V) [M >= D && C >= 1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f72(A,B,0,D,E,F,G,H,I,J,K,L,0,N,O,P,0,R,S,T,U ,V) [M >= D && C = 0] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,1 + M,N,O,P,Q,R,S,T,U ,V) [O >= E] f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U ,V) [M >= E] f31(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U ,V) [M >= E] f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f31(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U ,V) [M >= E] Signature: {(f0,22) ;(f102,22) ;(f106,22) ;(f112,22) ;(f129,22) ;(f130,22) ;(f131,22) ;(f132,22) ;(f141,22) ;(f25,22) ;(f31,22) ;(f34,22) ;(f44,22) ;(f47,22) ;(f50,22) ;(f60,22) ;(f66,22) ;(f72,22) ;(f78,22) ;(f84,22) ;(f88,22) ;(f94,22)} Rule Graph: [0->{2,3,43},1->{2,3,43},2->{4,5,42},3->{4,5,42},4->{39,40,41},5->{39,40,41},6->{7,66},7->{7,66},8->{10,11 ,12},9->{10,11,12},10->{9,65},11->{13,65},12->{13,65},13->{13,65},14->{15,16,20,63},15->{17,18,19},16->{17 ,18,19},17->{16,63},18->{16,63},19->{20,63},20->{20,63},21->{21,60,61,62},22->{25,58},23->{25,59},24->{25 ,59},25->{25,57,58,59},26->{29,56},27->{29,56},28->{29,56},29->{30,53,54,55},30->{30,53,54,55},31->{29,56} ,32->{29,56},33->{29,56},34->{35,45,46,47},35->{35,45,46,47},36->{34,48,49,50,51,52},37->{34,48,49,50,51,52} ,38->{34,48,49,50,51,52},39->{},40->{},41->{},42->{},43->{},44->{},45->{36,37,38},46->{36,37,38},47->{34,48 ,49,50,51,52},48->{0,1,44},49->{0,1,44},50->{0,1,44},51->{0,1,44},52->{0,1,44},53->{31,32,33},54->{31,32,33} ,55->{29,56},56->{34,48,49,50,51,52},57->{26,27,28},58->{26,27,28},59->{29,56},60->{22,23,24},61->{22,23,24} ,62->{25,59},63->{14,64},64->{21,60,61,62},65->{14,64},66->{8,9,13,65}] ,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] | +- p:[7] c: [7] | +- p:[10,9] c: [9,10] | +- p:[13] c: [13] | +- p:[14,63,17,15,16,18,19,20] c: [14,15,63] | | | +- p:[16,17,18] c: [16,17,18] | | | `- p:[20] c: [20] | +- p:[21] c: [21] | +- p:[25] c: [25] | +- p:[29,31,53,30,54,32,33,55] c: [29,31,32,33,53,54,55] | | | `- p:[30] c: [30] | `- p:[34,36,45,35,46,37,38,47] c: [34,36,37,38,45,46,47] | `- p:[35] c: [35]) + Applied Processor: CloseWith True + Details: () YES