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) [L >= 1] (?,1) 2. f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(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. 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) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 14. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 15. f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 16. f71(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 17. f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 18. 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) 19. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] (?,1) 20. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] (?,1) 21. f40(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) 22. f40(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) 23. f40(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) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 25. f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 26. f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 27. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 28. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 29. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 30. f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Flow Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,27,28,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25} ,7->{8,24},8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15 ,17},16->{6,26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1 ,12},24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(3,27),(3,28),(16,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) [L >= 1] (?,1) 2. f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(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. 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) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 14. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 15. f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 16. f71(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 17. f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 18. 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) 19. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] (?,1) 20. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] (?,1) 21. f40(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) 22. f40(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) 23. f40(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) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 25. f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 26. f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 27. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 28. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 29. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 30. f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Flow Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25},7->{8,24} ,8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15,17} ,16->{26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1,12} ,24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] + 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) [L >= 1] f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(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] 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 f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(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) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(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) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(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] f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f40(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] f40(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] f40(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] f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Rule Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25},7->{8,24} ,8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15,17} ,16->{26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1,12} ,24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] + 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.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.14(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.16(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.13(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.14(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.16(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f2.2(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,B,C,D,E,F,G,H,I,J,K) True f2.2(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,B,C,D,E,F,G,H,I,J,K) True f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.27(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.28(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.27(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.28(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f23.6(A,B,C,D,E,F,G,H,I,J,K) -> f26.7(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f23.6(A,B,C,D,E,F,G,H,I,J,K) -> f26.25(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f26.7(A,B,C,D,E,F,G,H,I,J,K) -> f30.8(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f26.7(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30.8(A,B,C,D,E,F,G,H,I,J,K) -> f30.8(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f30.8(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.10(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.19(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.20(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.10(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.19(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.20(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.18(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f69.12(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.12(A,B,C,D,E,F,G,H,I,J,K) -> f71.14(A,B,C,D,E,F,G,H,I,J,K) True f69.12(A,B,C,D,E,F,G,H,I,J,K) -> f71.16(A,B,C,D,E,F,G,H,I,J,K) True f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(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) -> f74.17(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.14(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f71.14(A,B,C,D,E,F,G,H,I,J,K) -> f74.17(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f74.15(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f74.15(A,B,C,D,E,F,G,H,I,J,K) -> f74.17(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71.16(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f74.17(A,B,C,D,E,F,G,H,I,J,K) -> f23.6(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f74.17(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59.18(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.18(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] f59.18(A,B,C,D,E,F,G,H,I,J,K) -> f69.12(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f40.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 && K >= 1 + D] f40.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.18(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f40.22(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] f40.22(A,B,C,D,E,F,G,H,I,J,K) -> f59.18(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f40.23(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] f40.23(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] f40.23(A,B,C,D,E,F,G,H,I,J,K) -> f69.12(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f26.7(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) -> f26.25(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f23.26(A,B,C,D,E,F,G,H,I,J,K) -> f1.31(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f9.27(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9.27(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9.28(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9.28(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9.29(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f9.29(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f5.30(A,B,C,D,E,F,G,H,I,J,K) -> f23.6(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f5.30(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f1.31,11) ;(f2.2,11) ;(f23.26,11) ;(f23.6,11) ;(f26.25,11) ;(f26.7,11) ;(f30.24,11) ;(f30.8,11) ;(f40.21,11) ;(f40.22,11) ;(f40.23,11) ;(f40.9,11) ;(f44.10,11) ;(f44.19,11) ;(f44.20,11) ;(f5.3,11) ;(f5.30,11) ;(f59.11,11) ;(f59.18,11) ;(f69.0,11) ;(f69.1,11) ;(f69.12,11) ;(f71.13,11) ;(f71.14,11) ;(f71.16,11) ;(f74.15,11) ;(f74.17,11) ;(f9.27,11) ;(f9.28,11) ;(f9.29,11) ;(f9.4,11) ;(f9.5,11)} Rule Graph: [0->{38,39},1->{40,41},2->{44},3->{38,39},4->{40,41},5->{44},6->{8,9,10},7->{78,79},8->{11,12,13,14,15} ,9->{16,17,18,19,20},10->{76,77},11->{11,12,13,14,15},12->{16,17,18,19,20},13->{72,73},14->{74,75},15->{76 ,77},16->{11,12,13,14,15},17->{16,17,18,19,20},18->{72,73},19->{74,75},20->{76,77},21->{23,24},22->{67,68,69 ,70},23->{25,26},24->{65,66},25->{25,26},26->{65,66},27->{30,31,32},28->{50,51,52,53},29->{54,55,56,57} ,30->{30,31,32},31->{50,51,52,53},32->{54,55,56,57},33->{33,34},34->{47,48,49},35->{38,39},36->{40,41} ,37->{44},38->{42,43},39->{45,46},40->{42,43},41->{45,46},42->{42,43},43->{45,46},44->{71},45->{21,22} ,46->{71},47->{0,1,2},48->{3,4,5},49->{35,36,37},50->{27,28,29},51->{58,59},52->{60,61},53->{62,63,64} ,54->{27,28,29},55->{58,59},56->{60,61},57->{62,63,64},58->{33,34},59->{47,48,49},60->{33,34},61->{47,48,49} ,62->{0,1,2},63->{3,4,5},64->{35,36,37},65->{23,24},66->{67,68,69,70},67->{27,28,29},68->{58,59},69->{60,61} ,70->{62,63,64},71->{},72->{8,9,10},73->{78,79},74->{8,9,10},75->{78,79},76->{8,9,10},77->{78,79},78->{21 ,22},79->{71}] + 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.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.14(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.16(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.13(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.14(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.16(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f2.2(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,B,C,D,E,F,G,H,I,J,K) True f2.2(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,B,C,D,E,F,G,H,I,J,K) True f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.27(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.28(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.27(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.28(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f23.6(A,B,C,D,E,F,G,H,I,J,K) -> f26.7(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f23.6(A,B,C,D,E,F,G,H,I,J,K) -> f26.25(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f26.7(A,B,C,D,E,F,G,H,I,J,K) -> f30.8(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f26.7(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30.8(A,B,C,D,E,F,G,H,I,J,K) -> f30.8(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f30.8(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.10(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.19(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.20(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.10(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.19(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.20(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.18(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f69.12(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.12(A,B,C,D,E,F,G,H,I,J,K) -> f71.14(A,B,C,D,E,F,G,H,I,J,K) True f69.12(A,B,C,D,E,F,G,H,I,J,K) -> f71.16(A,B,C,D,E,F,G,H,I,J,K) True f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(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) -> f74.17(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.14(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f71.14(A,B,C,D,E,F,G,H,I,J,K) -> f74.17(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f74.15(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f74.15(A,B,C,D,E,F,G,H,I,J,K) -> f74.17(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71.16(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f74.17(A,B,C,D,E,F,G,H,I,J,K) -> f23.6(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f74.17(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59.18(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.18(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] f59.18(A,B,C,D,E,F,G,H,I,J,K) -> f69.12(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f40.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 && K >= 1 + D] f40.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.18(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f40.22(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] f40.22(A,B,C,D,E,F,G,H,I,J,K) -> f59.18(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f40.23(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] f40.23(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] f40.23(A,B,C,D,E,F,G,H,I,J,K) -> f69.12(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f26.7(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) -> f26.25(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f23.26(A,B,C,D,E,F,G,H,I,J,K) -> f1.31(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f9.27(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9.27(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9.28(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9.28(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9.29(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f9.29(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f5.30(A,B,C,D,E,F,G,H,I,J,K) -> f23.6(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f5.30(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(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) ;(f1.31,11) ;(f2.2,11) ;(f23.26,11) ;(f23.6,11) ;(f26.25,11) ;(f26.7,11) ;(f30.24,11) ;(f30.8,11) ;(f40.21,11) ;(f40.22,11) ;(f40.23,11) ;(f40.9,11) ;(f44.10,11) ;(f44.19,11) ;(f44.20,11) ;(f5.3,11) ;(f5.30,11) ;(f59.11,11) ;(f59.18,11) ;(f69.0,11) ;(f69.1,11) ;(f69.12,11) ;(f71.13,11) ;(f71.14,11) ;(f71.16,11) ;(f74.15,11) ;(f74.17,11) ;(f9.27,11) ;(f9.28,11) ;(f9.29,11) ;(f9.4,11) ;(f9.5,11)} Rule Graph: [0->{38,39},1->{40,41},2->{44},3->{38,39},4->{40,41},5->{44},6->{8,9,10},7->{78,79},8->{11,12,13,14,15} ,9->{16,17,18,19,20},10->{76,77},11->{11,12,13,14,15},12->{16,17,18,19,20},13->{72,73},14->{74,75},15->{76 ,77},16->{11,12,13,14,15},17->{16,17,18,19,20},18->{72,73},19->{74,75},20->{76,77},21->{23,24},22->{67,68,69 ,70},23->{25,26},24->{65,66},25->{25,26},26->{65,66},27->{30,31,32},28->{50,51,52,53},29->{54,55,56,57} ,30->{30,31,32},31->{50,51,52,53},32->{54,55,56,57},33->{33,34},34->{47,48,49},35->{38,39},36->{40,41} ,37->{44},38->{42,43},39->{45,46},40->{42,43},41->{45,46},42->{42,43},43->{45,46},44->{71},45->{21,22} ,46->{71},47->{0,1,2},48->{3,4,5},49->{35,36,37},50->{27,28,29},51->{58,59},52->{60,61},53->{62,63,64} ,54->{27,28,29},55->{58,59},56->{60,61},57->{62,63,64},58->{33,34},59->{47,48,49},60->{33,34},61->{47,48,49} ,62->{0,1,2},63->{3,4,5},64->{35,36,37},65->{23,24},66->{67,68,69,70},67->{27,28,29},68->{58,59},69->{60,61} ,70->{62,63,64},71->{80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99},72->{8,9,10},73->{78,79} ,74->{8,9,10},75->{78,79},76->{8,9,10},77->{78,79},78->{21,22},79->{71}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99] | +- p:[8,72,13,11,16,9,74,14,19,12,17,76,10,15,20,18] c: [8,9,10,11,12,13,14,15,16,17,18,19,20,72,74,76] | `- p:[0,47,34,33,58,51,28,50,31,27,54,29,67,22,45,39,3,48,59,55,32,30,68,66,24,21,65,26,23,25,61,52,56,69,63,53,57,70,35,49,64,41,1,62,4,36,43,38,40,42,60] c: [0,1,3,4,21,22,27,28,29,33,34,35,36,38,39,40,41,42,43,45,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,67,68,69,70] | +- p:[30] c: [30] | `- p:[23,65,24,26,25] c: [23,24,26,65] | `- 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.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.14(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.16(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.13(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.14(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f69.1(A,B,C,D,E,F,G,H,I,J,K) -> f71.16(A,B,C,D,E,F,G,H,I,J,K) [L >= 1] f2.2(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,B,C,D,E,F,G,H,I,J,K) True f2.2(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,B,C,D,E,F,G,H,I,J,K) True f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f5.3(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.27(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.28(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.4(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.4(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.5(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.27(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.28(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f9.5(A,B,C,D,E,F,G,H,I,J,K) -> f9.29(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f23.6(A,B,C,D,E,F,G,H,I,J,K) -> f26.7(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f23.6(A,B,C,D,E,F,G,H,I,J,K) -> f26.25(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f26.7(A,B,C,D,E,F,G,H,I,J,K) -> f30.8(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f26.7(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30.8(A,B,C,D,E,F,G,H,I,J,K) -> f30.8(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f30.8(A,B,C,D,E,F,G,H,I,J,K) -> f30.24(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.10(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.19(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f40.9(A,B,C,D,E,F,G,H,I,J,K) -> f44.20(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.10(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.19(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f44.10(A,B,C,D,E,F,G,H,I,J,K) -> f44.20(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.18(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f69.12(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.12(A,B,C,D,E,F,G,H,I,J,K) -> f71.14(A,B,C,D,E,F,G,H,I,J,K) True f69.12(A,B,C,D,E,F,G,H,I,J,K) -> f71.16(A,B,C,D,E,F,G,H,I,J,K) True f71.13(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(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) -> f74.17(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71.14(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f71.14(A,B,C,D,E,F,G,H,I,J,K) -> f74.17(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f74.15(A,B,C,D,E,F,G,H,I,J,K) -> f74.15(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f74.15(A,B,C,D,E,F,G,H,I,J,K) -> f74.17(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71.16(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f74.17(A,B,C,D,E,F,G,H,I,J,K) -> f23.6(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f74.17(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59.18(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.18(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] f59.18(A,B,C,D,E,F,G,H,I,J,K) -> f69.12(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.19(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f44.20(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f40.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 && K >= 1 + D] f40.21(A,B,C,D,E,F,G,H,I,J,K) -> f59.18(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f40.22(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] f40.22(A,B,C,D,E,F,G,H,I,J,K) -> f59.18(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f40.23(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] f40.23(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] f40.23(A,B,C,D,E,F,G,H,I,J,K) -> f69.12(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f30.24(A,B,C,D,E,F,G,H,I,J,K) -> f26.7(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) -> f26.25(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.9(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.21(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.22(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f26.25(A,B,C,D,E,F,G,H,I,J,K) -> f40.23(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f23.26(A,B,C,D,E,F,G,H,I,J,K) -> f1.31(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f9.27(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9.27(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9.28(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9.28(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9.29(A,B,C,D,E,F,G,H,I,J,K) -> f5.3(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f9.29(A,B,C,D,E,F,G,H,I,J,K) -> f5.30(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f5.30(A,B,C,D,E,F,G,H,I,J,K) -> f23.6(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f5.30(A,B,C,D,E,F,G,H,I,J,K) -> f23.26(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(A,B,C,D,E,F,G,H,I,J,K) -> exitus616(A,B,C,D,E,F,G,H,I,J,K) True f1.31(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) ;(f1.31,11) ;(f2.2,11) ;(f23.26,11) ;(f23.6,11) ;(f26.25,11) ;(f26.7,11) ;(f30.24,11) ;(f30.8,11) ;(f40.21,11) ;(f40.22,11) ;(f40.23,11) ;(f40.9,11) ;(f44.10,11) ;(f44.19,11) ;(f44.20,11) ;(f5.3,11) ;(f5.30,11) ;(f59.11,11) ;(f59.18,11) ;(f69.0,11) ;(f69.1,11) ;(f69.12,11) ;(f71.13,11) ;(f71.14,11) ;(f71.16,11) ;(f74.15,11) ;(f74.17,11) ;(f9.27,11) ;(f9.28,11) ;(f9.29,11) ;(f9.4,11) ;(f9.5,11)} Rule Graph: [0->{38,39},1->{40,41},2->{44},3->{38,39},4->{40,41},5->{44},6->{8,9,10},7->{78,79},8->{11,12,13,14,15} ,9->{16,17,18,19,20},10->{76,77},11->{11,12,13,14,15},12->{16,17,18,19,20},13->{72,73},14->{74,75},15->{76 ,77},16->{11,12,13,14,15},17->{16,17,18,19,20},18->{72,73},19->{74,75},20->{76,77},21->{23,24},22->{67,68,69 ,70},23->{25,26},24->{65,66},25->{25,26},26->{65,66},27->{30,31,32},28->{50,51,52,53},29->{54,55,56,57} ,30->{30,31,32},31->{50,51,52,53},32->{54,55,56,57},33->{33,34},34->{47,48,49},35->{38,39},36->{40,41} ,37->{44},38->{42,43},39->{45,46},40->{42,43},41->{45,46},42->{42,43},43->{45,46},44->{71},45->{21,22} ,46->{71},47->{0,1,2},48->{3,4,5},49->{35,36,37},50->{27,28,29},51->{58,59},52->{60,61},53->{62,63,64} ,54->{27,28,29},55->{58,59},56->{60,61},57->{62,63,64},58->{33,34},59->{47,48,49},60->{33,34},61->{47,48,49} ,62->{0,1,2},63->{3,4,5},64->{35,36,37},65->{23,24},66->{67,68,69,70},67->{27,28,29},68->{58,59},69->{60,61} ,70->{62,63,64},71->{80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99},72->{8,9,10},73->{78,79} ,74->{8,9,10},75->{78,79},76->{8,9,10},77->{78,79},78->{21,22},79->{71}] ,We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99] | +- p:[8,72,13,11,16,9,74,14,19,12,17,76,10,15,20,18] c: [8,9,10,11,12,13,14,15,16,17,18,19,20,72,74,76] | `- p:[0,47,34,33,58,51,28,50,31,27,54,29,67,22,45,39,3,48,59,55,32,30,68,66,24,21,65,26,23,25,61,52,56,69,63,53,57,70,35,49,64,41,1,62,4,36,43,38,40,42,60] c: [0,1,3,4,21,22,27,28,29,33,34,35,36,38,39,40,41,42,43,45,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,67,68,69,70] | +- p:[30] c: [30] | `- p:[23,65,24,26,25] c: [23,24,26,65] | `- 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.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.14 [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.16 [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.14 [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.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f2.2 ~> f5.3 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f2.2 ~> f5.30 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f5.3 ~> f9.4 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f5.3 ~> f9.5 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f5.3 ~> f9.29 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.4 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.5 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.27 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.28 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.29 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.4 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.5 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.27 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.28 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.29 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f23.6 ~> f26.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f23.6 ~> f26.25 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.7 ~> f30.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f26.7 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f30.8 ~> f30.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f30.8 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f40.9 ~> f44.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f40.9 ~> f44.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f40.9 ~> f44.20 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f44.10 ~> f44.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f44.10 ~> f44.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f44.10 ~> f44.20 [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.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K + H, I <= unknown, J <= J, K <= K] f69.12 ~> 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.12 ~> f71.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.12 ~> f71.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.13 ~> f74.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.13 ~> f74.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.14 ~> f74.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.14 ~> f74.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f74.15 ~> f74.15 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f74.15 ~> f74.17 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.16 ~> f23.26 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f74.17 ~> f23.6 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f74.17 ~> f23.26 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.18 ~> 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.18 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.18 ~> f69.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f44.19 ~> f40.9 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.19 ~> f40.21 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.19 ~> f40.22 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.19 ~> f40.23 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.20 ~> f40.9 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f44.20 ~> f40.21 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f44.20 ~> f40.22 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f44.20 ~> f40.23 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f40.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] f40.21 ~> f59.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.22 ~> f59.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.22 ~> f59.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.23 ~> f69.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f40.23 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f40.23 ~> f69.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f30.24 ~> f26.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.24 ~> f26.25 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.25 ~> f40.9 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.25 ~> f40.21 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.25 ~> f40.22 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.25 ~> f40.23 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f23.26 ~> f1.31 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.27 ~> f5.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.27 ~> f5.30 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.28 ~> f5.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.28 ~> f5.30 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.29 ~> f5.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] f9.29 ~> f5.30 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f5.30 ~> f23.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f5.30 ~> f23.26 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f1.31 ~> 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] f5.3 ~> f9.4 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.27 ~> f5.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.27 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.4 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.4 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f5.3 ~> f9.5 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.28 ~> f5.3 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.28 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.28 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.5 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.5 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.29 ~> f5.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] f5.3 ~> f9.29 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f9.4 ~> f9.29 [A <= A, B <= B, C <= C, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.29 [A <= A, B <= B, C <= unknown, D <= K + D, E <= unknown, F <= unknown, G <= G, H <= H, I <= I, J <= J, K <= K] f9.5 ~> f9.27 [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.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.18 ~> 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.18 [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] f40.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] f44.19 ~> f40.21 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f40.9 ~> f44.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f44.19 ~> f40.9 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.10 ~> f44.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f40.9 ~> f44.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f44.20 ~> f40.9 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f40.9 ~> f44.20 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f26.25 ~> f40.9 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f23.6 ~> f26.25 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f74.17 ~> f23.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.13 ~> f74.17 [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.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.18 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.21 ~> f59.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f44.20 ~> f40.21 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f44.10 ~> f44.20 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f44.10 ~> f44.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= D + H, I <= I, J <= J, K <= K] f26.25 ~> f40.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 ~> f26.25 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.7 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f23.6 ~> f26.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f26.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.8 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f26.7 ~> f30.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f30.8 ~> f30.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f40.22 ~> f59.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f44.19 ~> f40.22 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.20 ~> f40.22 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f26.25 ~> f40.22 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.23 ~> f69.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f44.19 ~> f40.23 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= K] f44.20 ~> f40.23 [A <= A, B <= K + B, C <= unknown, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= unknown, K <= B] f26.25 ~> f40.23 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.12 ~> f71.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f59.18 ~> f69.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.23 ~> f69.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= D] f71.14 ~> f74.17 [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.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.23 ~> 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.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f69.12 ~> f71.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f74.15 ~> f74.17 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f71.13 ~> f74.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f71.14 ~> f74.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= unknown, J <= J, K <= K] f74.15 ~> f74.15 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f40.22 ~> 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] f44.10 ~> f44.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] f26.7 ~> f30.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f30.24 ~> f26.7 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J, K <= K] f26.7 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= H, I <= I, J <= J, K <= K] f30.8 ~> f30.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= unknown, H <= B + H, I <= I, J <= J, K <= K] f30.8 ~> f30.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] f30.8 ~> f30.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.13 [] f69.0 ~> f71.14 [] f69.0 ~> f71.16 [] f69.1 ~> f71.13 [] f69.1 ~> f71.14 [] f69.1 ~> f71.16 [] f2.2 ~> f5.3 [] f2.2 ~> f5.30 [] f5.3 ~> f9.4 [K ~=> C] f5.3 ~> f9.5 [K ~=> C] f5.3 ~> f9.29 [K ~=> C] f9.4 ~> f9.4 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.4 ~> f9.5 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.4 ~> f9.27 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.4 ~> f9.28 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.4 ~> f9.29 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.4 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.5 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.27 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.28 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.29 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f23.6 ~> f26.7 [] f23.6 ~> f26.25 [] f26.7 ~> f30.8 [huge ~=> G] f26.7 ~> f30.24 [huge ~=> G] f30.8 ~> f30.8 [huge ~=> G,B ~+> H,H ~+> H] f30.8 ~> f30.24 [huge ~=> G,B ~+> H,H ~+> H] f40.9 ~> f44.10 [huge ~=> G] f40.9 ~> f44.19 [huge ~=> G] f40.9 ~> f44.20 [huge ~=> G] f44.10 ~> f44.10 [huge ~=> G,D ~+> H,H ~+> H] f44.10 ~> f44.19 [huge ~=> G,D ~+> H,H ~+> H] f44.10 ~> f44.20 [huge ~=> G,D ~+> H,H ~+> H] f59.11 ~> f59.11 [huge ~=> I,H ~+> H,K ~+> H] f59.11 ~> f59.18 [huge ~=> I,H ~+> H,K ~+> H] f69.12 ~> f71.13 [] f69.12 ~> f71.14 [] f69.12 ~> f71.16 [] f71.13 ~> f74.15 [huge ~=> I] f71.13 ~> f74.17 [huge ~=> I] f71.14 ~> f74.15 [huge ~=> I] f71.14 ~> f74.17 [huge ~=> I] f74.15 ~> f74.15 [B ~+> B,K ~+> B] f74.15 ~> f74.17 [B ~+> B,K ~+> B] f71.16 ~> f23.26 [D ~+> D,K ~+> D] f74.17 ~> f23.6 [D ~+> D,K ~+> D] f74.17 ~> f23.26 [D ~+> D,K ~+> D] f59.18 ~> f69.0 [] f59.18 ~> f69.1 [] f59.18 ~> f69.12 [] f44.19 ~> f40.9 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.19 ~> f40.21 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.19 ~> f40.22 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.19 ~> f40.23 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.20 ~> f40.9 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.20 ~> f40.21 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.20 ~> f40.22 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.20 ~> f40.23 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f40.21 ~> f59.11 [] f40.21 ~> f59.18 [] f40.22 ~> f59.11 [] f40.22 ~> f59.18 [] f40.23 ~> f69.0 [D ~=> K] f40.23 ~> f69.1 [D ~=> K] f40.23 ~> f69.12 [D ~=> K] f30.24 ~> f26.7 [B ~+> B,K ~+> B] f30.24 ~> f26.25 [B ~+> B,K ~+> B] f26.25 ~> f40.9 [K ~=> C] f26.25 ~> f40.21 [K ~=> C] f26.25 ~> f40.22 [K ~=> C] f26.25 ~> f40.23 [K ~=> C] f23.26 ~> f1.31 [] f9.27 ~> f5.3 [B ~+> B,K ~+> B] f9.27 ~> f5.30 [B ~+> B,K ~+> B] f9.28 ~> f5.3 [B ~+> B,K ~+> B] f9.28 ~> f5.30 [B ~+> B,K ~+> B] f9.29 ~> f5.3 [K ~=> C,B ~+> B,K ~+> B] f9.29 ~> f5.30 [K ~=> C,B ~+> B,K ~+> B] f5.30 ~> f23.6 [] f5.30 ~> f23.26 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] f1.31 ~> exitus616 [] + Loop: [A ~+> 0.0,B ~+> 0.0,D ~+> 0.0,K ~+> 0.0] f5.3 ~> f9.4 [K ~=> C] f9.27 ~> f5.3 [B ~+> B,K ~+> B] f9.4 ~> f9.27 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.4 ~> f9.4 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.4 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f5.3 ~> f9.5 [K ~=> C] f9.28 ~> f5.3 [B ~+> B,K ~+> B] f9.4 ~> f9.28 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.28 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.4 ~> f9.5 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.5 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.29 ~> f5.3 [K ~=> C,B ~+> B,K ~+> B] f5.3 ~> f9.29 [K ~=> C] f9.4 ~> f9.29 [huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.29 [huge ~=> C,huge ~=> E,huge ~=> F,D ~+> D,K ~+> D] f9.5 ~> f9.27 [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.13 [] f59.18 ~> f69.0 [] f59.11 ~> f59.18 [huge ~=> I,H ~+> H,K ~+> H] f59.11 ~> f59.11 [huge ~=> I,H ~+> H,K ~+> H] f40.21 ~> f59.11 [] f44.19 ~> f40.21 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f40.9 ~> f44.19 [huge ~=> G] f44.19 ~> f40.9 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.10 ~> f44.19 [huge ~=> G,D ~+> H,H ~+> H] f40.9 ~> f44.10 [huge ~=> G] f44.20 ~> f40.9 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f40.9 ~> f44.20 [huge ~=> G] f26.25 ~> f40.9 [K ~=> C] f23.6 ~> f26.25 [] f74.17 ~> f23.6 [D ~+> D,K ~+> D] f71.13 ~> f74.17 [huge ~=> I] f69.1 ~> f71.13 [] f59.18 ~> f69.1 [] f40.21 ~> f59.18 [] f44.20 ~> f40.21 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.10 ~> f44.20 [huge ~=> G,D ~+> H,H ~+> H] f44.10 ~> f44.10 [huge ~=> G,D ~+> H,H ~+> H] f26.25 ~> f40.21 [K ~=> C] f30.24 ~> f26.25 [B ~+> B,K ~+> B] f26.7 ~> f30.24 [huge ~=> G] f23.6 ~> f26.7 [] f30.24 ~> f26.7 [B ~+> B,K ~+> B] f30.8 ~> f30.24 [huge ~=> G,B ~+> H,H ~+> H] f26.7 ~> f30.8 [huge ~=> G] f30.8 ~> f30.8 [huge ~=> G,B ~+> H,H ~+> H] f40.22 ~> f59.18 [] f44.19 ~> f40.22 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.20 ~> f40.22 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f26.25 ~> f40.22 [K ~=> C] f40.23 ~> f69.1 [D ~=> K] f44.19 ~> f40.23 [huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f44.20 ~> f40.23 [B ~=> K,huge ~=> C,huge ~=> I,huge ~=> J,B ~+> B,K ~+> B] f26.25 ~> f40.23 [K ~=> C] f69.12 ~> f71.13 [] f59.18 ~> f69.12 [] f40.23 ~> f69.12 [D ~=> K] f71.14 ~> f74.17 [huge ~=> I] f69.0 ~> f71.14 [] f40.23 ~> f69.0 [D ~=> K] f69.1 ~> f71.14 [] f69.12 ~> f71.14 [] f74.15 ~> f74.17 [B ~+> B,K ~+> B] f71.13 ~> f74.15 [huge ~=> I] f71.14 ~> f74.15 [huge ~=> I] f74.15 ~> f74.15 [B ~+> B,K ~+> B] f40.22 ~> f59.11 [] + Loop: [D ~+> 0.1.0,H ~+> 0.1.0,K ~+> 0.1.0] f44.10 ~> f44.10 [huge ~=> G,D ~+> H,H ~+> H] + Loop: [B ~+> 0.1.1,D ~+> 0.1.1,K ~+> 0.1.1] f26.7 ~> f30.8 [huge ~=> G] f30.24 ~> f26.7 [B ~+> B,K ~+> B] f26.7 ~> f30.24 [huge ~=> G] f30.8 ~> f30.24 [huge ~=> G,B ~+> H,H ~+> H] f30.8 ~> f30.8 [huge ~=> G,B ~+> H,H ~+> H] + Loop: [B ~+> 0.1.1.0,H ~+> 0.1.1.0,K ~+> 0.1.1.0] f30.8 ~> f30.8 [huge ~=> G,B ~+> H,H ~+> H] + Applied Processor: Lare + Details: f2.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] + f9.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] f9.29> [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] f9.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] + 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] f74.17> [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.12> [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] + f44.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] + f30.24> [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] + f30.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)