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