MAYBE * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J) -> f15(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] (1,1) 1. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] (?,1) 2. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] (?,1) 3. f15(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] (?,1) 5. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [0 >= H && J >= 1 + E] (?,1) 6. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [H >= 1] (?,1) 7. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,C,1 + D,E,F,0,H,I,J) [E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] (?,1) 8. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] (?,1) 9. f36(A,B,C,D,E,F,G,H,I,J) -> f48(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] (?,1) 10. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] (?,1) 11. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] (?,1) 12. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] (?,1) 13. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] (?,1) 14. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] (?,1) 15. f48(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] (?,1) 16. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] (?,1) 17. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] (?,1) 18. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,1,J) [1 + E >= A && 0 >= H] (?,1) 19. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + I] (?,1) 20. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [I >= 1] (?,1) Signature: {(f0,10);(f15,10);(f36,10);(f48,10);(f78,10);(f83,10)} Flow Graph: [0->{1,2,3,4,19,20},1->{5,6,7,8,9,10},2->{5,6,7,8,9,10},3->{5,6,7,8,9,10},4->{5,6,7,8,9,10},5->{17,18} ,6->{17,18},7->{11,12,13,14,15,16},8->{11,12,13,14,15,16},9->{11,12,13,14,15,16},10->{11,12,13,14,15,16} ,11->{5,6,7,8,9,10},12->{5,6,7,8,9,10},13->{5,6,7,8,9,10},14->{5,6,7,8,9,10},15->{5,6,7,8,9,10},16->{5,6,7,8 ,9,10},17->{1,2,3,4,19,20},18->{1,2,3,4,19,20},19->{},20->{}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,2) ,(0,3) ,(0,19) ,(0,20) ,(1,6) ,(1,9) ,(1,10) ,(2,6) ,(2,8) ,(2,10) ,(3,6) ,(3,8) ,(4,6) ,(5,17) ,(6,18) ,(7,12) ,(7,13) ,(7,14) ,(7,15) ,(7,16) ,(8,14) ,(8,16) ,(9,14) ,(13,6) ,(13,9) ,(13,10) ,(14,8) ,(14,10) ,(15,8) ,(18,1) ,(18,2) ,(18,3) ,(18,4) ,(18,19)] * Step 2: FromIts MAYBE + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J) -> f15(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] (1,1) 1. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] (?,1) 2. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] (?,1) 3. f15(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] (?,1) 5. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [0 >= H && J >= 1 + E] (?,1) 6. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [H >= 1] (?,1) 7. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,C,1 + D,E,F,0,H,I,J) [E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] (?,1) 8. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] (?,1) 9. f36(A,B,C,D,E,F,G,H,I,J) -> f48(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] (?,1) 10. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] (?,1) 11. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] (?,1) 12. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] (?,1) 13. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] (?,1) 14. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] (?,1) 15. f48(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] (?,1) 16. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] (?,1) 17. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] (?,1) 18. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,1,J) [1 + E >= A && 0 >= H] (?,1) 19. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + I] (?,1) 20. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [I >= 1] (?,1) Signature: {(f0,10);(f15,10);(f36,10);(f48,10);(f78,10);(f83,10)} Flow Graph: [0->{1,4},1->{5,7,8},2->{5,7,9},3->{5,7,9,10},4->{5,7,8,9,10},5->{18},6->{17},7->{11},8->{11,12,13,15} ,9->{11,12,13,15,16},10->{11,12,13,14,15,16},11->{5,6,7,8,9,10},12->{5,6,7,8,9,10},13->{5,7,8},14->{5,6,7,9} ,15->{5,6,7,9,10},16->{5,6,7,8,9,10},17->{1,2,3,4,19,20},18->{20},19->{},20->{}] + Applied Processor: FromIts + Details: () * Step 3: Unfold MAYBE + Considered Problem: Rules: f0(A,B,C,D,E,F,G,H,I,J) -> f15(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [0 >= H && J >= 1 + E] f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [H >= 1] f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,C,1 + D,E,F,0,H,I,J) [E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36(A,B,C,D,E,F,G,H,I,J) -> f48(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,1,J) [1 + E >= A && 0 >= H] f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + I] f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [I >= 1] Signature: {(f0,10);(f15,10);(f36,10);(f48,10);(f78,10);(f83,10)} Rule Graph: [0->{1,4},1->{5,7,8},2->{5,7,9},3->{5,7,9,10},4->{5,7,8,9,10},5->{18},6->{17},7->{11},8->{11,12,13,15} ,9->{11,12,13,15,16},10->{11,12,13,14,15,16},11->{5,6,7,8,9,10},12->{5,6,7,8,9,10},13->{5,7,8},14->{5,6,7,9} ,15->{5,6,7,9,10},16->{5,6,7,8,9,10},17->{1,2,3,4,19,20},18->{20},19->{},20->{}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H,I,J) -> f15.1(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] f0.0(A,B,C,D,E,F,G,H,I,J) -> f15.4(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] f15.1(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15.1(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15.1(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15.2(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15.2(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15.2(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.5(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.7(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.9(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.10(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f36.5(A,B,C,D,E,F,G,H,I,J) -> f78.18(A,B,C,D,E,F,G,H,I,J) [0 >= H && J >= 1 + E] f36.6(A,B,C,D,E,F,G,H,I,J) -> f78.17(A,B,C,D,E,F,G,H,I,J) [H >= 1] f36.7(A,B,C,D,E,F,G,H,I,J) -> f48.11(A,B,C,1 + D,E,F,0,H,I,J) [E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.11(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.12(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.13(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.15(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.11(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.12(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.13(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.15(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.16(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.11(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.12(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.13(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.14(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.15(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.16(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.13(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48.13(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48.13(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.5(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.6(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.7(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.9(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.10(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.1(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.2(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.3(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.4(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.19(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.20(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.18(A,B,C,D,E,F,G,H,I,J) -> f15.20(A,B,C,D,E,F,G,H,1,J) [1 + E >= A && 0 >= H] f15.19(A,B,C,D,E,F,G,H,I,J) -> f83.21(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + I] f15.20(A,B,C,D,E,F,G,H,I,J) -> f83.21(A,B,C,D,E,F,G,H,I,J) [I >= 1] Signature: {(f0.0,10) ;(f15.1,10) ;(f15.19,10) ;(f15.2,10) ;(f15.20,10) ;(f15.3,10) ;(f15.4,10) ;(f36.10,10) ;(f36.5,10) ;(f36.6,10) ;(f36.7,10) ;(f36.8,10) ;(f36.9,10) ;(f48.11,10) ;(f48.12,10) ;(f48.13,10) ;(f48.14,10) ;(f48.15,10) ;(f48.16,10) ;(f78.17,10) ;(f78.18,10) ;(f83.21,10)} Rule Graph: [0->{2,3,4},1->{12,13,14,15,16},2->{17},3->{19},4->{20,21,22,23},5->{17},6->{19},7->{24,25,26,27,28} ,8->{17},9->{19},10->{24,25,26,27,28},11->{29,30,31,32,33,34},12->{17},13->{19},14->{20,21,22,23},15->{24,25 ,26,27,28},16->{29,30,31,32,33,34},17->{71},18->{65,66,67,68,69,70},19->{35,36,37,38,39,40},20->{35,36,37,38 ,39,40},21->{41,42,43,44,45,46},22->{47,48,49},23->{54,55,56,57,58},24->{35,36,37,38,39,40},25->{41,42,43,44 ,45,46},26->{47,48,49},27->{54,55,56,57,58},28->{59,60,61,62,63,64},29->{35,36,37,38,39,40},30->{41,42,43,44 ,45,46},31->{47,48,49},32->{50,51,52,53},33->{54,55,56,57,58},34->{59,60,61,62,63,64},35->{17},36->{18} ,37->{19},38->{20,21,22,23},39->{24,25,26,27,28},40->{29,30,31,32,33,34},41->{17},42->{18},43->{19},44->{20 ,21,22,23},45->{24,25,26,27,28},46->{29,30,31,32,33,34},47->{17},48->{19},49->{20,21,22,23},50->{17} ,51->{18},52->{19},53->{24,25,26,27,28},54->{17},55->{18},56->{19},57->{24,25,26,27,28},58->{29,30,31,32,33 ,34},59->{17},60->{18},61->{19},62->{20,21,22,23},63->{24,25,26,27,28},64->{29,30,31,32,33,34},65->{2,3,4} ,66->{5,6,7},67->{8,9,10,11},68->{12,13,14,15,16},69->{72},70->{73},71->{73},72->{},73->{}] + Applied Processor: AddSinks + Details: () * Step 5: Failure MAYBE + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H,I,J) -> f15.1(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] f0.0(A,B,C,D,E,F,G,H,I,J) -> f15.4(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] f15.1(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15.1(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15.1(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,0,0,0,0,0) [0 >= D && 0 >= C && B >= 1 && I = 0] f15.2(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15.2(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15.2(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,-1 + B,C,0,E,K,0,0,0,0) [D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.5(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.7(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.9(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.3(A,B,C,D,E,F,G,H,I,J) -> f36.10(1 + A,4 + A,K,0,E,L,0,0,0,0) [0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f15.4(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,-1 + C,D,E,K,0,0,0,0) [C >= 1 && 1 >= K && K >= 0 && I = 0] f36.5(A,B,C,D,E,F,G,H,I,J) -> f78.18(A,B,C,D,E,F,G,H,I,J) [0 >= H && J >= 1 + E] f36.6(A,B,C,D,E,F,G,H,I,J) -> f78.17(A,B,C,D,E,F,G,H,I,J) [H >= 1] f36.7(A,B,C,D,E,F,G,H,I,J) -> f48.11(A,B,C,1 + D,E,F,0,H,I,J) [E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.11(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.12(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.13(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.8(A,B,C,D,E,F,G,H,I,J) -> f48.15(A,-1 + B,C,0,E,F,K,H,I,J) [E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.11(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.12(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.13(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.15(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.9(A,B,C,D,E,F,G,H,I,J) -> f48.16(1 + A,4 + A,K,0,E,F,L,H,I,J) [E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.11(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.12(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.13(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.14(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.15(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f36.10(A,B,C,D,E,F,G,H,I,J) -> f48.16(A,B,-1 + C,D,E,F,K,H,I,J) [E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.11(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,C,D,E,F,G,H,I,1 + J) [1 + E >= A && 0 >= G] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.12(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,C,D,E,F,G,H,I,1 + J) [G >= 1 && 1 + E >= A && F >= 1] f48.13(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48.13(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48.13(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,C,1 + D,E,F,G,0,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.14(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,-1 + B,C,0,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.5(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.6(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.7(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.9(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.15(A,B,C,D,E,F,G,H,I,J) -> f36.10(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.5(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.6(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.7(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.8(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.9(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f48.16(A,B,C,D,E,F,G,H,I,J) -> f36.10(A,B,-1 + C,D,E,F,G,K,I,1 + J) [G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.1(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.2(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.3(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.4(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.19(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.17(A,B,C,D,E,F,G,H,I,J) -> f15.20(A,B,C,D,E,F,G,H,I,J) [1 + E >= A && H >= 1] f78.18(A,B,C,D,E,F,G,H,I,J) -> f15.20(A,B,C,D,E,F,G,H,1,J) [1 + E >= A && 0 >= H] f15.19(A,B,C,D,E,F,G,H,I,J) -> f83.21(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + I] f15.20(A,B,C,D,E,F,G,H,I,J) -> f83.21(A,B,C,D,E,F,G,H,I,J) [I >= 1] f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f83.21(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True Signature: {(exitus616,10) ;(f0.0,10) ;(f15.1,10) ;(f15.19,10) ;(f15.2,10) ;(f15.20,10) ;(f15.3,10) ;(f15.4,10) ;(f36.10,10) ;(f36.5,10) ;(f36.6,10) ;(f36.7,10) ;(f36.8,10) ;(f36.9,10) ;(f48.11,10) ;(f48.12,10) ;(f48.13,10) ;(f48.14,10) ;(f48.15,10) ;(f48.16,10) ;(f78.17,10) ;(f78.18,10) ;(f83.21,10)} Rule Graph: [0->{2,3,4},1->{12,13,14,15,16},2->{17},3->{19},4->{20,21,22,23},5->{17},6->{19},7->{24,25,26,27,28} ,8->{17},9->{19},10->{24,25,26,27,28},11->{29,30,31,32,33,34},12->{17},13->{19},14->{20,21,22,23},15->{24,25 ,26,27,28},16->{29,30,31,32,33,34},17->{71},18->{65,66,67,68,69,70},19->{35,36,37,38,39,40},20->{35,36,37,38 ,39,40},21->{41,42,43,44,45,46},22->{47,48,49},23->{54,55,56,57,58},24->{35,36,37,38,39,40},25->{41,42,43,44 ,45,46},26->{47,48,49},27->{54,55,56,57,58},28->{59,60,61,62,63,64},29->{35,36,37,38,39,40},30->{41,42,43,44 ,45,46},31->{47,48,49},32->{50,51,52,53},33->{54,55,56,57,58},34->{59,60,61,62,63,64},35->{17},36->{18} ,37->{19},38->{20,21,22,23},39->{24,25,26,27,28},40->{29,30,31,32,33,34},41->{17},42->{18},43->{19},44->{20 ,21,22,23},45->{24,25,26,27,28},46->{29,30,31,32,33,34},47->{17},48->{19},49->{20,21,22,23},50->{17} ,51->{18},52->{19},53->{24,25,26,27,28},54->{17},55->{18},56->{19},57->{24,25,26,27,28},58->{29,30,31,32,33 ,34},59->{17},60->{18},61->{19},62->{20,21,22,23},63->{24,25,26,27,28},64->{29,30,31,32,33,34},65->{2,3,4} ,66->{5,6,7},67->{8,9,10,11},68->{12,13,14,15,16},69->{72},70->{73},71->{73},72->{75,87},73->{74,76,77,78,79 ,80,81,82,83,84,85,86,88,89,90,91,92,93,94,95,96,97}] + 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] | `- p:[3,65,18,36,19,6,66,9,67,13,68,37,20,4,14,38,24,7,10,15,39,29,11,16,40,46,21,44,25,45,30,58,23,49,22,62,28,53,32,64,34,57,27,63,33,26,31,43,48,52,56,61,42,51,55,60] c: [9,10,11,23,27,33,39,45,53,55,56,57,58,63,67] | `- p:[3,65,18,36,19,6,66,13,68,37,20,4,14,38,24,7,15,29,16,40,46,21,44,25,30,64,28,34,49,22,62,26,31,43,48,52,32,61,42,51,60] c: [] MAYBE