YES(?,PRIMREC) * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] (?,1) 1. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True (?,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] (?,1) 11. f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] (?,1) 12. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 14. f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 15. f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 16. f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 17. f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] (?,1) 18. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] (?,1) 19. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] (?,1) 20. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] (?,1) 21. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] (?,1) 22. f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] (?,1) 23. f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 25. f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 26. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 27. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 28. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 29. f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Flow Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,26,27,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24} ,7->{8,23},8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{6,25} ,16->{6,25},17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9 ,20,21,22},25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(3,26),(3,27),(15,6)] * Step 2: FromIts MAYBE + Considered Problem: Rules: 0. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] (?,1) 1. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True (?,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] (?,1) 11. f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] (?,1) 12. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 14. f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 15. f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 16. f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 17. f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] (?,1) 18. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] (?,1) 19. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] (?,1) 20. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] (?,1) 21. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] (?,1) 22. f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] (?,1) 23. f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 25. f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 26. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 27. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 28. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 29. f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Flow Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24},7->{8,23} ,8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{25},16->{6,25} ,17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9,20,21,22} ,25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] + Applied Processor: FromIts + Details: () * Step 3: Unfold MAYBE + Considered Problem: Rules: f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Rule Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24},7->{8,23} ,8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{25},16->{6,25} ,17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9,20,21,22} ,25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.12(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.13(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.15(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.12(A,B,C,D,E,F,G,H,I,J,K) True f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.13(A,B,C,D,E,F,G,H,I,J,K) True f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.15(A,B,C,D,E,F,G,H,I,J,K) True f0.2(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,B,C,D,E,F,G,H,I,J,K) True f0.2(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,B,C,D,E,F,G,H,I,J,K) True f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.26(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.27(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.26(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.27(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f28.6(A,B,C,D,E,F,G,H,I,J,K) -> f30.7(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f28.6(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f30.7(A,B,C,D,E,F,G,H,I,J,K) -> f33.8(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30.7(A,B,C,D,E,F,G,H,I,J,K) -> f33.23(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f33.8(A,B,C,D,E,F,G,H,I,J,K) -> f33.8(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f33.8(A,B,C,D,E,F,G,H,I,J,K) -> f33.23(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.10(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.18(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.19(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.10(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.18(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.19(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f59.11(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f59.11(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f71.12(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.12(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f73.14(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f73.14(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71.15(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f73.16(A,B,C,D,E,F,G,H,I,J,K) -> f28.6(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f73.16(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59.17(A,B,C,D,E,F,G,H,I,J,K) -> f69.0(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f59.17(A,B,C,D,E,F,G,H,I,J,K) -> f69.1(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f42.20(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42.20(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42.22(A,B,C,D,E,F,G,H,I,J,K) -> f69.0(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f42.22(A,B,C,D,E,F,G,H,I,J,K) -> f69.1(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f33.23(A,B,C,D,E,F,G,H,I,J,K) -> f30.7(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f33.23(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f28.25(A,B,C,D,E,F,G,H,I,J,K) -> f82.30(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f15.26(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15.26(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15.27(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15.27(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15.28(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f15.28(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f12.29(A,B,C,D,E,F,G,H,I,J,K) -> f28.6(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f12.29(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f0.2,11) ;(f12.29,11) ;(f12.3,11) ;(f15.26,11) ;(f15.27,11) ;(f15.28,11) ;(f15.4,11) ;(f15.5,11) ;(f28.25,11) ;(f28.6,11) ;(f30.24,11) ;(f30.7,11) ;(f33.23,11) ;(f33.8,11) ;(f42.20,11) ;(f42.21,11) ;(f42.22,11) ;(f42.9,11) ;(f45.10,11) ;(f45.18,11) ;(f45.19,11) ;(f59.11,11) ;(f59.17,11) ;(f69.0,11) ;(f69.1,11) ;(f71.12,11) ;(f71.13,11) ;(f71.15,11) ;(f73.14,11) ;(f73.16,11) ;(f82.30,11)} Rule Graph: [0->{35,36},1->{37,38},2->{41},3->{35,36},4->{37,38},5->{41},6->{8,9,10},7->{73,74},8->{11,12,13,14,15} ,9->{16,17,18,19,20},10->{71,72},11->{11,12,13,14,15},12->{16,17,18,19,20},13->{67,68},14->{69,70},15->{71 ,72},16->{11,12,13,14,15},17->{16,17,18,19,20},18->{67,68},19->{69,70},20->{71,72},21->{23,24},22->{62,63,64 ,65},23->{25,26},24->{60,61},25->{25,26},26->{60,61},27->{30,31,32},28->{46,47,48,49},29->{50,51,52,53} ,30->{30,31,32},31->{46,47,48,49},32->{50,51,52,53},33->{33,34},34->{44,45},35->{39,40},36->{42,43},37->{39 ,40},38->{42,43},39->{39,40},40->{42,43},41->{66},42->{21,22},43->{66},44->{0,1,2},45->{3,4,5},46->{27,28 ,29},47->{54,55},48->{56,57},49->{58,59},50->{27,28,29},51->{54,55},52->{56,57},53->{58,59},54->{33,34} ,55->{44,45},56->{33,34},57->{44,45},58->{0,1,2},59->{3,4,5},60->{23,24},61->{62,63,64,65},62->{27,28,29} ,63->{54,55},64->{56,57},65->{58,59},66->{},67->{8,9,10},68->{73,74},69->{8,9,10},70->{73,74},71->{8,9,10} ,72->{73,74},73->{21,22},74->{66}] + Applied Processor: AddSinks + Details: () * Step 5: Decompose MAYBE + Considered Problem: Rules: f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.12(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.13(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.15(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.12(A,B,C,D,E,F,G,H,I,J,K) True f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.13(A,B,C,D,E,F,G,H,I,J,K) True f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.15(A,B,C,D,E,F,G,H,I,J,K) True f0.2(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,B,C,D,E,F,G,H,I,J,K) True f0.2(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,B,C,D,E,F,G,H,I,J,K) True f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.26(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.27(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.26(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.27(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f28.6(A,B,C,D,E,F,G,H,I,J,K) -> f30.7(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f28.6(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f30.7(A,B,C,D,E,F,G,H,I,J,K) -> f33.8(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30.7(A,B,C,D,E,F,G,H,I,J,K) -> f33.23(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f33.8(A,B,C,D,E,F,G,H,I,J,K) -> f33.8(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f33.8(A,B,C,D,E,F,G,H,I,J,K) -> f33.23(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.10(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.18(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.19(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.10(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.18(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.19(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f59.11(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f59.11(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f71.12(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.12(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f73.14(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f73.14(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71.15(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f73.16(A,B,C,D,E,F,G,H,I,J,K) -> f28.6(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f73.16(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59.17(A,B,C,D,E,F,G,H,I,J,K) -> f69.0(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f59.17(A,B,C,D,E,F,G,H,I,J,K) -> f69.1(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f42.20(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42.20(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42.22(A,B,C,D,E,F,G,H,I,J,K) -> f69.0(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f42.22(A,B,C,D,E,F,G,H,I,J,K) -> f69.1(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f33.23(A,B,C,D,E,F,G,H,I,J,K) -> f30.7(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f33.23(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f28.25(A,B,C,D,E,F,G,H,I,J,K) -> f82.30(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f15.26(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15.26(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15.27(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15.27(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15.28(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f15.28(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f12.29(A,B,C,D,E,F,G,H,I,J,K) -> f28.6(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f12.29(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True Signature: {(exitus616,11) ;(f0.2,11) ;(f12.29,11) ;(f12.3,11) ;(f15.26,11) ;(f15.27,11) ;(f15.28,11) ;(f15.4,11) ;(f15.5,11) ;(f28.25,11) ;(f28.6,11) ;(f30.24,11) ;(f30.7,11) ;(f33.23,11) ;(f33.8,11) ;(f42.20,11) ;(f42.21,11) ;(f42.22,11) ;(f42.9,11) ;(f45.10,11) ;(f45.18,11) ;(f45.19,11) ;(f59.11,11) ;(f59.17,11) ;(f69.0,11) ;(f69.1,11) ;(f71.12,11) ;(f71.13,11) ;(f71.15,11) ;(f73.14,11) ;(f73.16,11) ;(f82.30,11)} Rule Graph: [0->{35,36},1->{37,38},2->{41},3->{35,36},4->{37,38},5->{41},6->{8,9,10},7->{73,74},8->{11,12,13,14,15} ,9->{16,17,18,19,20},10->{71,72},11->{11,12,13,14,15},12->{16,17,18,19,20},13->{67,68},14->{69,70},15->{71 ,72},16->{11,12,13,14,15},17->{16,17,18,19,20},18->{67,68},19->{69,70},20->{71,72},21->{23,24},22->{62,63,64 ,65},23->{25,26},24->{60,61},25->{25,26},26->{60,61},27->{30,31,32},28->{46,47,48,49},29->{50,51,52,53} ,30->{30,31,32},31->{46,47,48,49},32->{50,51,52,53},33->{33,34},34->{44,45},35->{39,40},36->{42,43},37->{39 ,40},38->{42,43},39->{39,40},40->{42,43},41->{66},42->{21,22},43->{66},44->{0,1,2},45->{3,4,5},46->{27,28 ,29},47->{54,55},48->{56,57},49->{58,59},50->{27,28,29},51->{54,55},52->{56,57},53->{58,59},54->{33,34} ,55->{44,45},56->{33,34},57->{44,45},58->{0,1,2},59->{3,4,5},60->{23,24},61->{62,63,64,65},62->{27,28,29} ,63->{54,55},64->{56,57},65->{58,59},66->{75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90},67->{8,9,10} ,68->{73,74},69->{8,9,10},70->{73,74},71->{8,9,10},72->{73,74},73->{21,22},74->{66}] + 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] | +- p:[8,67,13,11,16,9,69,14,19,12,17,71,10,15,20,18] c: [8,9,10,11,12,13,14,15,16,17,18,19,20,67,69,71] | `- p:[0,44,34,33,54,47,28,46,31,27,50,29,62,22,42,36,3,45,55,51,32,30,63,61,24,21,60,26,23,25,57,48,52,64,59,49,53,65,38,1,58,4,40,35,37,39,56] c: [0,1,3,4,21,22,27,28,29,33,34,35,36,37,38,39,40,42,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,62,63,64,65] | +- p:[30] c: [30] | `- p:[23,60,24,26,25] c: [23,24,26,60] | `- p:[25] c: [25] * Step 6: AbstractSize MAYBE + Considered Problem: (Rules: f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.12(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.13(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.0(A,B,C,D,E,F,G,H,I,J,K) -> f71.15(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.12(A,B,C,D,E,F,G,H,I,J,K) True f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.13(A,B,C,D,E,F,G,H,I,J,K) True f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.15(A,B,C,D,E,F,G,H,I,J,K) True f0.2(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,B,C,D,E,F,G,H,I,J,K) True f0.2(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,B,C,D,E,F,G,H,I,J,K) True f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f12.3(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.26(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.27(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.4(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.4(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.5(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.26(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.27(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f15.5(A,B,C,D,E,F,G,H,I,J,K) -> f15.28(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f28.6(A,B,C,D,E,F,G,H,I,J,K) -> f30.7(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f28.6(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f30.7(A,B,C,D,E,F,G,H,I,J,K) -> f33.8(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30.7(A,B,C,D,E,F,G,H,I,J,K) -> f33.23(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f33.8(A,B,C,D,E,F,G,H,I,J,K) -> f33.8(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f33.8(A,B,C,D,E,F,G,H,I,J,K) -> f33.23(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.10(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.18(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f42.9(A,B,C,D,E,F,G,H,I,J,K) -> f45.19(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.10(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.18(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f45.10(A,B,C,D,E,F,G,H,I,J,K) -> f45.19(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f59.11(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f59.11(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f71.12(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.12(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f73.14(A,B,C,D,E,F,G,H,I,J,K) -> f73.14(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f73.14(A,B,C,D,E,F,G,H,I,J,K) -> f73.16(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71.15(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f73.16(A,B,C,D,E,F,G,H,I,J,K) -> f28.6(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f73.16(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59.17(A,B,C,D,E,F,G,H,I,J,K) -> f69.0(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f59.17(A,B,C,D,E,F,G,H,I,J,K) -> f69.1(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.18(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f45.19(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f42.20(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42.20(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.11(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.17(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42.22(A,B,C,D,E,F,G,H,I,J,K) -> f69.0(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f42.22(A,B,C,D,E,F,G,H,I,J,K) -> f69.1(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f33.23(A,B,C,D,E,F,G,H,I,J,K) -> f30.7(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f33.23(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.9(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.20(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.21(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f42.22(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f28.25(A,B,C,D,E,F,G,H,I,J,K) -> f82.30(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f15.26(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15.26(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15.27(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15.27(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15.28(A,B,C,D,E,F,G,H,I,J,K) -> f12.3(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f15.28(A,B,C,D,E,F,G,H,I,J,K) -> f12.29(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f12.29(A,B,C,D,E,F,G,H,I,J,K) -> f28.6(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f12.29(A,B,C,D,E,F,G,H,I,J,K) -> f28.25(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f82.30(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True Signature: {(exitus616,11) ;(f0.2,11) ;(f12.29,11) ;(f12.3,11) ;(f15.26,11) ;(f15.27,11) ;(f15.28,11) ;(f15.4,11) ;(f15.5,11) ;(f28.25,11) ;(f28.6,11) ;(f30.24,11) ;(f30.7,11) ;(f33.23,11) ;(f33.8,11) ;(f42.20,11) ;(f42.21,11) ;(f42.22,11) ;(f42.9,11) ;(f45.10,11) ;(f45.18,11) ;(f45.19,11) ;(f59.11,11) ;(f59.17,11) ;(f69.0,11) ;(f69.1,11) ;(f71.12,11) ;(f71.13,11) ;(f71.15,11) ;(f73.14,11) ;(f73.16,11) ;(f82.30,11)} Rule Graph: [0->{35,36},1->{37,38},2->{41},3->{35,36},4->{37,38},5->{41},6->{8,9,10},7->{73,74},8->{11,12,13,14,15} ,9->{16,17,18,19,20},10->{71,72},11->{11,12,13,14,15},12->{16,17,18,19,20},13->{67,68},14->{69,70},15->{71 ,72},16->{11,12,13,14,15},17->{16,17,18,19,20},18->{67,68},19->{69,70},20->{71,72},21->{23,24},22->{62,63,64 ,65},23->{25,26},24->{60,61},25->{25,26},26->{60,61},27->{30,31,32},28->{46,47,48,49},29->{50,51,52,53} ,30->{30,31,32},31->{46,47,48,49},32->{50,51,52,53},33->{33,34},34->{44,45},35->{39,40},36->{42,43},37->{39 ,40},38->{42,43},39->{39,40},40->{42,43},41->{66},42->{21,22},43->{66},44->{0,1,2},45->{3,4,5},46->{27,28 ,29},47->{54,55},48->{56,57},49->{58,59},50->{27,28,29},51->{54,55},52->{56,57},53->{58,59},54->{33,34} ,55->{44,45},56->{33,34},57->{44,45},58->{0,1,2},59->{3,4,5},60->{23,24},61->{62,63,64,65},62->{27,28,29} ,63->{54,55},64->{56,57},65->{58,59},66->{75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90},67->{8,9,10} ,68->{73,74},69->{8,9,10},70->{73,74},71->{8,9,10},72->{73,74},73->{21,22},74->{66}] ,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] | +- p:[8,67,13,11,16,9,69,14,19,12,17,71,10,15,20,18] c: [8,9,10,11,12,13,14,15,16,17,18,19,20,67,69,71] | `- p:[0,44,34,33,54,47,28,46,31,27,50,29,62,22,42,36,3,45,55,51,32,30,63,61,24,21,60,26,23,25,57,48,52,64,59,49,53,65,38,1,58,4,40,35,37,39,56] c: [0,1,3,4,21,22,27,28,29,33,34,35,36,37,38,39,40,42,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,62,63,64,65] | +- p:[30] c: [30] | `- p:[23,60,24,26,25] c: [23,24,26,60] | `- p:[25] c: [25]) + Applied Processor: AbstractSize Minimize + Details: () * Step 7: AbstractFlow MAYBE + Considered Problem: Program: Domain: [A,B,C,D,E,F,G,H,I,J,K,0.0,0.1,0.1.0,0.1.1,0.1.1.0] f69.0 ~> f71.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.0 ~> f71.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.0 ~> f71.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.1 ~> f71.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.1 ~> f71.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.1 ~> f71.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f0.2 ~> f12.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f0.2 ~> f12.29 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f12.3 ~> f15.4 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f12.3 ~> f15.5 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f12.3 ~> f15.28 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.4 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.5 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.26 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.27 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.28 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.4 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.5 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.26 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.27 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.28 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f28.6 ~> f30.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f28.6 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.7 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f30.7 ~> f33.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f33.8 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f33.8 ~> f33.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f42.9 ~> f45.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f42.9 ~> f45.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f42.9 ~> f45.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f45.10 ~> f45.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f45.10 ~> f45.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f45.10 ~> f45.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f59.11 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K + H, I <= unknown, J <= J, K <= K] f59.11 ~> f59.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K + H, I <= unknown, J <= J, K <= K] f71.12 ~> f73.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.12 ~> f73.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.13 ~> f73.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.13 ~> f73.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f73.14 ~> f73.14 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f73.14 ~> f73.16 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.15 ~> f28.25 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f73.16 ~> f28.6 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f73.16 ~> f28.25 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.17 ~> f69.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.17 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f45.18 ~> f42.9 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.18 ~> f42.20 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.18 ~> f42.21 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.18 ~> f42.22 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.19 ~> f42.9 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f45.19 ~> f42.20 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f45.19 ~> f42.21 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f45.19 ~> f42.22 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f42.20 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.20 ~> f59.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.21 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.21 ~> f59.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.22 ~> f69.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f42.22 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f33.23 ~> f30.7 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f33.23 ~> f30.24 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f42.9 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f42.20 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f42.21 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f42.22 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f28.25 ~> f82.30 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.26 ~> f12.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.26 ~> f12.29 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.27 ~> f12.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.27 ~> f12.29 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.28 ~> f12.3 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.28 ~> f12.29 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f12.29 ~> f28.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f12.29 ~> f28.25 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f82.30 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] + Loop: [0.0 <= K + A + B + D] f12.3 ~> f15.4 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.26 ~> f12.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.26 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.4 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.4 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f12.3 ~> f15.5 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.27 ~> f12.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.27 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.27 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.5 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.5 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.28 ~> f12.3 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f12.3 ~> f15.28 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f15.4 ~> f15.28 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.28 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f15.5 ~> f15.26 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] + Loop: [0.1 <= K + A + B + D + H] f69.0 ~> f71.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.17 ~> f69.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.11 ~> f59.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K + H, I <= unknown, J <= J, K <= K] f59.11 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K + H, I <= unknown, J <= J, K <= K] f42.20 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f45.18 ~> f42.20 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f42.9 ~> f45.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f45.18 ~> f42.9 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.10 ~> f45.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f42.9 ~> f45.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f45.19 ~> f42.9 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f42.9 ~> f45.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f42.9 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f28.6 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f73.16 ~> f28.6 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.12 ~> f73.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f69.1 ~> f71.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.17 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.20 ~> f59.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f45.19 ~> f42.20 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f45.10 ~> f45.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f45.10 ~> f45.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f30.24 ~> f42.20 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f33.23 ~> f30.24 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.7 ~> f33.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f28.6 ~> f30.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f33.23 ~> f30.7 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f33.8 ~> f33.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f30.7 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f33.8 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f42.21 ~> f59.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f45.18 ~> f42.21 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.19 ~> f42.21 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f30.24 ~> f42.21 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.22 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f45.18 ~> f42.22 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f45.19 ~> f42.22 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f30.24 ~> f42.22 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.13 ~> f73.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f69.0 ~> f71.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.22 ~> f69.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f69.1 ~> f71.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f73.14 ~> f73.16 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.12 ~> f73.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.13 ~> f73.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f73.14 ~> f73.14 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f42.21 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] + Loop: [0.1.0 <= K + D + H] f45.10 ~> f45.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] + Loop: [0.1.1 <= K + B + D] f30.7 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f33.23 ~> f30.7 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.7 ~> f33.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f33.8 ~> f33.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f33.8 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] + Loop: [0.1.1.0 <= K + B + H] f33.8 ~> f33.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] + Applied Processor: AbstractFlow + Details: () * Step 8: Lare MAYBE + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,D,E,F,G,H,I,J,K,0.0,0.1,0.1.0,0.1.1,0.1.1.0] f69.0 ~> f71.12 [] f69.0 ~> f71.13 [] f69.0 ~> f71.15 [] f69.1 ~> f71.12 [] f69.1 ~> f71.13 [] f69.1 ~> f71.15 [] f0.2 ~> f12.3 [] f0.2 ~> f12.29 [] f12.3 ~> f15.4 [K ~=> C] f12.3 ~> f15.5 [K ~=> C] f12.3 ~> f15.28 [K ~=> C] f15.4 ~> f15.4 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.4 ~> f15.5 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.4 ~> f15.26 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.4 ~> f15.27 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.4 ~> f15.28 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.4 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.5 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.26 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.27 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.28 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f28.6 ~> f30.7 [] f28.6 ~> f30.24 [] f30.7 ~> f33.8 [huge ~=> G] f30.7 ~> f33.23 [huge ~=> G] f33.8 ~> f33.8 [huge ~=> G,B ~+> H,H ~+> H] f33.8 ~> f33.23 [huge ~=> G,B ~+> H,H ~+> H] f42.9 ~> f45.10 [huge ~=> G] f42.9 ~> f45.18 [huge ~=> G] f42.9 ~> f45.19 [huge ~=> G] f45.10 ~> f45.10 [huge ~=> G,D ~+> H,H ~+> H] f45.10 ~> f45.18 [huge ~=> G,D ~+> H,H ~+> H] f45.10 ~> f45.19 [huge ~=> G,D ~+> H,H ~+> H] f59.11 ~> f59.11 [huge ~=> I,H ~+> H,K ~+> H] f59.11 ~> f59.17 [huge ~=> I,H ~+> H,K ~+> H] f71.12 ~> f73.14 [huge ~=> I] f71.12 ~> f73.16 [huge ~=> I] f71.13 ~> f73.14 [huge ~=> I] f71.13 ~> f73.16 [huge ~=> I] f73.14 ~> f73.14 [B ~+> B,K ~+> B] f73.14 ~> f73.16 [B ~+> B,K ~+> B] f71.15 ~> f28.25 [D ~+> D,K ~+> D] f73.16 ~> f28.6 [D ~+> D,K ~+> D] f73.16 ~> f28.25 [D ~+> D,K ~+> D] f59.17 ~> f69.0 [] f59.17 ~> f69.1 [] f45.18 ~> f42.9 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.18 ~> f42.20 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.18 ~> f42.21 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.18 ~> f42.22 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.19 ~> f42.9 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.19 ~> f42.20 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.19 ~> f42.21 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.19 ~> f42.22 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f42.20 ~> f59.11 [] f42.20 ~> f59.17 [] f42.21 ~> f59.11 [] f42.21 ~> f59.17 [] f42.22 ~> f69.0 [D ~=> K] f42.22 ~> f69.1 [D ~=> K] f33.23 ~> f30.7 [B ~+> B,K ~+> B] f33.23 ~> f30.24 [B ~+> B,K ~+> B] f30.24 ~> f42.9 [K ~=> C] f30.24 ~> f42.20 [K ~=> C] f30.24 ~> f42.21 [K ~=> C] f30.24 ~> f42.22 [K ~=> C] f28.25 ~> f82.30 [] f15.26 ~> f12.3 [B ~+> B,K ~+> B] f15.26 ~> f12.29 [B ~+> B,K ~+> B] f15.27 ~> f12.3 [B ~+> B,K ~+> B] f15.27 ~> f12.29 [B ~+> B,K ~+> B] f15.28 ~> f12.3 [K ~=> C,B ~+> B,K ~+> B] f15.28 ~> f12.29 [K ~=> C,B ~+> B,K ~+> B] f12.29 ~> f28.6 [] f12.29 ~> f28.25 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] f82.30 ~> exitus616 [] + Loop: [A ~+> 0.0,B ~+> 0.0,D ~+> 0.0,K ~+> 0.0] f12.3 ~> f15.4 [K ~=> C] f15.26 ~> f12.3 [B ~+> B,K ~+> B] f15.4 ~> f15.26 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.4 ~> f15.4 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.4 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f12.3 ~> f15.5 [K ~=> C] f15.27 ~> f12.3 [B ~+> B,K ~+> B] f15.4 ~> f15.27 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.27 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.4 ~> f15.5 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.5 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.28 ~> f12.3 [K ~=> C,B ~+> B,K ~+> B] f12.3 ~> f15.28 [K ~=> C] f15.4 ~> f15.28 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.28 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f15.5 ~> f15.26 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] + Loop: [A ~+> 0.1,B ~+> 0.1,D ~+> 0.1,H ~+> 0.1,K ~+> 0.1] f69.0 ~> f71.12 [] f59.17 ~> f69.0 [] f59.11 ~> f59.17 [huge ~=> I,H ~+> H,K ~+> H] f59.11 ~> f59.11 [huge ~=> I,H ~+> H,K ~+> H] f42.20 ~> f59.11 [] f45.18 ~> f42.20 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f42.9 ~> f45.18 [huge ~=> G] f45.18 ~> f42.9 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.10 ~> f45.18 [huge ~=> G,D ~+> H,H ~+> H] f42.9 ~> f45.10 [huge ~=> G] f45.19 ~> f42.9 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f42.9 ~> f45.19 [huge ~=> G] f30.24 ~> f42.9 [K ~=> C] f28.6 ~> f30.24 [] f73.16 ~> f28.6 [D ~+> D,K ~+> D] f71.12 ~> f73.16 [huge ~=> I] f69.1 ~> f71.12 [] f59.17 ~> f69.1 [] f42.20 ~> f59.17 [] f45.19 ~> f42.20 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.10 ~> f45.19 [huge ~=> G,D ~+> H,H ~+> H] f45.10 ~> f45.10 [huge ~=> G,D ~+> H,H ~+> H] f30.24 ~> f42.20 [K ~=> C] f33.23 ~> f30.24 [B ~+> B,K ~+> B] f30.7 ~> f33.23 [huge ~=> G] f28.6 ~> f30.7 [] f33.23 ~> f30.7 [B ~+> B,K ~+> B] f33.8 ~> f33.23 [huge ~=> G,B ~+> H,H ~+> H] f30.7 ~> f33.8 [huge ~=> G] f33.8 ~> f33.8 [huge ~=> G,B ~+> H,H ~+> H] f42.21 ~> f59.17 [] f45.18 ~> f42.21 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.19 ~> f42.21 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f30.24 ~> f42.21 [K ~=> C] f42.22 ~> f69.1 [D ~=> K] f45.18 ~> f42.22 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f45.19 ~> f42.22 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f30.24 ~> f42.22 [K ~=> C] f71.13 ~> f73.16 [huge ~=> I] f69.0 ~> f71.13 [] f42.22 ~> f69.0 [D ~=> K] f69.1 ~> f71.13 [] f73.14 ~> f73.16 [B ~+> B,K ~+> B] f71.12 ~> f73.14 [huge ~=> I] f71.13 ~> f73.14 [huge ~=> I] f73.14 ~> f73.14 [B ~+> B,K ~+> B] f42.21 ~> f59.11 [] + Loop: [D ~+> 0.1.0,H ~+> 0.1.0,K ~+> 0.1.0] f45.10 ~> f45.10 [huge ~=> G,D ~+> H,H ~+> H] + Loop: [B ~+> 0.1.1,D ~+> 0.1.1,K ~+> 0.1.1] f30.7 ~> f33.8 [huge ~=> G] f33.23 ~> f30.7 [B ~+> B,K ~+> B] f30.7 ~> f33.23 [huge ~=> G] f33.8 ~> f33.23 [huge ~=> G,B ~+> H,H ~+> H] f33.8 ~> f33.8 [huge ~=> G,B ~+> H,H ~+> H] + Loop: [B ~+> 0.1.1.0,H ~+> 0.1.1.0,K ~+> 0.1.1.0] f33.8 ~> f33.8 [huge ~=> G,B ~+> H,H ~+> H] + Applied Processor: Lare + Details: f0.2 ~> exitus616 [B ~=> K ,D ~=> K ,K ~=> C ,huge ~=> C ,huge ~=> E ,huge ~=> F ,huge ~=> G ,huge ~=> I ,huge ~=> J ,A ~+> 0.0 ,A ~+> 0.1 ,A ~+> tick ,B ~+> B ,B ~+> H ,B ~+> K ,B ~+> 0.0 ,B ~+> 0.1 ,B ~+> 0.1.0 ,B ~+> 0.1.1 ,B ~+> 0.1.1.0 ,B ~+> tick ,D ~+> D ,D ~+> H ,D ~+> K ,D ~+> 0.0 ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> 0.1.1 ,D ~+> 0.1.1.0 ,D ~+> tick ,H ~+> H ,H ~+> 0.1 ,H ~+> 0.1.0 ,H ~+> 0.1.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> H ,K ~+> K ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> H ,A ~*> K ,A ~*> 0.1 ,A ~*> 0.1.0 ,A ~*> 0.1.1 ,A ~*> 0.1.1.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> H ,B ~*> K ,B ~*> 0.1 ,B ~*> 0.1.0 ,B ~*> 0.1.1 ,B ~*> 0.1.1.0 ,B ~*> tick ,D ~*> B ,D ~*> D ,D ~*> H ,D ~*> K ,D ~*> 0.1 ,D ~*> 0.1.0 ,D ~*> 0.1.1 ,D ~*> 0.1.1.0 ,D ~*> tick ,H ~*> B ,H ~*> D ,H ~*> H ,H ~*> K ,H ~*> 0.1.0 ,H ~*> 0.1.1 ,H ~*> 0.1.1.0 ,H ~*> tick ,K ~*> B ,K ~*> D ,K ~*> H ,K ~*> K ,K ~*> 0.1 ,K ~*> 0.1.0 ,K ~*> 0.1.1 ,K ~*> 0.1.1.0 ,K ~*> tick ,A ~^> B ,A ~^> H ,A ~^> K ,A ~^> 0.1.0 ,A ~^> 0.1.1 ,A ~^> 0.1.1.0 ,A ~^> tick ,B ~^> B ,B ~^> H ,B ~^> K ,B ~^> 0.1.0 ,B ~^> 0.1.1 ,B ~^> 0.1.1.0 ,B ~^> tick ,D ~^> B ,D ~^> H ,D ~^> K ,D ~^> 0.1.0 ,D ~^> 0.1.1 ,D ~^> 0.1.1.0 ,D ~^> tick ,H ~^> B ,H ~^> H ,H ~^> K ,H ~^> 0.1.0 ,H ~^> 0.1.1 ,H ~^> 0.1.1.0 ,H ~^> tick ,K ~^> B ,K ~^> H ,K ~^> K ,K ~^> 0.1.0 ,K ~^> 0.1.1 ,K ~^> 0.1.1.0 ,K ~^> tick] + f15.26> [K ~=> C ,huge ~=> C ,huge ~=> E ,huge ~=> F ,A ~+> 0.0 ,A ~+> tick ,B ~+> B ,B ~+> 0.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> 0.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,B ~*> B ,B ~*> D ,D ~*> B ,D ~*> D ,K ~*> B ,K ~*> D] f15.28> [K ~=> C ,huge ~=> C ,huge ~=> E ,huge ~=> F ,A ~+> 0.0 ,A ~+> tick ,B ~+> B ,B ~+> 0.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> 0.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,B ~*> B ,B ~*> D ,D ~*> B ,D ~*> D ,K ~*> B ,K ~*> D] f15.27> [K ~=> C ,huge ~=> C ,huge ~=> E ,huge ~=> F ,A ~+> 0.0 ,A ~+> tick ,B ~+> B ,B ~+> 0.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> 0.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,B ~*> B ,B ~*> D ,D ~*> B ,D ~*> D ,K ~*> B ,K ~*> D] + f69.0> [B ~=> K ,D ~=> K ,K ~=> C ,huge ~=> C ,huge ~=> G ,huge ~=> I ,huge ~=> J ,A ~+> 0.1 ,A ~+> tick ,B ~+> B ,B ~+> H ,B ~+> K ,B ~+> 0.1 ,B ~+> 0.1.0 ,B ~+> 0.1.1 ,B ~+> 0.1.1.0 ,B ~+> tick ,D ~+> D ,D ~+> H ,D ~+> K ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> 0.1.1 ,D ~+> 0.1.1.0 ,D ~+> tick ,H ~+> H ,H ~+> 0.1 ,H ~+> 0.1.0 ,H ~+> 0.1.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> H ,K ~+> K ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> H ,A ~*> K ,A ~*> 0.1.0 ,A ~*> 0.1.1 ,A ~*> 0.1.1.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> H ,B ~*> K ,B ~*> 0.1.0 ,B ~*> 0.1.1 ,B ~*> 0.1.1.0 ,B ~*> tick ,D ~*> B ,D ~*> D ,D ~*> H ,D ~*> K ,D ~*> 0.1.0 ,D ~*> 0.1.1 ,D ~*> 0.1.1.0 ,D ~*> tick ,H ~*> B ,H ~*> D ,H ~*> H ,H ~*> K ,H ~*> 0.1.0 ,H ~*> 0.1.1 ,H ~*> 0.1.1.0 ,H ~*> tick ,K ~*> B ,K ~*> D ,K ~*> H ,K ~*> K ,K ~*> 0.1.0 ,K ~*> 0.1.1 ,K ~*> 0.1.1.0 ,K ~*> tick ,A ~^> B ,A ~^> H ,A ~^> K ,A ~^> 0.1.0 ,A ~^> 0.1.1 ,A ~^> 0.1.1.0 ,A ~^> tick ,B ~^> B ,B ~^> H ,B ~^> K ,B ~^> 0.1.0 ,B ~^> 0.1.1 ,B ~^> 0.1.1.0 ,B ~^> tick ,D ~^> B ,D ~^> H ,D ~^> K ,D ~^> 0.1.0 ,D ~^> 0.1.1 ,D ~^> 0.1.1.0 ,D ~^> tick ,H ~^> B ,H ~^> H ,H ~^> K ,H ~^> 0.1.0 ,H ~^> 0.1.1 ,H ~^> 0.1.1.0 ,H ~^> tick ,K ~^> B ,K ~^> H ,K ~^> K ,K ~^> 0.1.0 ,K ~^> 0.1.1 ,K ~^> 0.1.1.0 ,K ~^> tick] f69.1> [B ~=> K ,D ~=> K ,K ~=> C ,huge ~=> C ,huge ~=> G ,huge ~=> I ,huge ~=> J ,A ~+> 0.1 ,A ~+> tick ,B ~+> B ,B ~+> H ,B ~+> K ,B ~+> 0.1 ,B ~+> 0.1.0 ,B ~+> 0.1.1 ,B ~+> 0.1.1.0 ,B ~+> tick ,D ~+> D ,D ~+> H ,D ~+> K ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> 0.1.1 ,D ~+> 0.1.1.0 ,D ~+> tick ,H ~+> H ,H ~+> 0.1 ,H ~+> 0.1.0 ,H ~+> 0.1.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> H ,K ~+> K ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> H ,A ~*> K ,A ~*> 0.1.0 ,A ~*> 0.1.1 ,A ~*> 0.1.1.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> H ,B ~*> K ,B ~*> 0.1.0 ,B ~*> 0.1.1 ,B ~*> 0.1.1.0 ,B ~*> tick ,D ~*> B ,D ~*> D ,D ~*> H ,D ~*> K ,D ~*> 0.1.0 ,D ~*> 0.1.1 ,D ~*> 0.1.1.0 ,D ~*> tick ,H ~*> B ,H ~*> D ,H ~*> H ,H ~*> K ,H ~*> 0.1.0 ,H ~*> 0.1.1 ,H ~*> 0.1.1.0 ,H ~*> tick ,K ~*> B ,K ~*> D ,K ~*> H ,K ~*> K ,K ~*> 0.1.0 ,K ~*> 0.1.1 ,K ~*> 0.1.1.0 ,K ~*> tick ,A ~^> B ,A ~^> H ,A ~^> K ,A ~^> 0.1.0 ,A ~^> 0.1.1 ,A ~^> 0.1.1.0 ,A ~^> tick ,B ~^> B ,B ~^> H ,B ~^> K ,B ~^> 0.1.0 ,B ~^> 0.1.1 ,B ~^> 0.1.1.0 ,B ~^> tick ,D ~^> B ,D ~^> H ,D ~^> K ,D ~^> 0.1.0 ,D ~^> 0.1.1 ,D ~^> 0.1.1.0 ,D ~^> tick ,H ~^> B ,H ~^> H ,H ~^> K ,H ~^> 0.1.0 ,H ~^> 0.1.1 ,H ~^> 0.1.1.0 ,H ~^> tick ,K ~^> B ,K ~^> H ,K ~^> K ,K ~^> 0.1.0 ,K ~^> 0.1.1 ,K ~^> 0.1.1.0 ,K ~^> tick] f73.16> [B ~=> K ,D ~=> K ,K ~=> C ,huge ~=> C ,huge ~=> G ,huge ~=> I ,huge ~=> J ,A ~+> 0.1 ,A ~+> tick ,B ~+> B ,B ~+> H ,B ~+> K ,B ~+> 0.1 ,B ~+> 0.1.0 ,B ~+> 0.1.1 ,B ~+> 0.1.1.0 ,B ~+> tick ,D ~+> D ,D ~+> H ,D ~+> K ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> 0.1.1 ,D ~+> 0.1.1.0 ,D ~+> tick ,H ~+> H ,H ~+> 0.1 ,H ~+> 0.1.0 ,H ~+> 0.1.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> H ,K ~+> K ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> H ,A ~*> K ,A ~*> 0.1.0 ,A ~*> 0.1.1 ,A ~*> 0.1.1.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> H ,B ~*> K ,B ~*> 0.1.0 ,B ~*> 0.1.1 ,B ~*> 0.1.1.0 ,B ~*> tick ,D ~*> B ,D ~*> D ,D ~*> H ,D ~*> K ,D ~*> 0.1.0 ,D ~*> 0.1.1 ,D ~*> 0.1.1.0 ,D ~*> tick ,H ~*> B ,H ~*> D ,H ~*> H ,H ~*> K ,H ~*> 0.1.0 ,H ~*> 0.1.1 ,H ~*> 0.1.1.0 ,H ~*> tick ,K ~*> B ,K ~*> D ,K ~*> H ,K ~*> K ,K ~*> 0.1.0 ,K ~*> 0.1.1 ,K ~*> 0.1.1.0 ,K ~*> tick ,A ~^> B ,A ~^> H ,A ~^> K ,A ~^> 0.1.0 ,A ~^> 0.1.1 ,A ~^> 0.1.1.0 ,A ~^> tick ,B ~^> B ,B ~^> H ,B ~^> K ,B ~^> 0.1.0 ,B ~^> 0.1.1 ,B ~^> 0.1.1.0 ,B ~^> tick ,D ~^> B ,D ~^> H ,D ~^> K ,D ~^> 0.1.0 ,D ~^> 0.1.1 ,D ~^> 0.1.1.0 ,D ~^> tick ,H ~^> B ,H ~^> H ,H ~^> K ,H ~^> 0.1.0 ,H ~^> 0.1.1 ,H ~^> 0.1.1.0 ,H ~^> tick ,K ~^> B ,K ~^> H ,K ~^> K ,K ~^> 0.1.0 ,K ~^> 0.1.1 ,K ~^> 0.1.1.0 ,K ~^> tick] + f45.10> [huge ~=> G ,D ~+> H ,D ~+> 0.1.0 ,D ~+> tick ,H ~+> H ,H ~+> 0.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> 0.1.0 ,K ~+> tick ,D ~*> H ,H ~*> H ,K ~*> H] + f33.23> [huge ~=> G ,B ~+> B ,B ~+> H ,B ~+> 0.1.1 ,B ~+> 0.1.1.0 ,B ~+> tick ,D ~+> 0.1.1 ,D ~+> tick ,H ~+> H ,H ~+> 0.1.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> H ,K ~+> 0.1.1 ,K ~+> 0.1.1.0 ,K ~+> tick ,B ~*> B ,B ~*> H ,B ~*> 0.1.1.0 ,B ~*> tick ,D ~*> B ,D ~*> H ,D ~*> 0.1.1.0 ,D ~*> tick ,H ~*> H ,H ~*> 0.1.1.0 ,H ~*> tick ,K ~*> B ,K ~*> H ,K ~*> 0.1.1.0 ,K ~*> tick ,B ~^> H ,B ~^> 0.1.1.0 ,B ~^> tick ,D ~^> H ,D ~^> 0.1.1.0 ,D ~^> tick ,K ~^> H ,K ~^> 0.1.1.0 ,K ~^> tick] + f33.8> [huge ~=> G ,B ~+> H ,B ~+> 0.1.1.0 ,B ~+> tick ,H ~+> H ,H ~+> 0.1.1.0 ,H ~+> tick ,tick ~+> tick ,K ~+> 0.1.1.0 ,K ~+> tick ,B ~*> H ,H ~*> H ,K ~*> H] YES(?,PRIMREC)