YES * Step 1: UnsatPaths YES + 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,B1,C1) -> f2(A,1 + B,C,D1,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && C >= D1] (?,1) 1. 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,B1,C1) -> f2(A,1 + B,E1,D1,E1,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 1 + C] (?,1) 2. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f15(A,1 + B,C,D,E,0,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 3. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f15(A,1 + B,C,D,E,D1,E1,E1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && 0 >= 1 + D1] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f15(A,1 + B,C,D,E,D1,E1,E1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 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,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [0 >= 1 + I && 200 >= J] (?,1) 6. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [I >= 1 && 200 >= J] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L && 0 >= 1 + D1] (?,1) 10. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L && D1 >= 1] (?,1) 11. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(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,B1,C1) [A >= K] (?,1) 12. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(A,1 + B,C,D,E,F,G,D1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 13. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(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,B1,C1) [A >= B] (?,1) 14. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,0,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L] (?,1) 15. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 16. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + K] (?,1) 17. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [200 >= J && I = 0] (?,1) 18. f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(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,B1,C1) [A >= B] (?,1) 19. f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f90(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 20. f90(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f90(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 21. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 22. f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f103(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 23. 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,B1,C1) -> f122(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 24. f122(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f122(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 25. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f131(A,1 + B,C,D,E,0,G,H,I,J,K,L,M,0,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 26. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f131(A,1 + B,C,D,E,D1,G,H,I,J,K,L,M,E1,E1 + O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && 0 >= 1 + D1] (?,1) 27. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f131(A,1 + B,C,D,E,D1,G,H,I,J,K,L,M,E1,E1 + O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 1] (?,1) 28. f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f141(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,B1,C1) [A >= B] (?,1) 29. f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f147(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,B1,C1) [A >= B] (?,1) 30. f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f155(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 31. f155(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f155(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 32. f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1] (?,1) 33. f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= K] (?,1) 34. f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(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,B1,C1) [A >= B] (?,1) 35. f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 36. f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f187(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 37. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,1 + B,C,D,E,F,G,H,I,J,K,L,M,N,O,D1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && C >= D1] (?,1) 38. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,1 + B,D1,D,E,F,G,H,I,J,K,L,M,N,O,E1,D1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && E1 >= 1 + C] (?,1) 39. f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(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,B1,C1) [A >= B] (?,1) 40. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,D1,E1,E1,1,E1,F1,X,Y,Z,A1,B1,C1) [A >= B && E1 >= 2] (?,1) 41. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,D1,E1,E1,1,1,F1,X,Y,Z,A1,B1,C1) [A >= B && 1 >= E1] (?,1) 42. f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(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,B1,C1) [C >= W] (?,1) 43. f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,1 + B,W,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [W >= 1 + C] (?,1) 44. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && C >= 0] (?,1) 45. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) [B >= 1 + A && 0 >= 1 + C] (?,1) 46. f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 47. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1,C1) [B >= 1 + A && 0 >= 1 + D1] (?,1) 48. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1,C1) [B >= 1 + A && D1 >= 1] (?,1) 49. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,B,0,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 50. f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(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,B1,C1) [K >= 1 + A] (?,1) 51. f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 52. f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,D1,Z,A1,B1,C1) [B >= 1 + A] (?,1) 53. f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(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,B1,C1) [K >= 1 + B] (?,1) 54. f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [0 >= B] (?,1) 55. f155(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(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,B1,C1) [K >= 1 + A] (?,1) 56. f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 57. f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 58. f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 59. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 60. f122(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f119(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,B1,C1) [K >= 1 + A] (?,1) 61. 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,B1,C1) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 62. f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,0,D1,E1,F1) [K >= 1 + A && D1 >= 0] (?,1) 63. f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,D1,E1,F1) [K >= 1 + A && 0 >= 1 + D1] (?,1) 64. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && 0 >= 1 + Z] (?,1) 65. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && Z >= 1] (?,1) 66. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,0,A1,B1,C1) [B >= 1 + A && Z = 0] (?,1) 67. f90(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(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,B1,C1) [K >= 1 + A] (?,1) 68. f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,1,A1,B1,C1) [B >= 1 + A] (?,1) 69. f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 70. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(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,B1,C1) [K >= B] (?,1) 71. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 72. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 73. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(A,B,C,D,E,F,G,D1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 74. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [K >= 1 + A] (?,1) 75. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [L >= A] (?,1) 76. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(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,B1,C1) [K >= 1 + A] (?,1) 77. f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 78. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) [J >= 201] (?,1) 79. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 80. 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,B1,C1) -> 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,B1,C1) [B >= 1 + A && 0 >= C] (?,1) 81. 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,B1,C1) -> f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && C >= 1] (?,1) 82. start(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) True (1,1) Signature: {(f1,29) ;(f100,29) ;(f103,29) ;(f119,29) ;(f122,29) ;(f131,29) ;(f141,29) ;(f147,29) ;(f15,29) ;(f152,29) ;(f155,29) ;(f164,29) ;(f167,29) ;(f176,29) ;(f184,29) ;(f187,29) ;(f199,29) ;(f2,29) ;(f210,29) ;(f218,29) ;(f228,29) ;(f26,29) ;(f30,29) ;(f33,29) ;(f42,29) ;(f47,29) ;(f51,29) ;(f58,29) ;(f68,29) ;(f72,29) ;(f81,29) ;(f87,29) ;(f90,29) ;(start,29)} Flow Graph: [0->{0,1,80,81},1->{0,1,80,81},2->{2,3,4,79},3->{2,3,4,79},4->{2,3,4,79},5->{7,77},6->{7,77},7->{8,76} ,8->{8,76},9->{11,74},10->{11,74},11->{12,73},12->{12,73},13->{13,72},14->{9,10,14,75},15->{16,70},16->{16 ,70},17->{18,69},18->{18,69},19->{20,67},20->{20,67},21->{22,62,63},22->{22,62,63},23->{24,60},24->{24,60} ,25->{25,26,27,59},26->{25,26,27,59},27->{25,26,27,59},28->{28,58},29->{29,57},30->{31,55},31->{31,55} ,32->{33,53},33->{33,53},34->{34,52},35->{36,50},36->{36,50},37->{37,38,47,48,49},38->{37,38,47,48,49} ,39->{39,46},40->{42,43},41->{42,43},42->{40,41,44,45},43->{40,41,44,45},44->{5,6,17,78},45->{},46->{5,6,17 ,78},47->{39,46},48->{39,46},49->{40,41,44,45},50->{35,51},51->{37,38,47,48,49},52->{35,51},53->{32,54} ,54->{34,52},55->{30,56},56->{32,54},57->{30,56},58->{29,57},59->{28,58},60->{23,61},61->{25,26,27,59} ,62->{21,64,65,66},63->{21,64,65,66},64->{30,56},65->{30,56},66->{23,61},67->{19,68},68->{21,64,65,66} ,69->{19,68},70->{15,71},71->{30,56},72->{11,74},73->{13,72},74->{9,10,14,75},75->{15,71},76->{7,77},77->{9 ,10,14,75},78->{},79->{5,6,17,78},80->{},81->{2,3,4,79},82->{0,1,80,81}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(47,39) ,(48,39) ,(49,40) ,(49,41) ,(49,45) ,(51,37) ,(51,38) ,(52,35) ,(57,30) ,(58,29) ,(59,28) ,(61,25) ,(61,26) ,(61,27) ,(62,64) ,(62,65) ,(64,30) ,(65,30) ,(66,23) ,(68,21) ,(68,64) ,(68,66) ,(69,19) ,(71,30) ,(73,13) ,(79,5) ,(79,17) ,(81,2) ,(81,3) ,(81,4)] * Step 2: UnreachableRules YES + 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,B1,C1) -> f2(A,1 + B,C,D1,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && C >= D1] (?,1) 1. 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,B1,C1) -> f2(A,1 + B,E1,D1,E1,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 1 + C] (?,1) 2. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f15(A,1 + B,C,D,E,0,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 3. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f15(A,1 + B,C,D,E,D1,E1,E1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && 0 >= 1 + D1] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f15(A,1 + B,C,D,E,D1,E1,E1 + H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 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,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [0 >= 1 + I && 200 >= J] (?,1) 6. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [I >= 1 && 200 >= J] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L && 0 >= 1 + D1] (?,1) 10. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L && D1 >= 1] (?,1) 11. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(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,B1,C1) [A >= K] (?,1) 12. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(A,1 + B,C,D,E,F,G,D1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 13. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(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,B1,C1) [A >= B] (?,1) 14. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,0,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L] (?,1) 15. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 16. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + K] (?,1) 17. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [200 >= J && I = 0] (?,1) 18. f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(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,B1,C1) [A >= B] (?,1) 19. f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f90(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 20. f90(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f90(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 21. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 22. f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f103(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 23. 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,B1,C1) -> f122(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 24. f122(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f122(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 25. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f131(A,1 + B,C,D,E,0,G,H,I,J,K,L,M,0,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 26. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f131(A,1 + B,C,D,E,D1,G,H,I,J,K,L,M,E1,E1 + O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && 0 >= 1 + D1] (?,1) 27. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f131(A,1 + B,C,D,E,D1,G,H,I,J,K,L,M,E1,E1 + O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 1] (?,1) 28. f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f141(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,B1,C1) [A >= B] (?,1) 29. f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f147(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,B1,C1) [A >= B] (?,1) 30. f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f155(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 31. f155(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f155(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 32. f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1] (?,1) 33. f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= K] (?,1) 34. f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(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,B1,C1) [A >= B] (?,1) 35. f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 36. f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f187(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 37. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,1 + B,C,D,E,F,G,H,I,J,K,L,M,N,O,D1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && C >= D1] (?,1) 38. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,1 + B,D1,D,E,F,G,H,I,J,K,L,M,N,O,E1,D1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && E1 >= 1 + C] (?,1) 39. f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(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,B1,C1) [A >= B] (?,1) 40. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,D1,E1,E1,1,E1,F1,X,Y,Z,A1,B1,C1) [A >= B && E1 >= 2] (?,1) 41. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,D1,E1,E1,1,1,F1,X,Y,Z,A1,B1,C1) [A >= B && 1 >= E1] (?,1) 42. f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(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,B1,C1) [C >= W] (?,1) 43. f228(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,1 + B,W,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [W >= 1 + C] (?,1) 44. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && C >= 0] (?,1) 45. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) [B >= 1 + A && 0 >= 1 + C] (?,1) 46. f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 47. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1,C1) [B >= 1 + A && 0 >= 1 + D1] (?,1) 48. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1,C1) [B >= 1 + A && D1 >= 1] (?,1) 49. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,B,0,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 50. f187(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(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,B1,C1) [K >= 1 + A] (?,1) 51. f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 52. f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,D1,Z,A1,B1,C1) [B >= 1 + A] (?,1) 53. f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(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,B1,C1) [K >= 1 + B] (?,1) 54. f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [0 >= B] (?,1) 55. f155(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(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,B1,C1) [K >= 1 + A] (?,1) 56. f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 57. f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 58. f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 59. f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 60. f122(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f119(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,B1,C1) [K >= 1 + A] (?,1) 61. 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,B1,C1) -> f131(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 62. f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,0,D1,E1,F1) [K >= 1 + A && D1 >= 0] (?,1) 63. f103(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,D1,E1,F1) [K >= 1 + A && 0 >= 1 + D1] (?,1) 64. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && 0 >= 1 + Z] (?,1) 65. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && Z >= 1] (?,1) 66. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,0,A1,B1,C1) [B >= 1 + A && Z = 0] (?,1) 67. f90(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(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,B1,C1) [K >= 1 + A] (?,1) 68. f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,1,A1,B1,C1) [B >= 1 + A] (?,1) 69. f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 70. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(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,B1,C1) [K >= B] (?,1) 71. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 72. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 73. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(A,B,C,D,E,F,G,D1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 74. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [K >= 1 + A] (?,1) 75. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [L >= A] (?,1) 76. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(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,B1,C1) [K >= 1 + A] (?,1) 77. f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 78. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) [J >= 201] (?,1) 79. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 80. 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,B1,C1) -> 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,B1,C1) [B >= 1 + A && 0 >= C] (?,1) 81. 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,B1,C1) -> f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && C >= 1] (?,1) 82. start(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) True (1,1) Signature: {(f1,29) ;(f100,29) ;(f103,29) ;(f119,29) ;(f122,29) ;(f131,29) ;(f141,29) ;(f147,29) ;(f15,29) ;(f152,29) ;(f155,29) ;(f164,29) ;(f167,29) ;(f176,29) ;(f184,29) ;(f187,29) ;(f199,29) ;(f2,29) ;(f210,29) ;(f218,29) ;(f228,29) ;(f26,29) ;(f30,29) ;(f33,29) ;(f42,29) ;(f47,29) ;(f51,29) ;(f58,29) ;(f68,29) ;(f72,29) ;(f81,29) ;(f87,29) ;(f90,29) ;(start,29)} Flow Graph: [0->{0,1,80,81},1->{0,1,80,81},2->{2,3,4,79},3->{2,3,4,79},4->{2,3,4,79},5->{7,77},6->{7,77},7->{8,76} ,8->{8,76},9->{11,74},10->{11,74},11->{12,73},12->{12,73},13->{13,72},14->{9,10,14,75},15->{16,70},16->{16 ,70},17->{18,69},18->{18,69},19->{20,67},20->{20,67},21->{22,62,63},22->{22,62,63},23->{24,60},24->{24,60} ,25->{25,26,27,59},26->{25,26,27,59},27->{25,26,27,59},28->{28,58},29->{29,57},30->{31,55},31->{31,55} ,32->{33,53},33->{33,53},34->{34,52},35->{36,50},36->{36,50},37->{37,38,47,48,49},38->{37,38,47,48,49} ,39->{39,46},40->{42,43},41->{42,43},42->{40,41,44,45},43->{40,41,44,45},44->{5,6,17,78},45->{},46->{5,6,17 ,78},47->{46},48->{46},49->{44},50->{35,51},51->{47,48,49},52->{51},53->{32,54},54->{34,52},55->{30,56} ,56->{32,54},57->{56},58->{57},59->{58},60->{23,61},61->{59},62->{21,66},63->{21,64,65,66},64->{56},65->{56} ,66->{61},67->{19,68},68->{65},69->{68},70->{15,71},71->{56},72->{11,74},73->{72},74->{9,10,14,75},75->{15 ,71},76->{7,77},77->{9,10,14,75},78->{},79->{6,78},80->{},81->{79},82->{0,1,80,81}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [2 ,3 ,4 ,13 ,19 ,20 ,21 ,22 ,23 ,24 ,25 ,26 ,27 ,28 ,29 ,30 ,31 ,35 ,36 ,37 ,38 ,39 ,40 ,41 ,42 ,43 ,45 ,50 ,55 ,57 ,58 ,59 ,60 ,61 ,62 ,63 ,64 ,66 ,67] * Step 3: FromIts YES + 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,B1,C1) -> f2(A,1 + B,C,D1,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && C >= D1] (?,1) 1. 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,B1,C1) -> f2(A,1 + B,E1,D1,E1,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B && D1 >= 1 + C] (?,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,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [0 >= 1 + I && 200 >= J] (?,1) 6. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [I >= 1 && 200 >= J] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= K] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L && 0 >= 1 + D1] (?,1) 10. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L && D1 >= 1] (?,1) 11. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(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,B1,C1) [A >= K] (?,1) 12. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(A,1 + B,C,D,E,F,G,D1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 14. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,0,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= 1 + L] (?,1) 15. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [A >= B] (?,1) 16. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + K] (?,1) 17. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [200 >= J && I = 0] (?,1) 18. f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(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,B1,C1) [A >= B] (?,1) 32. f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1] (?,1) 33. f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= K] (?,1) 34. f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(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,B1,C1) [A >= B] (?,1) 44. f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && C >= 0] (?,1) 46. f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 47. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1,C1) [B >= 1 + A && 0 >= 1 + D1] (?,1) 48. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1,C1) [B >= 1 + A && D1 >= 1] (?,1) 49. f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,B,0,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 51. f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 52. f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,D1,Z,A1,B1,C1) [B >= 1 + A] (?,1) 53. f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(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,B1,C1) [K >= 1 + B] (?,1) 54. f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [0 >= B] (?,1) 56. f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 65. f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && Z >= 1] (?,1) 68. f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,1,A1,B1,C1) [B >= 1 + A] (?,1) 69. f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 70. f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(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,B1,C1) [K >= B] (?,1) 71. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 72. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 73. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(A,B,C,D,E,F,G,D1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 74. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [K >= 1 + A] (?,1) 75. f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [L >= A] (?,1) 76. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(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,B1,C1) [K >= 1 + A] (?,1) 77. f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 78. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) [J >= 201] (?,1) 79. f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A] (?,1) 80. 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,B1,C1) -> 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,B1,C1) [B >= 1 + A && 0 >= C] (?,1) 81. 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,B1,C1) -> f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) [B >= 1 + A && C >= 1] (?,1) 82. start(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1,C1) True (1,1) Signature: {(f1,29) ;(f100,29) ;(f103,29) ;(f119,29) ;(f122,29) ;(f131,29) ;(f141,29) ;(f147,29) ;(f15,29) ;(f152,29) ;(f155,29) ;(f164,29) ;(f167,29) ;(f176,29) ;(f184,29) ;(f187,29) ;(f199,29) ;(f2,29) ;(f210,29) ;(f218,29) ;(f228,29) ;(f26,29) ;(f30,29) ;(f33,29) ;(f42,29) ;(f47,29) ;(f51,29) ;(f58,29) ;(f68,29) ;(f72,29) ;(f81,29) ;(f87,29) ;(f90,29) ;(start,29)} Flow Graph: [0->{0,1,80,81},1->{0,1,80,81},5->{7,77},6->{7,77},7->{8,76},8->{8,76},9->{11,74},10->{11,74},11->{12,73} ,12->{12,73},14->{9,10,14,75},15->{16,70},16->{16,70},17->{18,69},18->{18,69},32->{33,53},33->{33,53} ,34->{34,52},44->{5,6,17,78},46->{5,6,17,78},47->{46},48->{46},49->{44},51->{47,48,49},52->{51},53->{32,54} ,54->{34,52},56->{32,54},65->{56},68->{65},69->{68},70->{15,71},71->{56},72->{11,74},73->{72},74->{9,10,14 ,75},75->{15,71},76->{7,77},77->{9,10,14,75},78->{},79->{6,78},80->{},81->{79},82->{0,1,80,81}] + Applied Processor: FromIts + Details: () * Step 4: Decompose YES + Considered Problem: Rules: 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,B1,C1) -> f2(A,1 + B,C,D1,E,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B && C >= D1] 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,B1,C1) -> f2(A,1 + B,E1,D1,E1,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B && D1 >= 1 + C] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [0 >= 1 + I && 200 >= J] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [I >= 1 && 200 >= J] f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B] f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= K] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= 1 + L && 0 >= 1 + D1] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= 1 + L && D1 >= 1] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(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,B1 ,C1) [A >= K] f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(A,1 + B,C,D,E,F,G,D1,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,0,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= 1 + L] f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + K] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [200 >= J && I = 0] f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(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,B1 ,C1) [A >= B] f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1] f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= K] f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(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,B1 ,C1) [A >= B] f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A && C >= 0] f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1 ,C1) [B >= 1 + A && 0 >= 1 + D1] f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1 ,C1) [B >= 1 + A && D1 >= 1] f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,B,0,D,E,F,G,H,0,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1 ,C1) [B >= 1 + A] f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,D1,Z,A1,B1 ,C1) [B >= 1 + A] f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(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,B1 ,C1) [K >= 1 + B] f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [0 >= B] f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A && Z >= 1] f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,1,A1,B1 ,C1) [B >= 1 + A] f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(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,B1 ,C1) [K >= B] f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(A,B,C,D,E,F,G,D1,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [K >= 1 + A] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [L >= A] f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(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,B1 ,C1) [K >= 1 + A] f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1 ,C1) [J >= 201] f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] 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,B1,C1) -> 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,B1 ,C1) [B >= 1 + A && 0 >= C] 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,B1,C1) -> f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A && C >= 1] start(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1 ,C1) True Signature: {(f1,29) ;(f100,29) ;(f103,29) ;(f119,29) ;(f122,29) ;(f131,29) ;(f141,29) ;(f147,29) ;(f15,29) ;(f152,29) ;(f155,29) ;(f164,29) ;(f167,29) ;(f176,29) ;(f184,29) ;(f187,29) ;(f199,29) ;(f2,29) ;(f210,29) ;(f218,29) ;(f228,29) ;(f26,29) ;(f30,29) ;(f33,29) ;(f42,29) ;(f47,29) ;(f51,29) ;(f58,29) ;(f68,29) ;(f72,29) ;(f81,29) ;(f87,29) ;(f90,29) ;(start,29)} Rule Graph: [0->{0,1,80,81},1->{0,1,80,81},5->{7,77},6->{7,77},7->{8,76},8->{8,76},9->{11,74},10->{11,74},11->{12,73} ,12->{12,73},14->{9,10,14,75},15->{16,70},16->{16,70},17->{18,69},18->{18,69},32->{33,53},33->{33,53} ,34->{34,52},44->{5,6,17,78},46->{5,6,17,78},47->{46},48->{46},49->{44},51->{47,48,49},52->{51},53->{32,54} ,54->{34,52},56->{32,54},65->{56},68->{65},69->{68},70->{15,71},71->{56},72->{11,74},73->{72},74->{9,10,14 ,75},75->{15,71},76->{7,77},77->{9,10,14,75},78->{},79->{6,78},80->{},81->{79},82->{0,1,80,81}] + Applied Processor: Decompose NoGreedy + Details: We construct a looptree: P: [0,1,5,6,7,8,9,10,11,12,14,15,16,17,18,32,33,34,44,46,47,48,49,51,52,53,54,56,65,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82] | +- p:[0,1] c: [1] | | | `- p:[0] c: [0] | `- p:[6,44,49,51,52,34,54,53,32,56,65,68,69,17,46,47,48,18,71,70,15,75,14,74,9,77,5,76,7,8,10,72,73,11,12,16,33] c: [9,10,14] | +- p:[11,72,73,12] c: [12] | | | `- p:[11,72,73] c: [11,72,73] | `- p:[5,44,49,51,52,34,54,53,32,56,65,68,69,17,46,47,48,18,71,70,15,75,77,6,76,7,8,16,33] c: [8] | `- p:[5,44,49,51,52,34,54,53,32,56,65,68,69,17,46,47,48,18,71,70,15,75,77,6,76,7,16,33] c: [5,6,17,44,46,47,48,49,51,52] | +- p:[18] c: [18] | +- p:[7,76] c: [7,76] | +- p:[15,70,16] c: [15,70] | | | `- p:[16] c: [16] | +- p:[32,53,33] c: [33] | | | `- p:[32,53] c: [32,53] | `- p:[34] c: [34] * Step 5: CloseWith YES + Considered Problem: (Rules: 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,B1,C1) -> f2(A,1 + B,C,D1,E,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B && C >= D1] 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,B1,C1) -> f2(A,1 + B,E1,D1,E1,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B && D1 >= 1 + C] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [0 >= 1 + I && 200 >= J] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [I >= 1 && 200 >= J] f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B] f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f33(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= K] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= 1 + L && 0 >= 1 + D1] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,D1,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= 1 + L && D1 >= 1] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(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,B1 ,C1) [A >= K] f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f51(A,1 + B,C,D,E,F,G,D1,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,0,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= 1 + L] f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [A >= B] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f72(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + K] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [200 >= J && I = 0] f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f81(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,B1 ,C1) [A >= B] f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1] f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f167(A,B,C,D,E,F,G,D1,I,J,1 + K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= K] f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(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,B1 ,C1) [A >= B] f218(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A && C >= 0] f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,I,1 + J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1 ,C1) [B >= 1 + A && 0 >= 1 + D1] f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f210(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,D1,Y,Z,A1,B1 ,C1) [B >= 1 + A && D1 >= 1] f199(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f218(A,B,0,D,E,F,G,H,0,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,0,Y,Z,A1,B1 ,C1) [B >= 1 + A] f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f199(A,B,0,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f184(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,D1,Z,A1,B1 ,C1) [B >= 1 + A] f167(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(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,B1 ,C1) [K >= 1 + B] f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f176(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [0 >= B] f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f164(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A && Z >= 1] f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f100(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,1,A1,B1 ,C1) [B >= 1 + A] f81(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f87(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f72(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(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,B1 ,C1) [K >= B] f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f152(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f47(A,B,C,D,E,F,G,H,I,J,1 + K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f58(A,B,C,D,E,F,G,D1,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,1 + L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [K >= 1 + A] f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [L >= A] f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f30(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,B1 ,C1) [K >= 1 + A] f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f42(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1 ,C1) [J >= 201] f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> f26(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A] 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,B1,C1) -> 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,B1 ,C1) [B >= 1 + A && 0 >= C] 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,B1,C1) -> f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P ,Q,R,S,T,U,V,W,X,Y,Z,A1,B1 ,C1) [B >= 1 + A && C >= 1] start(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1) -> 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,B1 ,C1) True Signature: {(f1,29) ;(f100,29) ;(f103,29) ;(f119,29) ;(f122,29) ;(f131,29) ;(f141,29) ;(f147,29) ;(f15,29) ;(f152,29) ;(f155,29) ;(f164,29) ;(f167,29) ;(f176,29) ;(f184,29) ;(f187,29) ;(f199,29) ;(f2,29) ;(f210,29) ;(f218,29) ;(f228,29) ;(f26,29) ;(f30,29) ;(f33,29) ;(f42,29) ;(f47,29) ;(f51,29) ;(f58,29) ;(f68,29) ;(f72,29) ;(f81,29) ;(f87,29) ;(f90,29) ;(start,29)} Rule Graph: [0->{0,1,80,81},1->{0,1,80,81},5->{7,77},6->{7,77},7->{8,76},8->{8,76},9->{11,74},10->{11,74},11->{12,73} ,12->{12,73},14->{9,10,14,75},15->{16,70},16->{16,70},17->{18,69},18->{18,69},32->{33,53},33->{33,53} ,34->{34,52},44->{5,6,17,78},46->{5,6,17,78},47->{46},48->{46},49->{44},51->{47,48,49},52->{51},53->{32,54} ,54->{34,52},56->{32,54},65->{56},68->{65},69->{68},70->{15,71},71->{56},72->{11,74},73->{72},74->{9,10,14 ,75},75->{15,71},76->{7,77},77->{9,10,14,75},78->{},79->{6,78},80->{},81->{79},82->{0,1,80,81}] ,We construct a looptree: P: [0,1,5,6,7,8,9,10,11,12,14,15,16,17,18,32,33,34,44,46,47,48,49,51,52,53,54,56,65,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82] | +- p:[0,1] c: [1] | | | `- p:[0] c: [0] | `- p:[6,44,49,51,52,34,54,53,32,56,65,68,69,17,46,47,48,18,71,70,15,75,14,74,9,77,5,76,7,8,10,72,73,11,12,16,33] c: [9,10,14] | +- p:[11,72,73,12] c: [12] | | | `- p:[11,72,73] c: [11,72,73] | `- p:[5,44,49,51,52,34,54,53,32,56,65,68,69,17,46,47,48,18,71,70,15,75,77,6,76,7,8,16,33] c: [8] | `- p:[5,44,49,51,52,34,54,53,32,56,65,68,69,17,46,47,48,18,71,70,15,75,77,6,76,7,16,33] c: [5,6,17,44,46,47,48,49,51,52] | +- p:[18] c: [18] | +- p:[7,76] c: [7,76] | +- p:[15,70,16] c: [15,70] | | | `- p:[16] c: [16] | +- p:[32,53,33] c: [33] | | | `- p:[32,53] c: [32,53] | `- p:[34] c: [34]) + Applied Processor: CloseWith True + Details: () YES