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