YES * Step 1: UnsatPaths YES + Considered Problem: Rules: 0. f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + A] (?,1) 1. f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [A >= 1] (?,1) 2. f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + B] (?,1) 3. f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [B >= 1] (?,1) 4. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(1,1,3,X,1,1,Y,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) True (1,1) 5. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + H] (?,1) 6. f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,1 + I,X,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + I] (?,1) 7. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + H] (?,1) 8. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + E && D >= 1 + I] (?,1) 9. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [E >= 1 && D >= 1 + I] (?,1) 10. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,1,F,G,H,1 + I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W) True (?,1) 11. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W) True (?,1) 12. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + I && E = 0] (?,1) 13. f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,0,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + H] (?,1) 14. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,1 + L,N,O,P,Q,R,S,T,U,V,W) [D >= 2 + L] (?,1) 15. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + M && 0 >= 1 + A] (?,1) 16. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + M && A >= 1] (?,1) 17. f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V,W) [X >= 1 + Y] (?,1) 18. f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V,W) True (?,1) 19. f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V,W) True (?,1) 20. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V,W) [D >= 1 + M && A = 0] (?,1) 21. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V,W) [D >= 1 + I] (?,1) 22. f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + O,Q,R,S,T,U,V,W) [D >= 2 + O] (?,1) 23. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + P && 0 >= 1 + B] (?,1) 24. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + P && B >= 1] (?,1) 25. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V,W) [X >= 1 + Y] (?,1) 26. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V,W) True (?,1) 27. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V,W) True (?,1) 28. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V,W) [D >= 1 + P && B = 0] (?,1) 29. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [C >= 1 + H] (?,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) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,V,W) [C >= 1 + I] (?,1) 31. f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,0,T,U,V,W) [C >= 1 + R] (?,1) 32. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,U,V,W) [C >= 1 + S] (?,1) 33. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V,W) [C >= 1 + T] (?,1) 34. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + F && C*T + U >= 1 + C*R + S && C >= 1 + U] (?,1) 35. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [F >= 1 && C*T + U >= 1 + C*R + S && C >= 1 + U] (?,1) 36. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,V,W) [C*R + S >= C*T + U && C >= 1 + U] (?,1) 37. f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1,W) [X >= 1 + Y] (?,1) 38. f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1,W) True (?,1) 39. f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0,W) True (?,1) 40. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0,W) [C*T + U >= 1 + C*R + S && C >= 1 + U && F = 0] (?,1) 41. f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0) [0 >= 1 + F] (?,1) 42. f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0) [F >= 1] (?,1) 43. f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [F = 0] (?,1) 44. f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [B = 0] (?,1) 45. f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [A = 0] (?,1) 46. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,1 + T,U,V,W) [U >= C] (?,1) 47. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,1 + S,T,U,V,W) [T >= C] (?,1) 48. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V,W) [S >= C] (?,1) 49. f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [R >= C] (?,1) 50. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= C] (?,1) 51. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + E && H >= C] (?,1) 52. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [E >= 1 && H >= C] (?,1) 53. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [H >= C && E = 0] (?,1) 54. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,T,U,V,W) [P >= D] (?,1) 55. f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [1 + O >= D] (?,1) 56. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= D] (?,1) 57. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V,W) [M >= D] (?,1) 58. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [1 + L >= D] (?,1) 59. f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [H >= D] (?,1) 60. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= D] (?,1) 61. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [H >= D] (?,1) 62. f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= D] (?,1) 63. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [H >= D] (?,1) Signature: {(f0,23) ;(f101,23) ;(f104,23) ;(f107,23) ;(f110,23) ;(f113,23) ;(f117,23) ;(f135,23) ;(f136,23) ;(f137,23) ;(f146,23) ;(f26,23) ;(f29,23) ;(f38,23) ;(f41,23) ;(f44,23) ;(f56,23) ;(f59,23) ;(f62,23) ;(f65,23) ;(f77,23) ;(f80,23) ;(f83,23) ;(f86,23) ;(f98,23)} Flow Graph: [0->{2,3,44},1->{2,3,44},2->{41,42,43},3->{41,42,43},4->{5,63},5->{6,62},6->{6,62},7->{8,9,12,60},8->{10 ,11},9->{10,11},10->{8,9,12,60},11->{8,9,12,60},12->{8,9,12,60},13->{14,58},14->{15,16,20,57},15->{17,18,19} ,16->{17,18,19},17->{15,16,20,57},18->{15,16,20,57},19->{15,16,20,57},20->{15,16,20,57},21->{22,55},22->{23 ,24,28,54},23->{25,26,27},24->{25,26,27},25->{23,24,28,54},26->{23,24,28,54},27->{23,24,28,54},28->{23,24,28 ,54},29->{30,50},30->{31,49},31->{32,48},32->{33,47},33->{34,35,36,40,46},34->{37,38,39},35->{37,38,39} ,36->{34,35,36,40,46},37->{34,35,36,40,46},38->{34,35,36,40,46},39->{34,35,36,40,46},40->{34,35,36,40,46} ,41->{},42->{},43->{},44->{},45->{},46->{33,47},47->{32,48},48->{31,49},49->{30,50},50->{29,51,52,53},51->{0 ,1,45},52->{0,1,45},53->{},54->{22,55},55->{21,56},56->{29,51,52,53},57->{14,58},58->{13,59},59->{21,56} ,60->{7,61},61->{13,59},62->{5,63},63->{7,61}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(10,8) ,(10,12) ,(11,8) ,(11,9) ,(12,8) ,(12,9) ,(14,57) ,(17,15) ,(17,20) ,(18,15) ,(18,20) ,(19,15) ,(19,16) ,(20,15) ,(20,16) ,(22,54) ,(25,23) ,(25,28) ,(26,23) ,(26,28) ,(27,23) ,(27,24) ,(28,23) ,(28,24) ,(37,34) ,(37,40) ,(38,34) ,(38,40) ,(39,34) ,(39,35) ,(40,34) ,(40,35) ,(40,36)] * Step 2: FromIts YES + Considered Problem: Rules: 0. f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + A] (?,1) 1. f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [A >= 1] (?,1) 2. f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + B] (?,1) 3. f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [B >= 1] (?,1) 4. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(1,1,3,X,1,1,Y,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) True (1,1) 5. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + H] (?,1) 6. f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,1 + I,X,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + I] (?,1) 7. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + H] (?,1) 8. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + E && D >= 1 + I] (?,1) 9. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [E >= 1 && D >= 1 + I] (?,1) 10. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,1,F,G,H,1 + I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W) True (?,1) 11. f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W) True (?,1) 12. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + I && E = 0] (?,1) 13. f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,0,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + H] (?,1) 14. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,1 + L,N,O,P,Q,R,S,T,U,V,W) [D >= 2 + L] (?,1) 15. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + M && 0 >= 1 + A] (?,1) 16. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + M && A >= 1] (?,1) 17. f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V,W) [X >= 1 + Y] (?,1) 18. f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V,W) True (?,1) 19. f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V,W) True (?,1) 20. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V,W) [D >= 1 + M && A = 0] (?,1) 21. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V,W) [D >= 1 + I] (?,1) 22. f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + O,Q,R,S,T,U,V,W) [D >= 2 + O] (?,1) 23. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + P && 0 >= 1 + B] (?,1) 24. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [D >= 1 + P && B >= 1] (?,1) 25. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V,W) [X >= 1 + Y] (?,1) 26. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V,W) True (?,1) 27. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V,W) True (?,1) 28. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V,W) [D >= 1 + P && B = 0] (?,1) 29. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [C >= 1 + H] (?,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) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,V,W) [C >= 1 + I] (?,1) 31. f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,0,T,U,V,W) [C >= 1 + R] (?,1) 32. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,U,V,W) [C >= 1 + S] (?,1) 33. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V,W) [C >= 1 + T] (?,1) 34. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + F && C*T + U >= 1 + C*R + S && C >= 1 + U] (?,1) 35. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [F >= 1 && C*T + U >= 1 + C*R + S && C >= 1 + U] (?,1) 36. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,V,W) [C*R + S >= C*T + U && C >= 1 + U] (?,1) 37. f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1,W) [X >= 1 + Y] (?,1) 38. f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1,W) True (?,1) 39. f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0,W) True (?,1) 40. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0,W) [C*T + U >= 1 + C*R + S && C >= 1 + U && F = 0] (?,1) 41. f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0) [0 >= 1 + F] (?,1) 42. f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,0) [F >= 1] (?,1) 43. f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [F = 0] (?,1) 44. f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [B = 0] (?,1) 45. f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [A = 0] (?,1) 46. f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,1 + T,U,V,W) [U >= C] (?,1) 47. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,1 + S,T,U,V,W) [T >= C] (?,1) 48. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V,W) [S >= C] (?,1) 49. f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [R >= C] (?,1) 50. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= C] (?,1) 51. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [0 >= 1 + E && H >= C] (?,1) 52. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [E >= 1 && H >= C] (?,1) 53. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,1) [H >= C && E = 0] (?,1) 54. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,T,U,V,W) [P >= D] (?,1) 55. f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [1 + O >= D] (?,1) 56. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= D] (?,1) 57. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V,W) [M >= D] (?,1) 58. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [1 + L >= D] (?,1) 59. f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [H >= D] (?,1) 60. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= D] (?,1) 61. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [H >= D] (?,1) 62. f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [I >= D] (?,1) 63. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) [H >= D] (?,1) Signature: {(f0,23) ;(f101,23) ;(f104,23) ;(f107,23) ;(f110,23) ;(f113,23) ;(f117,23) ;(f135,23) ;(f136,23) ;(f137,23) ;(f146,23) ;(f26,23) ;(f29,23) ;(f38,23) ;(f41,23) ;(f44,23) ;(f56,23) ;(f59,23) ;(f62,23) ;(f65,23) ;(f77,23) ;(f80,23) ;(f83,23) ;(f86,23) ;(f98,23)} Flow Graph: [0->{2,3,44},1->{2,3,44},2->{41,42,43},3->{41,42,43},4->{5,63},5->{6,62},6->{6,62},7->{8,9,12,60},8->{10 ,11},9->{10,11},10->{9,60},11->{12,60},12->{12,60},13->{14,58},14->{15,16,20},15->{17,18,19},16->{17,18,19} ,17->{16,57},18->{16,57},19->{20,57},20->{20,57},21->{22,55},22->{23,24,28},23->{25,26,27},24->{25,26,27} ,25->{24,54},26->{24,54},27->{28,54},28->{28,54},29->{30,50},30->{31,49},31->{32,48},32->{33,47},33->{34,35 ,36,40,46},34->{37,38,39},35->{37,38,39},36->{34,35,36,40,46},37->{35,36,46},38->{35,36,46},39->{36,40,46} ,40->{40,46},41->{},42->{},43->{},44->{},45->{},46->{33,47},47->{32,48},48->{31,49},49->{30,50},50->{29,51 ,52,53},51->{0,1,45},52->{0,1,45},53->{},54->{22,55},55->{21,56},56->{29,51,52,53},57->{14,58},58->{13,59} ,59->{21,56},60->{7,61},61->{13,59},62->{5,63},63->{7,61}] + Applied Processor: FromIts + Details: () * Step 3: Decompose YES + Considered Problem: Rules: f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + A] f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [A >= 1] f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + B] f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [B >= 1] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(1,1,3,X,1,1,Y,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) True f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + H] f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,1 + I,X,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + I] f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + H] f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + E && D >= 1 + I] f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [E >= 1 && D >= 1 + I] f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,1,F,G,H,1 + I,J,1,L,M,N,O,P,Q,R,S,T,U,V ,W) True f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V ,W) True f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + I && E = 0] f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,0,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,1 + L,N,O,P,Q,R,S,T,U,V ,W) [D >= 2 + L] f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + M && 0 >= 1 + A] f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + M && A >= 1] f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V ,W) [X >= 1 + Y] f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V ,W) True f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V ,W) True f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V ,W) [D >= 1 + M && A = 0] f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V ,W) [D >= 1 + I] f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + O,Q,R,S,T,U,V ,W) [D >= 2 + O] f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + P && 0 >= 1 + B] f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + P && B >= 1] f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V ,W) [X >= 1 + Y] f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V ,W) True f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V ,W) True f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V ,W) [D >= 1 + P && B = 0] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [C >= 1 + H] f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,V ,W) [C >= 1 + I] f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,0,T,U,V ,W) [C >= 1 + R] f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,U,V ,W) [C >= 1 + S] f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V ,W) [C >= 1 + T] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + F && C*T + U >= 1 + C*R + S && C >= 1 + U] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [F >= 1 && C*T + U >= 1 + C*R + S && C >= 1 + U] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,V ,W) [C*R + S >= C*T + U && C >= 1 + U] f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1 ,W) [X >= 1 + Y] f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1 ,W) True f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0 ,W) True f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0 ,W) [C*T + U >= 1 + C*R + S && C >= 1 + U && F = 0] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,0) [0 >= 1 + F] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,0) [F >= 1] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [F = 0] f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [B = 0] f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [A = 0] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,1 + T,U,V ,W) [U >= C] f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,1 + S,T,U,V ,W) [T >= C] f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V ,W) [S >= C] f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [R >= C] f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= C] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + E && H >= C] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [E >= 1 && H >= C] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [H >= C && E = 0] f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,T,U,V ,W) [P >= D] f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [1 + O >= D] f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= D] f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V ,W) [M >= D] f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [1 + L >= D] f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [H >= D] f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= D] f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [H >= D] f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= D] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [H >= D] Signature: {(f0,23) ;(f101,23) ;(f104,23) ;(f107,23) ;(f110,23) ;(f113,23) ;(f117,23) ;(f135,23) ;(f136,23) ;(f137,23) ;(f146,23) ;(f26,23) ;(f29,23) ;(f38,23) ;(f41,23) ;(f44,23) ;(f56,23) ;(f59,23) ;(f62,23) ;(f65,23) ;(f77,23) ;(f80,23) ;(f83,23) ;(f86,23) ;(f98,23)} Rule Graph: [0->{2,3,44},1->{2,3,44},2->{41,42,43},3->{41,42,43},4->{5,63},5->{6,62},6->{6,62},7->{8,9,12,60},8->{10 ,11},9->{10,11},10->{9,60},11->{12,60},12->{12,60},13->{14,58},14->{15,16,20},15->{17,18,19},16->{17,18,19} ,17->{16,57},18->{16,57},19->{20,57},20->{20,57},21->{22,55},22->{23,24,28},23->{25,26,27},24->{25,26,27} ,25->{24,54},26->{24,54},27->{28,54},28->{28,54},29->{30,50},30->{31,49},31->{32,48},32->{33,47},33->{34,35 ,36,40,46},34->{37,38,39},35->{37,38,39},36->{34,35,36,40,46},37->{35,36,46},38->{35,36,46},39->{36,40,46} ,40->{40,46},41->{},42->{},43->{},44->{},45->{},46->{33,47},47->{32,48},48->{31,49},49->{30,50},50->{29,51 ,52,53},51->{0,1,45},52->{0,1,45},53->{},54->{22,55},55->{21,56},56->{29,51,52,53},57->{14,58},58->{13,59} ,59->{21,56},60->{7,61},61->{13,59},62->{5,63},63->{7,61}] + 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] | +- p:[5,62,6] c: [5,62] | | | `- p:[6] c: [6] | +- p:[7,60,10,8,9,11,12] c: [7,8,60] | | | +- p:[9,10] c: [9,10] | | | `- p:[12] c: [12] | +- p:[13,58,57,17,15,14,16,18,19,20] c: [13,58] | | | `- p:[14,57,17,15,16,18,19,20] c: [14,15,57] | | | +- p:[16,17,18] c: [16,17,18] | | | `- p:[20] c: [20] | +- p:[21,55,54,25,23,22,24,26,27,28] c: [21,55] | | | `- p:[22,54,25,23,24,26,27,28] c: [22,23,54] | | | +- p:[24,25,26] c: [24,25,26] | | | `- p:[28] c: [28] | `- p:[29,50,49,30,48,31,47,32,46,33,36,37,34,35,38,39,40] c: [29,50] | `- p:[30,49,48,31,47,32,46,33,36,37,34,35,38,39,40] c: [30,49] | `- p:[31,48,47,32,46,33,36,37,34,35,38,39,40] c: [31,48] | `- p:[32,47,46,33,36,37,34,35,38,39,40] c: [32,47] | `- p:[33,46,36,37,34,35,38,39,40] c: [33,46] | +- p:[34,36,37,35,38,39] c: [34,35,36,37,38,39] | `- p:[40] c: [40] * Step 4: CloseWith YES + Considered Problem: (Rules: f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + A] f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [A >= 1] f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + B] f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [B >= 1] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(1,1,3,X,1,1,Y,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) True f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + H] f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f29(A,B,C,D,E,F,G,H,1 + I,X,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + I] f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + H] f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + E && D >= 1 + I] f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [E >= 1 && D >= 1 + I] f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,1,F,G,H,1 + I,J,1,L,M,N,O,P,Q,R,S,T,U,V ,W) True f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V ,W) True f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f41(A,B,C,D,0,F,G,H,1 + I,J,0,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + I && E = 0] f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,0,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,1 + L,N,O,P,Q,R,S,T,U,V ,W) [D >= 2 + L] f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + M && 0 >= 1 + A] f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + M && A >= 1] f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V ,W) [X >= 1 + Y] f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(1,B,C,D,E,F,G,H,I,J,K,L,1 + M,1,O,P,Q,R,S,T,U,V ,W) True f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V ,W) True f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f62(0,B,C,D,E,F,G,H,I,J,K,L,1 + M,0,O,P,Q,R,S,T,U,V ,W) [D >= 1 + M && A = 0] f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V ,W) [D >= 1 + I] f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + O,Q,R,S,T,U,V ,W) [D >= 2 + O] f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + P && 0 >= 1 + B] f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [D >= 1 + P && B >= 1] f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V ,W) [X >= 1 + Y] f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,1,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,1,R,S,T,U,V ,W) True f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V ,W) True f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f83(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,1 + P,0,R,S,T,U,V ,W) [D >= 1 + P && B = 0] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [C >= 1 + H] f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,0,S,T,U,V ,W) [C >= 1 + I] f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,0,T,U,V ,W) [C >= 1 + R] f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,U,V ,W) [C >= 1 + S] f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,V ,W) [C >= 1 + T] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + F && C*T + U >= 1 + C*R + S && C >= 1 + U] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [F >= 1 && C*T + U >= 1 + C*R + S && C >= 1 + U] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,V ,W) [C*R + S >= C*T + U && C >= 1 + U] f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1 ,W) [X >= 1 + Y] f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,1 ,W) True f117(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0 ,W) True f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f113(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,1 + U,0 ,W) [C*T + U >= 1 + C*R + S && C >= 1 + U && F = 0] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,0) [0 >= 1 + F] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,0) [F >= 1] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,E,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [F = 0] f136(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [B = 0] f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [A = 0] f113(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,1 + T,U,V ,W) [U >= C] f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,1 + S,T,U,V ,W) [T >= C] f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V ,W) [S >= C] f104(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f101(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [R >= C] f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= C] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [0 >= 1 + E && H >= C] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f135(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [E >= 1 && H >= C] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f146(A,B,C,D,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,1) [H >= C && E = 0] f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,1 + O,P,Q,R,S,T,U,V ,W) [P >= D] f80(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [1 + O >= D] f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f98(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= D] f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f59(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V ,W) [M >= D] f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [1 + L >= D] f56(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f77(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [H >= D] f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= D] f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f56(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [H >= D] f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f26(A,B,C,D,E,F,G,1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [I >= D] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W) -> f38(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V ,W) [H >= D] Signature: {(f0,23) ;(f101,23) ;(f104,23) ;(f107,23) ;(f110,23) ;(f113,23) ;(f117,23) ;(f135,23) ;(f136,23) ;(f137,23) ;(f146,23) ;(f26,23) ;(f29,23) ;(f38,23) ;(f41,23) ;(f44,23) ;(f56,23) ;(f59,23) ;(f62,23) ;(f65,23) ;(f77,23) ;(f80,23) ;(f83,23) ;(f86,23) ;(f98,23)} Rule Graph: [0->{2,3,44},1->{2,3,44},2->{41,42,43},3->{41,42,43},4->{5,63},5->{6,62},6->{6,62},7->{8,9,12,60},8->{10 ,11},9->{10,11},10->{9,60},11->{12,60},12->{12,60},13->{14,58},14->{15,16,20},15->{17,18,19},16->{17,18,19} ,17->{16,57},18->{16,57},19->{20,57},20->{20,57},21->{22,55},22->{23,24,28},23->{25,26,27},24->{25,26,27} ,25->{24,54},26->{24,54},27->{28,54},28->{28,54},29->{30,50},30->{31,49},31->{32,48},32->{33,47},33->{34,35 ,36,40,46},34->{37,38,39},35->{37,38,39},36->{34,35,36,40,46},37->{35,36,46},38->{35,36,46},39->{36,40,46} ,40->{40,46},41->{},42->{},43->{},44->{},45->{},46->{33,47},47->{32,48},48->{31,49},49->{30,50},50->{29,51 ,52,53},51->{0,1,45},52->{0,1,45},53->{},54->{22,55},55->{21,56},56->{29,51,52,53},57->{14,58},58->{13,59} ,59->{21,56},60->{7,61},61->{13,59},62->{5,63},63->{7,61}] ,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] | +- p:[5,62,6] c: [5,62] | | | `- p:[6] c: [6] | +- p:[7,60,10,8,9,11,12] c: [7,8,60] | | | +- p:[9,10] c: [9,10] | | | `- p:[12] c: [12] | +- p:[13,58,57,17,15,14,16,18,19,20] c: [13,58] | | | `- p:[14,57,17,15,16,18,19,20] c: [14,15,57] | | | +- p:[16,17,18] c: [16,17,18] | | | `- p:[20] c: [20] | +- p:[21,55,54,25,23,22,24,26,27,28] c: [21,55] | | | `- p:[22,54,25,23,24,26,27,28] c: [22,23,54] | | | +- p:[24,25,26] c: [24,25,26] | | | `- p:[28] c: [28] | `- p:[29,50,49,30,48,31,47,32,46,33,36,37,34,35,38,39,40] c: [29,50] | `- p:[30,49,48,31,47,32,46,33,36,37,34,35,38,39,40] c: [30,49] | `- p:[31,48,47,32,46,33,36,37,34,35,38,39,40] c: [31,48] | `- p:[32,47,46,33,36,37,34,35,38,39,40] c: [32,47] | `- p:[33,46,36,37,34,35,38,39,40] c: [33,46] | +- p:[34,36,37,35,38,39] c: [34,35,36,37,38,39] | `- p:[40] c: [40]) + Applied Processor: CloseWith True + Details: () YES