MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [A >= 1] (?,1) 1. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [0 >= B] (?,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f10(A,B,R,S,0,1,0,H,I,J,K,L,M,N,O,P,Q) [R >= 1 && S >= 0] (1,1) 3. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f14(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q) [C >= 1 + G && 0 >= G] (?,1) 4. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f14(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q) [C >= 1 + G && G >= 1] (?,1) 5. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f22(A,B,C,D,E,F,G,H,I,R,K,L,M,N,O,P,Q) [R >= 0 && 0 >= I && 1 >= R] (?,1) 6. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f22(A,B,C,D,E,F,G,H,I,R,K,L,M,N,O,P,Q) [R >= 0 && I >= 2 && 1 >= R] (?,1) 7. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f22(A,B,C,D,E,F,G,H,I,R,K,L,M,N,O,P,Q) [0 >= J && 1 >= R && R >= 0] (?,1) 8. f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f22(A,B,C,D,E,F,G,H,I,R,1,M,M,N,O,P,Q) [1 + G >= C && 1 >= R && R >= 0] (?,1) 9. f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f22(A,B,C,D,E,F,G,H,I,R,0,M,M,N,O,P,Q) [C >= 2 + G && 1 >= R && R >= 0] (?,1) 10. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f26(A,B,C,D,1 + E,F,G,H,I,J,K,L,M,N,O,P,Q) [J >= 1 && 0 >= D && 0 >= E] (?,1) 11. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f26(A,B,C,D,1 + E,F,G,H,I,J,K,L,M,N,O,P,Q) [J >= 1 && 0 >= D && E = 1] (?,1) 12. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f26(A,B,C,R,0,1 + F,G,H,I,J,K,L,M,N,O,P,Q) [E >= 2 && 0 >= D && R >= 0] (?,1) 13. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f26(A,B,C,-1 + D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [D >= 1] (?,1) 14. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f41(H,K,C,D,E,F,G,H,I,J,K,L,M,1,L,P,Q) [N >= 1 && J >= 1] (?,1) 15. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f41(H,K,C,D,E,F,G,H,I,J,K,L,M,1,L,L,Q) [0 >= N && J >= 1] (?,1) 16. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,O,Q) [0 >= 1 + A && O = P] (?,1) 17. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,O,Q) [A >= 1 && O = P] (?,1) 18. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f47(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,O,Q) [A = 0 && O = P] (?,1) 19. f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f45(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,1) [B = 0] (?,1) 20. f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [0 >= 1 + B] (?,1) 21. f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [B >= 1] (?,1) 22. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,2) [0 >= B && 0 >= A] (?,1) 23. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [B >= 1 && 0 >= A] (?,1) 24. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,3) [B >= 1] (?,1) 25. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f58(A,B,C,D,E,F,G,H,R,J,K,L,M,N,O,P,Q) [R >= 0 && O >= 1 + P && 1 >= R] (?,1) 26. f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f58(A,B,C,D,E,F,G,H,R,J,K,L,M,N,O,P,Q) [R >= 0 && P >= 1 + O && 1 >= R] (?,1) 27. f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f58(A,B,C,D,E,F,G,H,R,J,K,L,M,N,O,0,Q) [R >= 0 && P >= 1 && 1 >= R] (?,1) 28. f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f58(A,B,C,D,E,F,G,H,R,J,K,L,M,N,O,1,Q) [R >= 0 && 0 >= P && 1 >= R] (?,1) 29. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f62(A,B,C,D,1 + E,F,G,H,I,J,K,L,M,N,O,P,Q) [0 >= E && 0 >= D && I >= 1] (?,1) 30. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f62(A,B,C,D,1 + E,F,G,H,I,J,K,L,M,N,O,P,Q) [0 >= D && I >= 1 && E = 1] (?,1) 31. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f62(A,B,C,R,0,1 + F,G,H,I,J,K,L,M,N,O,P,Q) [E >= 2 && 0 >= D && R >= 0] (?,1) 32. f58(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f62(A,B,C,-1 + D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [D >= 1] (?,1) 33. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f10(A,B,C,D,E,F,1 + G,H,1,J,K,L,0,N,O,P,Q) [M >= 1 && I = 1] (?,1) 34. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f10(A,B,C,D,E,F,1 + G,H,1,J,K,L,1,N,O,P,Q) [0 >= M && I = 1] (?,1) 35. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) -> f79(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q) [G >= C] (?,1) Signature: {(f0,17) ;(f10,17) ;(f14,17) ;(f22,17) ;(f26,17) ;(f41,17) ;(f43,17) ;(f45,17) ;(f47,17) ;(f51,17) ;(f58,17) ;(f62,17) ;(f79,17)} Flow Graph: [0->{1,24},1->{27,28},2->{3,4,35},3->{8,9},4->{8,9},5->{10,11,12,13},6->{10,11,12,13},7->{10,11,12,13} ,8->{10,11,12,13},9->{10,11,12,13},10->{7,14,15},11->{7,14,15},12->{7,14,15},13->{7,14,15},14->{16,17,18,25 ,26},15->{16,17,18,25,26},16->{19,20,21},17->{19,20,21},18->{0,22,23},19->{27,28},20->{0,22,23},21->{0,22 ,23},22->{27,28},23->{1,24},24->{27,28},25->{29,30,31,32},26->{29,30,31,32},27->{29,30,31,32},28->{29,30,31 ,32},29->{5,6,33,34},30->{5,6,33,34},31->{5,6,33,34},32->{5,6,33,34},33->{3,4,35},34->{3,4,35},35->{}] + Applied Processor: ArgumentFilter [5,7,10,11,16] + Details: We remove following argument positions: [5,7,10,11,16]. * Step 2: UnsatPaths MAYBE + Considered Problem: Rules: 0. f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f51(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] (?,1) 1. f51(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] (?,1) 2. f0(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,R,S,0,0,I,J,M,N,O,P) [R >= 1 && S >= 0] (1,1) 3. f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f14(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] (?,1) 4. f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f14(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] (?,1) 5. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] (?,1) 6. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] (?,1) 7. f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] (?,1) 8. f14(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] (?,1) 9. f14(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] (?,1) 10. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] (?,1) 11. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] (?,1) 12. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] (?,1) 13. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] (?,1) 14. f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f41(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] (?,1) 15. f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f41(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] (?,1) 16. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f43(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] (?,1) 17. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f43(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] (?,1) 18. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] (?,1) 19. f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] (?,1) 20. f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] (?,1) 21. f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] (?,1) 22. f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] (?,1) 23. f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f51(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1 && 0 >= A] (?,1) 24. f51(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] (?,1) 25. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] (?,1) 26. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] (?,1) 27. f45(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] (?,1) 28. f45(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] (?,1) 29. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] (?,1) 30. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] (?,1) 31. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] (?,1) 32. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] (?,1) 33. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] (?,1) 34. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] (?,1) 35. f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f79(A,B,C,D,E,G,I,J,M,N,O,P) [G >= C] (?,1) Signature: {(f0,17) ;(f10,17) ;(f14,17) ;(f22,17) ;(f26,17) ;(f41,17) ;(f43,17) ;(f45,17) ;(f47,17) ;(f51,17) ;(f58,17) ;(f62,17) ;(f79,17)} Flow Graph: [0->{1,24},1->{27,28},2->{3,4,35},3->{8,9},4->{8,9},5->{10,11,12,13},6->{10,11,12,13},7->{10,11,12,13} ,8->{10,11,12,13},9->{10,11,12,13},10->{7,14,15},11->{7,14,15},12->{7,14,15},13->{7,14,15},14->{16,17,18,25 ,26},15->{16,17,18,25,26},16->{19,20,21},17->{19,20,21},18->{0,22,23},19->{27,28},20->{0,22,23},21->{0,22 ,23},22->{27,28},23->{1,24},24->{27,28},25->{29,30,31,32},26->{29,30,31,32},27->{29,30,31,32},28->{29,30,31 ,32},29->{5,6,33,34},30->{5,6,33,34},31->{5,6,33,34},32->{5,6,33,34},33->{3,4,35},34->{3,4,35},35->{}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(2,4) ,(2,35) ,(10,7) ,(11,7) ,(15,25) ,(15,26) ,(18,0) ,(20,23) ,(21,22) ,(23,1) ,(29,5) ,(30,5)] * Step 3: FromIts MAYBE + Considered Problem: Rules: 0. f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f51(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] (?,1) 1. f51(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] (?,1) 2. f0(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,R,S,0,0,I,J,M,N,O,P) [R >= 1 && S >= 0] (1,1) 3. f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f14(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] (?,1) 4. f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f14(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] (?,1) 5. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] (?,1) 6. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] (?,1) 7. f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] (?,1) 8. f14(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] (?,1) 9. f14(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] (?,1) 10. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] (?,1) 11. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] (?,1) 12. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] (?,1) 13. f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] (?,1) 14. f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f41(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] (?,1) 15. f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f41(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] (?,1) 16. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f43(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] (?,1) 17. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f43(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] (?,1) 18. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] (?,1) 19. f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] (?,1) 20. f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] (?,1) 21. f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] (?,1) 22. f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] (?,1) 23. f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f51(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1 && 0 >= A] (?,1) 24. f51(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] (?,1) 25. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] (?,1) 26. f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] (?,1) 27. f45(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] (?,1) 28. f45(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] (?,1) 29. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] (?,1) 30. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] (?,1) 31. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] (?,1) 32. f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] (?,1) 33. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] (?,1) 34. f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] (?,1) 35. f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f79(A,B,C,D,E,G,I,J,M,N,O,P) [G >= C] (?,1) Signature: {(f0,17) ;(f10,17) ;(f14,17) ;(f22,17) ;(f26,17) ;(f41,17) ;(f43,17) ;(f45,17) ;(f47,17) ;(f51,17) ;(f58,17) ;(f62,17) ;(f79,17)} Flow Graph: [0->{1,24},1->{27,28},2->{3},3->{8,9},4->{8,9},5->{10,11,12,13},6->{10,11,12,13},7->{10,11,12,13},8->{10 ,11,12,13},9->{10,11,12,13},10->{14,15},11->{14,15},12->{7,14,15},13->{7,14,15},14->{16,17,18,25,26},15->{16 ,17,18},16->{19,20,21},17->{19,20,21},18->{22,23},19->{27,28},20->{0,22},21->{0,23},22->{27,28},23->{24} ,24->{27,28},25->{29,30,31,32},26->{29,30,31,32},27->{29,30,31,32},28->{29,30,31,32},29->{6,33,34},30->{6,33 ,34},31->{5,6,33,34},32->{5,6,33,34},33->{3,4,35},34->{3,4,35},35->{}] + Applied Processor: FromIts + Details: () * Step 4: Unfold MAYBE + Considered Problem: Rules: f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f51(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] f51(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] f0(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,R,S,0,0,I,J,M,N,O,P) [R >= 1 && S >= 0] f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f14(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f14(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f14(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14(A,B,C,D,E,G,I,J,M,N,O,P) -> f22(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22(A,B,C,D,E,G,I,J,M,N,O,P) -> f26(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f41(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26(A,B,C,D,E,G,I,J,M,N,O,P) -> f41(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f43(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f43(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] f43(A,B,C,D,E,G,I,J,M,N,O,P) -> f47(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] f47(A,B,C,D,E,G,I,J,M,N,O,P) -> f51(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1 && 0 >= A] f51(A,B,C,D,E,G,I,J,M,N,O,P) -> f45(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f45(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45(A,B,C,D,E,G,I,J,M,N,O,P) -> f58(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58(A,B,C,D,E,G,I,J,M,N,O,P) -> f62(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62(A,B,C,D,E,G,I,J,M,N,O,P) -> f10(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f10(A,B,C,D,E,G,I,J,M,N,O,P) -> f79(A,B,C,D,E,G,I,J,M,N,O,P) [G >= C] Signature: {(f0,17) ;(f10,17) ;(f14,17) ;(f22,17) ;(f26,17) ;(f41,17) ;(f43,17) ;(f45,17) ;(f47,17) ;(f51,17) ;(f58,17) ;(f62,17) ;(f79,17)} Rule Graph: [0->{1,24},1->{27,28},2->{3},3->{8,9},4->{8,9},5->{10,11,12,13},6->{10,11,12,13},7->{10,11,12,13},8->{10 ,11,12,13},9->{10,11,12,13},10->{14,15},11->{14,15},12->{7,14,15},13->{7,14,15},14->{16,17,18,25,26},15->{16 ,17,18},16->{19,20,21},17->{19,20,21},18->{22,23},19->{27,28},20->{0,22},21->{0,23},22->{27,28},23->{24} ,24->{27,28},25->{29,30,31,32},26->{29,30,31,32},27->{29,30,31,32},28->{29,30,31,32},29->{6,33,34},30->{6,33 ,34},31->{5,6,33,34},32->{5,6,33,34},33->{3,4,35},34->{3,4,35},35->{}] + Applied Processor: Unfold + Details: () * Step 5: AddSinks MAYBE + Considered Problem: Rules: f47.0(A,B,C,D,E,G,I,J,M,N,O,P) -> f51.1(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] f47.0(A,B,C,D,E,G,I,J,M,N,O,P) -> f51.24(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] f51.1(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] f51.1(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] f0.2(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.3(A,B,R,S,0,0,I,J,M,N,O,P) [R >= 1 && S >= 0] f10.3(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.8(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] f10.3(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.9(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] f10.4(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.8(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] f10.4(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.9(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f22.10(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] f22.10(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] f22.11(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] f22.11(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] f22.12(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.7(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22.12(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22.12(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22.13(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.7(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f22.13(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f22.13(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.16(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.17(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.18(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.25(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.26(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.15(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.16(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f26.15(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.17(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f26.15(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.18(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f41.16(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.19(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41.16(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.20(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41.16(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.21(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41.17(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.19(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41.17(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.20(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41.17(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.21(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41.18(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.22(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] f41.18(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.23(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] f43.19(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] f43.19(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] f43.20(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.0(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] f43.20(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.22(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] f43.21(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.0(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f43.21(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.23(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f47.22(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] f47.22(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] f47.23(A,B,C,D,E,G,I,J,M,N,O,P) -> f51.24(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1 && 0 >= A] f51.24(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f51.24(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f58.29(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58.29(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58.29(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58.30(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58.30(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58.30(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.5(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.5(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f62.33(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.3(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62.33(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.4(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62.33(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.35(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62.34(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.3(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f62.34(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.4(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f62.34(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.35(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f10.35(A,B,C,D,E,G,I,J,M,N,O,P) -> f79.36(A,B,C,D,E,G,I,J,M,N,O,P) [G >= C] Signature: {(f0.2,12) ;(f10.3,12) ;(f10.35,12) ;(f10.4,12) ;(f14.8,12) ;(f14.9,12) ;(f22.10,12) ;(f22.11,12) ;(f22.12,12) ;(f22.13,12) ;(f26.14,12) ;(f26.15,12) ;(f26.7,12) ;(f41.16,12) ;(f41.17,12) ;(f41.18,12) ;(f41.25,12) ;(f41.26,12) ;(f43.19,12) ;(f43.20,12) ;(f43.21,12) ;(f45.27,12) ;(f45.28,12) ;(f47.0,12) ;(f47.22,12) ;(f47.23,12) ;(f51.1,12) ;(f51.24,12) ;(f58.29,12) ;(f58.30,12) ;(f58.31,12) ;(f58.32,12) ;(f62.33,12) ;(f62.34,12) ;(f62.5,12) ;(f62.6,12) ;(f79.36,12)} Rule Graph: [0->{2,3},1->{64,65},2->{74,75,76,77},3->{78,79,80,81},4->{5,6},5->{21,22,23,24},6->{25,26,27,28},7->{21 ,22,23,24},8->{25,26,27,28},9->{29,30},10->{31,32},11->{33,34,35},12->{36,37,38},13->{29,30},14->{31,32} ,15->{33,34,35},16->{36,37,38},17->{29,30},18->{31,32},19->{33,34,35},20->{36,37,38},21->{29,30},22->{31,32} ,23->{33,34,35},24->{36,37,38},25->{29,30},26->{31,32},27->{33,34,35},28->{36,37,38},29->{39,40,41,42,43} ,30->{44,45,46},31->{39,40,41,42,43},32->{44,45,46},33->{17,18,19,20},34->{39,40,41,42,43},35->{44,45,46} ,36->{17,18,19,20},37->{39,40,41,42,43},38->{44,45,46},39->{47,48,49},40->{50,51,52},41->{53,54},42->{66,67 ,68,69},43->{70,71,72,73},44->{47,48,49},45->{50,51,52},46->{53,54},47->{55,56},48->{57,58},49->{59,60} ,50->{55,56},51->{57,58},52->{59,60},53->{61,62},54->{63},55->{74,75,76,77},56->{78,79,80,81},57->{0,1} ,58->{61,62},59->{0,1},60->{63},61->{74,75,76,77},62->{78,79,80,81},63->{64,65},64->{74,75,76,77},65->{78,79 ,80,81},66->{82,83,84},67->{85,86,87},68->{88,89,90,91},69->{92,93,94,95},70->{82,83,84},71->{85,86,87} ,72->{88,89,90,91},73->{92,93,94,95},74->{82,83,84},75->{85,86,87},76->{88,89,90,91},77->{92,93,94,95} ,78->{82,83,84},79->{85,86,87},80->{88,89,90,91},81->{92,93,94,95},82->{13,14,15,16},83->{96,97,98},84->{99 ,100,101},85->{13,14,15,16},86->{96,97,98},87->{99,100,101},88->{9,10,11,12},89->{13,14,15,16},90->{96,97 ,98},91->{99,100,101},92->{9,10,11,12},93->{13,14,15,16},94->{96,97,98},95->{99,100,101},96->{5,6},97->{7,8} ,98->{102},99->{5,6},100->{7,8},101->{102},102->{}] + Applied Processor: AddSinks + Details: () * Step 6: Failure MAYBE + Considered Problem: Rules: f47.0(A,B,C,D,E,G,I,J,M,N,O,P) -> f51.1(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] f47.0(A,B,C,D,E,G,I,J,M,N,O,P) -> f51.24(A,B,C,D,E,G,I,J,M,N,O,P) [A >= 1] f51.1(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] f51.1(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B] f0.2(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.3(A,B,R,S,0,0,I,J,M,N,O,P) [R >= 1 && S >= 0] f10.3(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.8(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] f10.3(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.9(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && 0 >= G] f10.4(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.8(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] f10.4(A,B,C,D,E,G,I,J,M,N,O,P) -> f14.9(A,B,C,D,E,G,I,J,M,N,O,P) [C >= 1 + G && G >= 1] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.5(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && 0 >= I && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f62.6(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [R >= 0 && I >= 2 && 1 >= R] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f26.7(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [0 >= J && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.8(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [1 + G >= C && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.10(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.11(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.12(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f14.9(A,B,C,D,E,G,I,J,M,N,O,P) -> f22.13(A,B,C,D,E,G,I,R,M,N,O,P) [C >= 2 + G && 1 >= R && R >= 0] f22.10(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] f22.10(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && 0 >= E] f22.11(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] f22.11(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,D,1 + E,G,I,J,M,N,O,P) [J >= 1 && 0 >= D && E = 1] f22.12(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.7(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22.12(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22.12(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f22.13(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.7(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f22.13(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.14(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f22.13(A,B,C,D,E,G,I,J,M,N,O,P) -> f26.15(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.16(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.17(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.18(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.25(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.14(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.26(H,K,C,D,E,G,I,J,M,1,L,P) [N >= 1 && J >= 1] f26.15(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.16(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f26.15(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.17(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f26.15(A,B,C,D,E,G,I,J,M,N,O,P) -> f41.18(H,K,C,D,E,G,I,J,M,1,L,L) [0 >= N && J >= 1] f41.16(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.19(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41.16(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.20(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41.16(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.21(A,B,C,D,E,G,I,J,M,N,O,O) [0 >= 1 + A && O = P] f41.17(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.19(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41.17(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.20(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41.17(A,B,C,D,E,G,I,J,M,N,O,P) -> f43.21(A,B,C,D,E,G,I,J,M,N,O,O) [A >= 1 && O = P] f41.18(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.22(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] f41.18(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.23(0,B,C,D,E,G,I,J,M,N,O,O) [A = 0 && O = P] f43.19(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] f43.19(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,0,C,D,E,G,I,J,M,N,O,P) [B = 0] f43.20(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.0(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] f43.20(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.22(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= 1 + B] f43.21(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.0(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f43.21(A,B,C,D,E,G,I,J,M,N,O,P) -> f47.23(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f47.22(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] f47.22(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,B,C,D,E,G,I,J,M,N,O,P) [0 >= B && 0 >= A] f47.23(A,B,C,D,E,G,I,J,M,N,O,P) -> f51.24(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1 && 0 >= A] f51.24(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.27(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f51.24(A,B,C,D,E,G,I,J,M,N,O,P) -> f45.28(A,B,C,D,E,G,I,J,M,N,O,P) [B >= 1] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.25(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && O >= 1 + P && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f41.26(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,P) [R >= 0 && P >= 1 + O && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.27(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,0) [R >= 0 && P >= 1 && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.29(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.30(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.31(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f45.28(A,B,C,D,E,G,I,J,M,N,O,P) -> f58.32(A,B,C,D,E,G,R,J,M,N,O,1) [R >= 0 && 0 >= P && 1 >= R] f58.29(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58.29(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58.29(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= E && 0 >= D && I >= 1] f58.30(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58.30(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58.30(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,D,1 + E,G,I,J,M,N,O,P) [0 >= D && I >= 1 && E = 1] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.5(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.31(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,R,0,G,I,J,M,N,O,P) [E >= 2 && 0 >= D && R >= 0] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.5(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.6(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.33(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f58.32(A,B,C,D,E,G,I,J,M,N,O,P) -> f62.34(A,B,C,-1 + D,E,G,I,J,M,N,O,P) [D >= 1] f62.33(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.3(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62.33(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.4(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62.33(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.35(A,B,C,D,E,1 + G,1,J,0,N,O,P) [M >= 1 && I = 1] f62.34(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.3(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f62.34(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.4(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f62.34(A,B,C,D,E,G,I,J,M,N,O,P) -> f10.35(A,B,C,D,E,1 + G,1,J,1,N,O,P) [0 >= M && I = 1] f10.35(A,B,C,D,E,G,I,J,M,N,O,P) -> f79.36(A,B,C,D,E,G,I,J,M,N,O,P) [G >= C] f79.36(A,B,C,D,E,G,I,J,M,N,O,P) -> exitus616(A,B,C,D,E,G,I,J,M,N,O,P) True f79.36(A,B,C,D,E,G,I,J,M,N,O,P) -> exitus616(A,B,C,D,E,G,I,J,M,N,O,P) True Signature: {(exitus616,12) ;(f0.2,12) ;(f10.3,12) ;(f10.35,12) ;(f10.4,12) ;(f14.8,12) ;(f14.9,12) ;(f22.10,12) ;(f22.11,12) ;(f22.12,12) ;(f22.13,12) ;(f26.14,12) ;(f26.15,12) ;(f26.7,12) ;(f41.16,12) ;(f41.17,12) ;(f41.18,12) ;(f41.25,12) ;(f41.26,12) ;(f43.19,12) ;(f43.20,12) ;(f43.21,12) ;(f45.27,12) ;(f45.28,12) ;(f47.0,12) ;(f47.22,12) ;(f47.23,12) ;(f51.1,12) ;(f51.24,12) ;(f58.29,12) ;(f58.30,12) ;(f58.31,12) ;(f58.32,12) ;(f62.33,12) ;(f62.34,12) ;(f62.5,12) ;(f62.6,12) ;(f79.36,12)} Rule Graph: [0->{2,3},1->{64,65},2->{74,75,76,77},3->{78,79,80,81},4->{5,6},5->{21,22,23,24},6->{25,26,27,28},7->{21 ,22,23,24},8->{25,26,27,28},9->{29,30},10->{31,32},11->{33,34,35},12->{36,37,38},13->{29,30},14->{31,32} ,15->{33,34,35},16->{36,37,38},17->{29,30},18->{31,32},19->{33,34,35},20->{36,37,38},21->{29,30},22->{31,32} ,23->{33,34,35},24->{36,37,38},25->{29,30},26->{31,32},27->{33,34,35},28->{36,37,38},29->{39,40,41,42,43} ,30->{44,45,46},31->{39,40,41,42,43},32->{44,45,46},33->{17,18,19,20},34->{39,40,41,42,43},35->{44,45,46} ,36->{17,18,19,20},37->{39,40,41,42,43},38->{44,45,46},39->{47,48,49},40->{50,51,52},41->{53,54},42->{66,67 ,68,69},43->{70,71,72,73},44->{47,48,49},45->{50,51,52},46->{53,54},47->{55,56},48->{57,58},49->{59,60} ,50->{55,56},51->{57,58},52->{59,60},53->{61,62},54->{63},55->{74,75,76,77},56->{78,79,80,81},57->{0,1} ,58->{61,62},59->{0,1},60->{63},61->{74,75,76,77},62->{78,79,80,81},63->{64,65},64->{74,75,76,77},65->{78,79 ,80,81},66->{82,83,84},67->{85,86,87},68->{88,89,90,91},69->{92,93,94,95},70->{82,83,84},71->{85,86,87} ,72->{88,89,90,91},73->{92,93,94,95},74->{82,83,84},75->{85,86,87},76->{88,89,90,91},77->{92,93,94,95} ,78->{82,83,84},79->{85,86,87},80->{88,89,90,91},81->{92,93,94,95},82->{13,14,15,16},83->{96,97,98},84->{99 ,100,101},85->{13,14,15,16},86->{96,97,98},87->{99,100,101},88->{9,10,11,12},89->{13,14,15,16},90->{96,97 ,98},91->{99,100,101},92->{9,10,11,12},93->{13,14,15,16},94->{96,97,98},95->{99,100,101},96->{5,6},97->{7,8} ,98->{102},99->{5,6},100->{7,8},101->{102},102->{103,104}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104] | `- p:[0,57,48,39,29,9,88,68,42,31,10,92,69,73,43,34,11,15,82,66,70,74,2,55,47,44,30,13,85,67,71,75,61,53,41,37,12,16,89,72,76,64,1,59,49,52,40,45,32,14,93,77,81,3,56,50,62,58,51,65,63,54,46,35,19,33,23,5,96,83,78,86,79,90,80,94,99,84,87,91,95,7,97,100,27,6,8,36,20,24,28,38,60,18,22,26,17,21,25] c: [5,6,7,8,21,22,23,24,25,26,27,28,96,97,99,100] | `- p:[0,57,48,39,29,9,88,68,42,31,10,92,69,73,43,34,11,15,82,66,70,74,2,55,47,44,30,13,85,67,71,75,61,53,41,37,12,16,89,72,76,64,1,59,49,52,40,45,32,14,93,77,81,3,56,50,62,58,51,65,63,54,46,35,19,33,36,20,38,60,18,80,79,17,78] c: [] MAYBE