YES * Step 1: UnsatPaths YES + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,10,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (1,1) 2. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + B] (?,1) 3. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [B >= 1] (?,1) 4. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,0,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,D1) [B = 0] (?,1) 5. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 6. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,10,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 7. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,B,C,0,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D = 0] (?,1) 8. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + D] (?,1) 9. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D >= 1] (?,1) 10. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 11. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,10,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 12. 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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + H] (?,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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [H >= 1] (?,1) 14. 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,D1) -> f86(A,B,C,D,E,F,G,0,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [H = 0] (?,1) 15. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 16. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,10,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 17. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,0,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [J = 0] (?,1) 18. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + J] (?,1) 19. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [J >= 1] (?,1) 20. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,0,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 21. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,10,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 22. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + N] (?,1) 23. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [N >= 1] (?,1) 24. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,0,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [N = 0] (?,1) 25. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 26. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,10,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 27. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [P = 0] (?,1) 28. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + P] (?,1) 29. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [P >= 1] (?,1) 30. f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,20,0,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 31. f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,20,10,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 32. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + T] (?,1) 33. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1,D1) [T >= 1] (?,1) 34. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,0,V,W,X,Y,Z,A1,B1,C1,D1) [T = 0] (?,1) 35. 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 36. 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,10,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 37. 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,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,0,X,Y,Z,A1,B1,C1,D1) [V = 0] (?,1) 38. 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1,D1) [0 >= 1 + V] (?,1) 39. 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1,D1) [V >= 1] (?,1) 40. f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,200,0,A1,B1,C1,D1) True (?,1) 41. f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,200,10,A1,B1,C1,D1) True (?,1) 42. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1,D1) [0 >= 1 + Z] (?,1) 43. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1,D1) [Z >= 1] (?,1) 44. f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,0,C1,D1) True (?,1) 45. f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,10,C1,D1) True (?,1) 46. 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1,0) [0 >= 1 + B1] (?,1) 47. 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1,0) [B1 >= 1] (?,1) 48. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,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,0,B1,C1,D1) [Z = 0] (?,1) 49. 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,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,0,D1) [B1 = 0] (?,1) 50. f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,1 + D1) [Y >= 1 + D1] (?,1) 51. f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D1 >= Y] (?,1) 52. f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1 + X,Y,Z,A1,B1,C1,D1) [S >= 1 + X] (?,1) 53. f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [X >= S] (?,1) 54. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [M >= 1 + R] (?,1) 55. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [R >= M] (?,1) 56. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(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,D1) [G >= 1 + L] (?,1) 57. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [L >= G] (?,1) 58. 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,D1) -> f30(A,B,C,D,E,1 + F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [A >= 1 + F] (?,1) 59. 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,D1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [F >= A] (?,1) Signature: {(f0,30) ;(f101,30) ;(f107,30) ;(f110,30) ;(f126,30) ;(f138,30) ;(f141,30) ;(f147,30) ;(f150,30) ;(f166,30) ;(f178,30) ;(f18,30) ;(f181,30) ;(f187,30) ;(f190,30) ;(f207,30) ;(f21,30) ;(f27,30) ;(f30,30) ;(f46,30) ;(f58,30) ;(f61,30) ;(f67,30) ;(f70,30) ;(f86,30) ;(f98,30)} Flow Graph: [0->{2,3,4},1->{2,3,4},2->{5,6},3->{5,6},4->{10,11},5->{7,8,9},6->{7,8,9},7->{10,11},8->{58,59},9->{58,59} ,10->{12,13,14},11->{12,13,14},12->{15,16},13->{15,16},14->{20,21},15->{17,18,19},16->{17,18,19},17->{20,21} ,18->{56,57},19->{56,57},20->{22,23,24},21->{22,23,24},22->{25,26},23->{25,26},24->{30,31},25->{27,28,29} ,26->{27,28,29},27->{30,31},28->{54,55},29->{54,55},30->{32,33,34},31->{32,33,34},32->{35,36},33->{35,36} ,34->{40,41},35->{37,38,39},36->{37,38,39},37->{40,41},38->{52,53},39->{52,53},40->{42,43,48},41->{42,43,48} ,42->{44,45},43->{44,45},44->{46,47,49},45->{46,47,49},46->{50,51},47->{50,51},48->{},49->{},50->{50,51} ,51->{},52->{52,53},53->{40,41},54->{54,55},55->{30,31},56->{56,57},57->{20,21},58->{58,59},59->{10,11}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,2) ,(0,3) ,(1,2) ,(1,4) ,(5,8) ,(5,9) ,(6,7) ,(6,8) ,(10,12) ,(10,13) ,(11,12) ,(11,14) ,(15,18) ,(15,19) ,(16,17) ,(16,18) ,(20,22) ,(20,23) ,(21,22) ,(21,24) ,(25,28) ,(25,29) ,(26,27) ,(26,28) ,(30,32) ,(30,33) ,(31,32) ,(31,34) ,(35,38) ,(35,39) ,(36,37) ,(36,38) ,(40,42) ,(40,43) ,(41,42) ,(41,48) ,(44,46) ,(44,47) ,(45,46) ,(45,49)] * Step 2: UnreachableRules YES + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,10,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (1,1) 2. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + B] (?,1) 3. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [B >= 1] (?,1) 4. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,0,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,D1) [B = 0] (?,1) 5. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 6. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,10,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 7. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,B,C,0,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D = 0] (?,1) 8. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + D] (?,1) 9. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D >= 1] (?,1) 10. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 11. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,10,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 12. 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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + H] (?,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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [H >= 1] (?,1) 14. 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,D1) -> f86(A,B,C,D,E,F,G,0,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [H = 0] (?,1) 15. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 16. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,10,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 17. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,0,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [J = 0] (?,1) 18. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + J] (?,1) 19. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [J >= 1] (?,1) 20. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,0,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 21. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,10,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 22. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + N] (?,1) 23. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [N >= 1] (?,1) 24. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,0,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [N = 0] (?,1) 25. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 26. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,10,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 27. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [P = 0] (?,1) 28. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + P] (?,1) 29. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [P >= 1] (?,1) 30. f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,20,0,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 31. f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,20,10,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 32. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1,D1) [0 >= 1 + T] (?,1) 33. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1,D1) [T >= 1] (?,1) 34. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,0,V,W,X,Y,Z,A1,B1,C1,D1) [T = 0] (?,1) 35. 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 36. 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,10,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 37. 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,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,0,X,Y,Z,A1,B1,C1,D1) [V = 0] (?,1) 38. 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1,D1) [0 >= 1 + V] (?,1) 39. 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1,D1) [V >= 1] (?,1) 40. f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,200,0,A1,B1,C1,D1) True (?,1) 41. f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,200,10,A1,B1,C1,D1) True (?,1) 42. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1,D1) [0 >= 1 + Z] (?,1) 43. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1,D1) [Z >= 1] (?,1) 44. f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,0,C1,D1) True (?,1) 45. f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,10,C1,D1) True (?,1) 46. 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1,0) [0 >= 1 + B1] (?,1) 47. 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1,0) [B1 >= 1] (?,1) 48. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,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,0,B1,C1,D1) [Z = 0] (?,1) 49. 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,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,0,D1) [B1 = 0] (?,1) 50. f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,1 + D1) [Y >= 1 + D1] (?,1) 51. f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D1 >= Y] (?,1) 52. f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1 + X,Y,Z,A1,B1,C1,D1) [S >= 1 + X] (?,1) 53. f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [X >= S] (?,1) 54. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [M >= 1 + R] (?,1) 55. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [R >= M] (?,1) 56. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(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,D1) [G >= 1 + L] (?,1) 57. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [L >= G] (?,1) 58. 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,D1) -> f30(A,B,C,D,E,1 + F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [A >= 1 + F] (?,1) 59. 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,D1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [F >= A] (?,1) Signature: {(f0,30) ;(f101,30) ;(f107,30) ;(f110,30) ;(f126,30) ;(f138,30) ;(f141,30) ;(f147,30) ;(f150,30) ;(f166,30) ;(f178,30) ;(f18,30) ;(f181,30) ;(f187,30) ;(f190,30) ;(f207,30) ;(f21,30) ;(f27,30) ;(f30,30) ;(f46,30) ;(f58,30) ;(f61,30) ;(f67,30) ;(f70,30) ;(f86,30) ;(f98,30)} Flow Graph: [0->{4},1->{3},2->{5,6},3->{5,6},4->{10,11},5->{7},6->{9},7->{10,11},8->{58,59},9->{58,59},10->{14} ,11->{13},12->{15,16},13->{15,16},14->{20,21},15->{17},16->{19},17->{20,21},18->{56,57},19->{56,57},20->{24} ,21->{23},22->{25,26},23->{25,26},24->{30,31},25->{27},26->{29},27->{30,31},28->{54,55},29->{54,55},30->{34} ,31->{33},32->{35,36},33->{35,36},34->{40,41},35->{37},36->{39},37->{40,41},38->{52,53},39->{52,53},40->{48} ,41->{43},42->{44,45},43->{44,45},44->{49},45->{47},46->{50,51},47->{50,51},48->{},49->{},50->{50,51},51->{} ,52->{52,53},53->{40,41},54->{54,55},55->{30,31},56->{56,57},57->{20,21},58->{58,59},59->{10,11}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [2 ,8 ,12 ,18 ,22 ,28 ,32 ,38 ,42 ,46] * Step 3: FromIts YES + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,10,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (1,1) 3. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [B >= 1] (?,1) 4. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,0,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,D1) [B = 0] (?,1) 5. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 6. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,10,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 7. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,B,C,0,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D = 0] (?,1) 9. f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D >= 1] (?,1) 10. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 11. f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,10,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [H >= 1] (?,1) 14. 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,D1) -> f86(A,B,C,D,E,F,G,0,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [H = 0] (?,1) 15. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 16. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,10,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 17. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,0,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [J = 0] (?,1) 19. f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [J >= 1] (?,1) 20. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,0,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 21. f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,10,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 23. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [N >= 1] (?,1) 24. f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,0,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [N = 0] (?,1) 25. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 26. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,10,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 27. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [P = 0] (?,1) 29. f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [P >= 1] (?,1) 30. f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,20,0,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 31. f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,20,10,U,V,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 33. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1,D1) [T >= 1] (?,1) 34. f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,0,0,V,W,X,Y,Z,A1,B1,C1,D1) [T = 0] (?,1) 35. 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 36. 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,10,W,X,Y,Z,A1,B1,C1,D1) True (?,1) 37. 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,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0,0,X,Y,Z,A1,B1,C1,D1) [V = 0] (?,1) 39. 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1,D1) [V >= 1] (?,1) 40. f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,200,0,A1,B1,C1,D1) True (?,1) 41. f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,200,10,A1,B1,C1,D1) True (?,1) 43. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1,D1) [Z >= 1] (?,1) 44. f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,0,C1,D1) True (?,1) 45. f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,10,C1,D1) True (?,1) 47. 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1,0) [B1 >= 1] (?,1) 48. f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,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,0,B1,C1,D1) [Z = 0] (?,1) 49. 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,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,0,D1) [B1 = 0] (?,1) 50. f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,1 + D1) [Y >= 1 + D1] (?,1) 51. f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [D1 >= Y] (?,1) 52. f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,1 + X,Y,Z,A1,B1,C1,D1) [S >= 1 + X] (?,1) 53. f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [X >= S] (?,1) 54. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,1 + R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [M >= 1 + R] (?,1) 55. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [R >= M] (?,1) 56. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(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,D1) [G >= 1 + L] (?,1) 57. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [L >= G] (?,1) 58. 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,D1) -> f30(A,B,C,D,E,1 + F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [A >= 1 + F] (?,1) 59. 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,D1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) [F >= A] (?,1) Signature: {(f0,30) ;(f101,30) ;(f107,30) ;(f110,30) ;(f126,30) ;(f138,30) ;(f141,30) ;(f147,30) ;(f150,30) ;(f166,30) ;(f178,30) ;(f18,30) ;(f181,30) ;(f187,30) ;(f190,30) ;(f207,30) ;(f21,30) ;(f27,30) ;(f30,30) ;(f46,30) ;(f58,30) ;(f61,30) ;(f67,30) ;(f70,30) ;(f86,30) ;(f98,30)} Flow Graph: [0->{4},1->{3},3->{5,6},4->{10,11},5->{7},6->{9},7->{10,11},9->{58,59},10->{14},11->{13},13->{15,16} ,14->{20,21},15->{17},16->{19},17->{20,21},19->{56,57},20->{24},21->{23},23->{25,26},24->{30,31},25->{27} ,26->{29},27->{30,31},29->{54,55},30->{34},31->{33},33->{35,36},34->{40,41},35->{37},36->{39},37->{40,41} ,39->{52,53},40->{48},41->{43},43->{44,45},44->{49},45->{47},47->{50,51},48->{},49->{},50->{50,51},51->{} ,52->{52,53},53->{40,41},54->{54,55},55->{30,31},56->{56,57},57->{20,21},58->{58,59},59->{10,11}] + Applied Processor: FromIts + Details: () * Step 4: Decompose YES + Considered Problem: Rules: f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,0,C,D,E,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,10,C,D,E,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [B >= 1] f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,0,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 ,D1) [B = 0] f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,10,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,B,C,0,0,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [D = 0] f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [D >= 1] f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,0,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,10,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True 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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [H >= 1] 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,D1) -> f86(A,B,C,D,E,F,G,0,0,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [H = 0] f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,10,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,0,0,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [J = 0] f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [J >= 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,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,0 ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) 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,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,10 ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [N >= 1] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,0 ,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [N = 0] f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,10,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,0,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [P = 0] f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [P >= 1] f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,20,0,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,20,10,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1 ,D1) [T >= 1] f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,0,0,V,W,X,Y,Z,A1,B1,C1 ,D1) [T = 0] 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1 ,D1) True 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,10,W,X,Y,Z,A1,B1,C1 ,D1) True 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,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,0,0,X,Y,Z,A1,B1,C1 ,D1) [V = 0] 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1 ,D1) [V >= 1] f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,200,0,A1,B1,C1 ,D1) True f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,200,10,A1,B1,C1 ,D1) True f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1 ,D1) [Z >= 1] f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,0,C1 ,D1) True f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,10,C1 ,D1) True 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1 ,0) [B1 >= 1] f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,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,0,B1,C1 ,D1) [Z = 0] 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,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,0 ,D1) [B1 = 0] f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,1 + D1) [Y >= 1 + D1] f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [D1 >= Y] f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,1 + X,Y,Z,A1,B1,C1 ,D1) [S >= 1 + X] f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [X >= 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,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,1 + R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [M >= 1 + R] f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [R >= M] f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(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 ,D1) [G >= 1 + L] f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [L >= G] 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,D1) -> f30(A,B,C,D,E,1 + F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [A >= 1 + F] 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,D1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [F >= A] Signature: {(f0,30) ;(f101,30) ;(f107,30) ;(f110,30) ;(f126,30) ;(f138,30) ;(f141,30) ;(f147,30) ;(f150,30) ;(f166,30) ;(f178,30) ;(f18,30) ;(f181,30) ;(f187,30) ;(f190,30) ;(f207,30) ;(f21,30) ;(f27,30) ;(f30,30) ;(f46,30) ;(f58,30) ;(f61,30) ;(f67,30) ;(f70,30) ;(f86,30) ;(f98,30)} Rule Graph: [0->{4},1->{3},3->{5,6},4->{10,11},5->{7},6->{9},7->{10,11},9->{58,59},10->{14},11->{13},13->{15,16} ,14->{20,21},15->{17},16->{19},17->{20,21},19->{56,57},20->{24},21->{23},23->{25,26},24->{30,31},25->{27} ,26->{29},27->{30,31},29->{54,55},30->{34},31->{33},33->{35,36},34->{40,41},35->{37},36->{39},37->{40,41} ,39->{52,53},40->{48},41->{43},43->{44,45},44->{49},45->{47},47->{50,51},48->{},49->{},50->{50,51},51->{} ,52->{52,53},53->{40,41},54->{54,55},55->{30,31},56->{56,57},57->{20,21},58->{58,59},59->{10,11}] + Applied Processor: Decompose NoGreedy + Details: We construct a looptree: P: [0,1,3,4,5,6,7,9,10,11,13,14,15,16,17,19,20,21,23,24,25,26,27,29,30,31,33,34,35,36,37,39,40,41,43,44,45,47,48,49,50,51,52,53,54,55,56,57,58,59] | +- p:[58] c: [58] | +- p:[56] c: [56] | +- p:[54] c: [54] | +- p:[52] c: [52] | `- p:[50] c: [50] * Step 5: CloseWith YES + Considered Problem: (Rules: f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,0,C,D,E,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f18(100,10,C,D,E,F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f21(A,B,B,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [B >= 1] f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,0,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 ,D1) [B = 0] f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f27(A,B,C,10,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f46(A,B,C,0,0,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [D = 0] f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f30(A,B,C,D,D,0,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [D >= 1] f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,0,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f58(A,B,C,D,E,F,200,10,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True 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,D1) -> f61(A,B,C,D,E,F,G,H,H,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [H >= 1] 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,D1) -> f86(A,B,C,D,E,F,G,0,0,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [H = 0] f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f67(A,B,C,D,E,F,G,H,I,10,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,0,0,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [J = 0] f67(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(A,B,C,D,E,F,G,H,I,J,J,0,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [J >= 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,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,0 ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) 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,X,Y,Z,A1,B1,C1,D1) -> f98(A,B,C,D,E,F,G,H,I,J,K,L,50,10 ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [N >= 1] f98(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,0 ,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [N = 0] f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,0,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,10,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,0,0,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [P = 0] f107(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,P,0,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [P >= 1] f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,20,0,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,20,10,U,V,W,X,Y,Z,A1,B1,C1 ,D1) True f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f141(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,T,V,W,X,Y,Z,A1,B1,C1 ,D1) [T >= 1] f138(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,0,0,V,W,X,Y,Z,A1,B1,C1 ,D1) [T = 0] 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,0,W,X,Y,Z,A1,B1,C1 ,D1) True 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,D1) -> f147(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,10,W,X,Y,Z,A1,B1,C1 ,D1) True 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,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,0,0,X,Y,Z,A1,B1,C1 ,D1) [V = 0] 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,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,V,0,Y,Z,A1,B1,C1 ,D1) [V >= 1] f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,200,0,A1,B1,C1 ,D1) True f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,200,10,A1,B1,C1 ,D1) True f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,Z,B1,C1 ,D1) [Z >= 1] f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,0,C1 ,D1) True f181(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> 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,10,C1 ,D1) True 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,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,B1 ,0) [B1 >= 1] f178(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,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,0,B1,C1 ,D1) [Z = 0] 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,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,0,0 ,D1) [B1 = 0] f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,1 + D1) [Y >= 1 + D1] f190(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f207(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [D1 >= Y] f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,1 + X,Y,Z,A1,B1,C1 ,D1) [S >= 1 + X] f150(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f166(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [X >= 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,X,Y,Z,A1,B1,C1,D1) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,1 + R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [M >= 1 + R] f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f126(A,B,C,D,E,F,G,H,I,J,K,L,M,N ,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [R >= M] f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f70(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 ,D1) [G >= 1 + L] f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1) -> f86(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [L >= G] 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,D1) -> f30(A,B,C,D,E,1 + F,G,H,I,J,K,L,M ,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [A >= 1 + F] 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,D1) -> f46(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O ,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1 ,D1) [F >= A] Signature: {(f0,30) ;(f101,30) ;(f107,30) ;(f110,30) ;(f126,30) ;(f138,30) ;(f141,30) ;(f147,30) ;(f150,30) ;(f166,30) ;(f178,30) ;(f18,30) ;(f181,30) ;(f187,30) ;(f190,30) ;(f207,30) ;(f21,30) ;(f27,30) ;(f30,30) ;(f46,30) ;(f58,30) ;(f61,30) ;(f67,30) ;(f70,30) ;(f86,30) ;(f98,30)} Rule Graph: [0->{4},1->{3},3->{5,6},4->{10,11},5->{7},6->{9},7->{10,11},9->{58,59},10->{14},11->{13},13->{15,16} ,14->{20,21},15->{17},16->{19},17->{20,21},19->{56,57},20->{24},21->{23},23->{25,26},24->{30,31},25->{27} ,26->{29},27->{30,31},29->{54,55},30->{34},31->{33},33->{35,36},34->{40,41},35->{37},36->{39},37->{40,41} ,39->{52,53},40->{48},41->{43},43->{44,45},44->{49},45->{47},47->{50,51},48->{},49->{},50->{50,51},51->{} ,52->{52,53},53->{40,41},54->{54,55},55->{30,31},56->{56,57},57->{20,21},58->{58,59},59->{10,11}] ,We construct a looptree: P: [0,1,3,4,5,6,7,9,10,11,13,14,15,16,17,19,20,21,23,24,25,26,27,29,30,31,33,34,35,36,37,39,40,41,43,44,45,47,48,49,50,51,52,53,54,55,56,57,58,59] | +- p:[58] c: [58] | +- p:[56] c: [56] | +- p:[54] c: [54] | +- p:[52] c: [52] | `- p:[50] c: [50]) + Applied Processor: CloseWith True + Details: () YES