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