YES(?,PRIMREC) * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H) -> f12(A,B,0,B,E,F,G,H) [A >= 1 + B] (?,1) 1. f12(A,B,C,D,E,F,G,H) -> f12(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] (?,1) 2. f12(A,B,C,D,E,F,G,H) -> f12(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] (?,1) 3. f22(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 4. f29(A,B,C,D,E,F,G,H) -> f29(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 5. f35(A,B,C,D,E,F,G,H) -> f37(A,B,C,D,E,F,G,H) [0 >= 1 + C] (?,1) 6. f35(A,B,C,D,E,F,G,H) -> f37(A,B,C,D,E,F,G,H) [C >= 1] (?,1) 7. f37(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] (?,1) 8. f37(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && I >= 1] (?,1) 9. f43(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,1 + E,F,G,H) [A >= E] (?,1) 10. f48(A,B,C,D,E,F,G,H) -> f48(A,B,C,D,1 + E,F,G,H) [A >= E] (?,1) 11. f37(A,B,C,D,E,F,G,H) -> f37(A,B,C,1 + D,E,F,G,0) [A >= D] (?,1) 12. f35(A,B,C,D,E,F,G,H) -> f0(A,1 + B,0,D,E,F,G,H) [C = 0] (?,1) 13. f48(A,B,C,D,E,F,G,H) -> f37(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] (?,1) 14. f43(A,B,C,D,E,F,G,H) -> f48(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 15. f37(A,B,C,D,E,F,G,H) -> f0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] (?,1) 16. f29(A,B,C,D,E,F,G,H) -> f35(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 17. f22(A,B,C,D,E,F,G,H) -> f29(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 18. f12(A,B,C,D,E,F,G,H) -> f35(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] (?,1) 19. f12(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] (?,1) 20. f12(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] (?,1) 21. f0(A,B,C,D,E,F,G,H) -> f58(A,B,C,D,E,F,G,H) [B >= A] (?,1) 22. start(A,B,C,D,E,F,G,H) -> f0(A,B,C,D,E,F,G,H) True (1,1) Signature: {(f0,8);(f12,8);(f22,8);(f29,8);(f35,8);(f37,8);(f43,8);(f48,8);(f58,8);(start,8)} Flow Graph: [0->{1,2,18,19,20},1->{1,2,18,19,20},2->{1,2,18,19,20},3->{3,17},4->{4,16},5->{7,8,11,15},6->{7,8,11,15} ,7->{9,14},8->{9,14},9->{9,14},10->{10,13},11->{7,8,11,15},12->{0,21},13->{7,8,11,15},14->{10,13},15->{0,21} ,16->{5,6,12},17->{4,16},18->{5,6,12},19->{3,17},20->{3,17},21->{},22->{0,21}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,19),(0,20),(14,10),(17,4),(19,3),(20,3)] * Step 2: FromIts MAYBE + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H) -> f12(A,B,0,B,E,F,G,H) [A >= 1 + B] (?,1) 1. f12(A,B,C,D,E,F,G,H) -> f12(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] (?,1) 2. f12(A,B,C,D,E,F,G,H) -> f12(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] (?,1) 3. f22(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 4. f29(A,B,C,D,E,F,G,H) -> f29(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 5. f35(A,B,C,D,E,F,G,H) -> f37(A,B,C,D,E,F,G,H) [0 >= 1 + C] (?,1) 6. f35(A,B,C,D,E,F,G,H) -> f37(A,B,C,D,E,F,G,H) [C >= 1] (?,1) 7. f37(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] (?,1) 8. f37(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && I >= 1] (?,1) 9. f43(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,1 + E,F,G,H) [A >= E] (?,1) 10. f48(A,B,C,D,E,F,G,H) -> f48(A,B,C,D,1 + E,F,G,H) [A >= E] (?,1) 11. f37(A,B,C,D,E,F,G,H) -> f37(A,B,C,1 + D,E,F,G,0) [A >= D] (?,1) 12. f35(A,B,C,D,E,F,G,H) -> f0(A,1 + B,0,D,E,F,G,H) [C = 0] (?,1) 13. f48(A,B,C,D,E,F,G,H) -> f37(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] (?,1) 14. f43(A,B,C,D,E,F,G,H) -> f48(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 15. f37(A,B,C,D,E,F,G,H) -> f0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] (?,1) 16. f29(A,B,C,D,E,F,G,H) -> f35(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 17. f22(A,B,C,D,E,F,G,H) -> f29(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 18. f12(A,B,C,D,E,F,G,H) -> f35(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] (?,1) 19. f12(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] (?,1) 20. f12(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] (?,1) 21. f0(A,B,C,D,E,F,G,H) -> f58(A,B,C,D,E,F,G,H) [B >= A] (?,1) 22. start(A,B,C,D,E,F,G,H) -> f0(A,B,C,D,E,F,G,H) True (1,1) Signature: {(f0,8);(f12,8);(f22,8);(f29,8);(f35,8);(f37,8);(f43,8);(f48,8);(f58,8);(start,8)} Flow Graph: [0->{1,2,18},1->{1,2,18,19,20},2->{1,2,18,19,20},3->{3,17},4->{4,16},5->{7,8,11,15},6->{7,8,11,15},7->{9 ,14},8->{9,14},9->{9,14},10->{10,13},11->{7,8,11,15},12->{0,21},13->{7,8,11,15},14->{13},15->{0,21},16->{5,6 ,12},17->{16},18->{5,6,12},19->{17},20->{17},21->{},22->{0,21}] + Applied Processor: FromIts + Details: () * Step 3: Unfold MAYBE + Considered Problem: Rules: f0(A,B,C,D,E,F,G,H) -> f12(A,B,0,B,E,F,G,H) [A >= 1 + B] f12(A,B,C,D,E,F,G,H) -> f12(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12(A,B,C,D,E,F,G,H) -> f12(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f22(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,1 + E,F,G,J) [A >= E] f29(A,B,C,D,E,F,G,H) -> f29(A,B,C,D,1 + E,F,G,J) [A >= E] f35(A,B,C,D,E,F,G,H) -> f37(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35(A,B,C,D,E,F,G,H) -> f37(A,B,C,D,E,F,G,H) [C >= 1] f37(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f43(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,1 + E,F,G,H) [A >= E] f48(A,B,C,D,E,F,G,H) -> f48(A,B,C,D,1 + E,F,G,H) [A >= E] f37(A,B,C,D,E,F,G,H) -> f37(A,B,C,1 + D,E,F,G,0) [A >= D] f35(A,B,C,D,E,F,G,H) -> f0(A,1 + B,0,D,E,F,G,H) [C = 0] f48(A,B,C,D,E,F,G,H) -> f37(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43(A,B,C,D,E,F,G,H) -> f48(A,B,C,D,E,F,G,H) [E >= 1 + A] f37(A,B,C,D,E,F,G,H) -> f0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f29(A,B,C,D,E,F,G,H) -> f35(A,B,C,D,E,F,G,H) [E >= 1 + A] f22(A,B,C,D,E,F,G,H) -> f29(A,B,C,D,E,F,G,H) [E >= 1 + A] f12(A,B,C,D,E,F,G,H) -> f35(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f12(A,B,C,D,E,F,G,H) -> f22(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f0(A,B,C,D,E,F,G,H) -> f58(A,B,C,D,E,F,G,H) [B >= A] start(A,B,C,D,E,F,G,H) -> f0(A,B,C,D,E,F,G,H) True Signature: {(f0,8);(f12,8);(f22,8);(f29,8);(f35,8);(f37,8);(f43,8);(f48,8);(f58,8);(start,8)} Rule Graph: [0->{1,2,18},1->{1,2,18,19,20},2->{1,2,18,19,20},3->{3,17},4->{4,16},5->{7,8,11,15},6->{7,8,11,15},7->{9 ,14},8->{9,14},9->{9,14},10->{10,13},11->{7,8,11,15},12->{0,21},13->{7,8,11,15},14->{13},15->{0,21},16->{5,6 ,12},17->{16},18->{5,6,12},19->{17},20->{17},21->{},22->{0,21}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H) -> f12.1(A,B,0,B,E,F,G,H) [A >= 1 + B] f0.0(A,B,C,D,E,F,G,H) -> f12.2(A,B,0,B,E,F,G,H) [A >= 1 + B] f0.0(A,B,C,D,E,F,G,H) -> f12.18(A,B,0,B,E,F,G,H) [A >= 1 + B] f12.1(A,B,C,D,E,F,G,H) -> f12.1(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.2(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.18(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.19(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.20(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.2(A,B,C,D,E,F,G,H) -> f12.1(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.2(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.18(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.19(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.20(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f22.3(A,B,C,D,E,F,G,H) -> f22.3(A,B,C,D,1 + E,F,G,J) [A >= E] f22.3(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,1 + E,F,G,J) [A >= E] f29.4(A,B,C,D,E,F,G,H) -> f29.4(A,B,C,D,1 + E,F,G,J) [A >= E] f29.4(A,B,C,D,E,F,G,H) -> f29.16(A,B,C,D,1 + E,F,G,J) [A >= E] f35.5(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.6(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,D,E,F,G,H) [C >= 1] f37.7(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37.7(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37.8(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f37.8(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f43.9(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,1 + E,F,G,H) [A >= E] f43.9(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,1 + E,F,G,H) [A >= E] f48.10(A,B,C,D,E,F,G,H) -> f48.10(A,B,C,D,1 + E,F,G,H) [A >= E] f48.10(A,B,C,D,E,F,G,H) -> f48.13(A,B,C,D,1 + E,F,G,H) [A >= E] f37.11(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,1 + D,E,F,G,0) [A >= D] f35.12(A,B,C,D,E,F,G,H) -> f0.0(A,1 + B,0,D,E,F,G,H) [C = 0] f35.12(A,B,C,D,E,F,G,H) -> f0.21(A,1 + B,0,D,E,F,G,H) [C = 0] f48.13(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43.14(A,B,C,D,E,F,G,H) -> f48.13(A,B,C,D,E,F,G,H) [E >= 1 + A] f37.15(A,B,C,D,E,F,G,H) -> f0.0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f37.15(A,B,C,D,E,F,G,H) -> f0.21(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.5(A,B,C,D,E,F,G,H) [E >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.6(A,B,C,D,E,F,G,H) [E >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.12(A,B,C,D,E,F,G,H) [E >= 1 + A] f22.17(A,B,C,D,E,F,G,H) -> f29.16(A,B,C,D,E,F,G,H) [E >= 1 + A] f12.18(A,B,C,D,E,F,G,H) -> f35.5(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.18(A,B,C,D,E,F,G,H) -> f35.6(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.18(A,B,C,D,E,F,G,H) -> f35.12(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.19(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f12.20(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f0.21(A,B,C,D,E,F,G,H) -> f58.23(A,B,C,D,E,F,G,H) [B >= A] start.22(A,B,C,D,E,F,G,H) -> f0.0(A,B,C,D,E,F,G,H) True start.22(A,B,C,D,E,F,G,H) -> f0.21(A,B,C,D,E,F,G,H) True Signature: {(f0.0,8) ;(f0.21,8) ;(f12.1,8) ;(f12.18,8) ;(f12.19,8) ;(f12.2,8) ;(f12.20,8) ;(f22.17,8) ;(f22.3,8) ;(f29.16,8) ;(f29.4,8) ;(f35.12,8) ;(f35.5,8) ;(f35.6,8) ;(f37.11,8) ;(f37.15,8) ;(f37.7,8) ;(f37.8,8) ;(f43.14,8) ;(f43.9,8) ;(f48.10,8) ;(f48.13,8) ;(f58.23,8) ;(start.22,8)} Rule Graph: [0->{3,4,5,6,7},1->{8,9,10,11,12},2->{50,51,52},3->{3,4,5,6,7},4->{8,9,10,11,12},5->{50,51,52},6->{53} ,7->{54},8->{3,4,5,6,7},9->{8,9,10,11,12},10->{50,51,52},11->{53},12->{54},13->{13,14},14->{49},15->{15,16} ,16->{46,47,48},17->{25,26},18->{27,28},19->{33,34,35,36},20->{44,45},21->{25,26},22->{27,28},23->{33,34,35 ,36},24->{44,45},25->{29,30},26->{43},27->{29,30},28->{43},29->{29,30},30->{43},31->{31,32},32->{39,40,41 ,42},33->{25,26},34->{27,28},35->{33,34,35,36},36->{44,45},37->{0,1,2},38->{55},39->{25,26},40->{27,28} ,41->{33,34,35,36},42->{44,45},43->{39,40,41,42},44->{0,1,2},45->{55},46->{17,18,19,20},47->{21,22,23,24} ,48->{37,38},49->{46,47,48},50->{17,18,19,20},51->{21,22,23,24},52->{37,38},53->{49},54->{49},55->{},56->{0 ,1,2},57->{55}] + Applied Processor: AddSinks + Details: () * Step 5: Decompose MAYBE + Considered Problem: Rules: f0.0(A,B,C,D,E,F,G,H) -> f12.1(A,B,0,B,E,F,G,H) [A >= 1 + B] f0.0(A,B,C,D,E,F,G,H) -> f12.2(A,B,0,B,E,F,G,H) [A >= 1 + B] f0.0(A,B,C,D,E,F,G,H) -> f12.18(A,B,0,B,E,F,G,H) [A >= 1 + B] f12.1(A,B,C,D,E,F,G,H) -> f12.1(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.2(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.18(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.19(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.20(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.2(A,B,C,D,E,F,G,H) -> f12.1(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.2(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.18(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.19(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.20(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f22.3(A,B,C,D,E,F,G,H) -> f22.3(A,B,C,D,1 + E,F,G,J) [A >= E] f22.3(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,1 + E,F,G,J) [A >= E] f29.4(A,B,C,D,E,F,G,H) -> f29.4(A,B,C,D,1 + E,F,G,J) [A >= E] f29.4(A,B,C,D,E,F,G,H) -> f29.16(A,B,C,D,1 + E,F,G,J) [A >= E] f35.5(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.6(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,D,E,F,G,H) [C >= 1] f37.7(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37.7(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37.8(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f37.8(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f43.9(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,1 + E,F,G,H) [A >= E] f43.9(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,1 + E,F,G,H) [A >= E] f48.10(A,B,C,D,E,F,G,H) -> f48.10(A,B,C,D,1 + E,F,G,H) [A >= E] f48.10(A,B,C,D,E,F,G,H) -> f48.13(A,B,C,D,1 + E,F,G,H) [A >= E] f37.11(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,1 + D,E,F,G,0) [A >= D] f35.12(A,B,C,D,E,F,G,H) -> f0.0(A,1 + B,0,D,E,F,G,H) [C = 0] f35.12(A,B,C,D,E,F,G,H) -> f0.21(A,1 + B,0,D,E,F,G,H) [C = 0] f48.13(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43.14(A,B,C,D,E,F,G,H) -> f48.13(A,B,C,D,E,F,G,H) [E >= 1 + A] f37.15(A,B,C,D,E,F,G,H) -> f0.0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f37.15(A,B,C,D,E,F,G,H) -> f0.21(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.5(A,B,C,D,E,F,G,H) [E >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.6(A,B,C,D,E,F,G,H) [E >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.12(A,B,C,D,E,F,G,H) [E >= 1 + A] f22.17(A,B,C,D,E,F,G,H) -> f29.16(A,B,C,D,E,F,G,H) [E >= 1 + A] f12.18(A,B,C,D,E,F,G,H) -> f35.5(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.18(A,B,C,D,E,F,G,H) -> f35.6(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.18(A,B,C,D,E,F,G,H) -> f35.12(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.19(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f12.20(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f0.21(A,B,C,D,E,F,G,H) -> f58.23(A,B,C,D,E,F,G,H) [B >= A] start.22(A,B,C,D,E,F,G,H) -> f0.0(A,B,C,D,E,F,G,H) True start.22(A,B,C,D,E,F,G,H) -> f0.21(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True Signature: {(exitus616,8) ;(f0.0,8) ;(f0.21,8) ;(f12.1,8) ;(f12.18,8) ;(f12.19,8) ;(f12.2,8) ;(f12.20,8) ;(f22.17,8) ;(f22.3,8) ;(f29.16,8) ;(f29.4,8) ;(f35.12,8) ;(f35.5,8) ;(f35.6,8) ;(f37.11,8) ;(f37.15,8) ;(f37.7,8) ;(f37.8,8) ;(f43.14,8) ;(f43.9,8) ;(f48.10,8) ;(f48.13,8) ;(f58.23,8) ;(start.22,8)} Rule Graph: [0->{3,4,5,6,7},1->{8,9,10,11,12},2->{50,51,52},3->{3,4,5,6,7},4->{8,9,10,11,12},5->{50,51,52},6->{53} ,7->{54},8->{3,4,5,6,7},9->{8,9,10,11,12},10->{50,51,52},11->{53},12->{54},13->{13,14},14->{49},15->{15,16} ,16->{46,47,48},17->{25,26},18->{27,28},19->{33,34,35,36},20->{44,45},21->{25,26},22->{27,28},23->{33,34,35 ,36},24->{44,45},25->{29,30},26->{43},27->{29,30},28->{43},29->{29,30},30->{43},31->{31,32},32->{39,40,41 ,42},33->{25,26},34->{27,28},35->{33,34,35,36},36->{44,45},37->{0,1,2},38->{55},39->{25,26},40->{27,28} ,41->{33,34,35,36},42->{44,45},43->{39,40,41,42},44->{0,1,2},45->{55},46->{17,18,19,20},47->{21,22,23,24} ,48->{37,38},49->{46,47,48},50->{17,18,19,20},51->{21,22,23,24},52->{37,38},53->{49},54->{49},55->{58,59,60 ,61,62,63,64,65,66},56->{0,1,2},57->{55}] + 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] | +- p:[31] c: [31] | +- p:[15] c: [15] | +- p:[13] c: [13] | `- p:[0,37,48,49,53,6,3,8,1,44,20,46,50,2,5,10,4,9,24,47,51,36,19,23,35,41,43,26,17,21,33,39,28,18,22,34,40,30,25,27,29,42,11,54,7,12,52] c: [0,1,2,3,4,5,6,7,8,9,10,11,12,20,24,25,27,29,30,36,37,42,44,46,47,48,49,50,51,52,53,54] | `- p:[26,33,35,41,43,28,34,40,39] c: [26,28,33,34,35,39,40,41,43] * Step 6: AbstractSize MAYBE + Considered Problem: (Rules: f0.0(A,B,C,D,E,F,G,H) -> f12.1(A,B,0,B,E,F,G,H) [A >= 1 + B] f0.0(A,B,C,D,E,F,G,H) -> f12.2(A,B,0,B,E,F,G,H) [A >= 1 + B] f0.0(A,B,C,D,E,F,G,H) -> f12.18(A,B,0,B,E,F,G,H) [A >= 1 + B] f12.1(A,B,C,D,E,F,G,H) -> f12.1(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.2(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.18(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.19(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.1(A,B,C,D,E,F,G,H) -> f12.20(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f12.2(A,B,C,D,E,F,G,H) -> f12.1(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.2(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.18(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.19(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f12.2(A,B,C,D,E,F,G,H) -> f12.20(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f22.3(A,B,C,D,E,F,G,H) -> f22.3(A,B,C,D,1 + E,F,G,J) [A >= E] f22.3(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,1 + E,F,G,J) [A >= E] f29.4(A,B,C,D,E,F,G,H) -> f29.4(A,B,C,D,1 + E,F,G,J) [A >= E] f29.4(A,B,C,D,E,F,G,H) -> f29.16(A,B,C,D,1 + E,F,G,J) [A >= E] f35.5(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.5(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,D,E,F,G,H) [0 >= 1 + C] f35.6(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,D,E,F,G,H) [C >= 1] f35.6(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,D,E,F,G,H) [C >= 1] f37.7(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37.7(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f37.8(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f37.8(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f43.9(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,1 + E,F,G,H) [A >= E] f43.9(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,1 + E,F,G,H) [A >= E] f48.10(A,B,C,D,E,F,G,H) -> f48.10(A,B,C,D,1 + E,F,G,H) [A >= E] f48.10(A,B,C,D,E,F,G,H) -> f48.13(A,B,C,D,1 + E,F,G,H) [A >= E] f37.11(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,1 + D,E,F,G,0) [A >= D] f37.11(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,1 + D,E,F,G,0) [A >= D] f35.12(A,B,C,D,E,F,G,H) -> f0.0(A,1 + B,0,D,E,F,G,H) [C = 0] f35.12(A,B,C,D,E,F,G,H) -> f0.21(A,1 + B,0,D,E,F,G,H) [C = 0] f48.13(A,B,C,D,E,F,G,H) -> f37.7(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.8(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.11(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f48.13(A,B,C,D,E,F,G,H) -> f37.15(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43.14(A,B,C,D,E,F,G,H) -> f48.13(A,B,C,D,E,F,G,H) [E >= 1 + A] f37.15(A,B,C,D,E,F,G,H) -> f0.0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f37.15(A,B,C,D,E,F,G,H) -> f0.21(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.5(A,B,C,D,E,F,G,H) [E >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.6(A,B,C,D,E,F,G,H) [E >= 1 + A] f29.16(A,B,C,D,E,F,G,H) -> f35.12(A,B,C,D,E,F,G,H) [E >= 1 + A] f22.17(A,B,C,D,E,F,G,H) -> f29.16(A,B,C,D,E,F,G,H) [E >= 1 + A] f12.18(A,B,C,D,E,F,G,H) -> f35.5(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.18(A,B,C,D,E,F,G,H) -> f35.6(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.18(A,B,C,D,E,F,G,H) -> f35.12(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f12.19(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f12.20(A,B,C,D,E,F,G,H) -> f22.17(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f0.21(A,B,C,D,E,F,G,H) -> f58.23(A,B,C,D,E,F,G,H) [B >= A] start.22(A,B,C,D,E,F,G,H) -> f0.0(A,B,C,D,E,F,G,H) True start.22(A,B,C,D,E,F,G,H) -> f0.21(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f58.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True Signature: {(exitus616,8) ;(f0.0,8) ;(f0.21,8) ;(f12.1,8) ;(f12.18,8) ;(f12.19,8) ;(f12.2,8) ;(f12.20,8) ;(f22.17,8) ;(f22.3,8) ;(f29.16,8) ;(f29.4,8) ;(f35.12,8) ;(f35.5,8) ;(f35.6,8) ;(f37.11,8) ;(f37.15,8) ;(f37.7,8) ;(f37.8,8) ;(f43.14,8) ;(f43.9,8) ;(f48.10,8) ;(f48.13,8) ;(f58.23,8) ;(start.22,8)} Rule Graph: [0->{3,4,5,6,7},1->{8,9,10,11,12},2->{50,51,52},3->{3,4,5,6,7},4->{8,9,10,11,12},5->{50,51,52},6->{53} ,7->{54},8->{3,4,5,6,7},9->{8,9,10,11,12},10->{50,51,52},11->{53},12->{54},13->{13,14},14->{49},15->{15,16} ,16->{46,47,48},17->{25,26},18->{27,28},19->{33,34,35,36},20->{44,45},21->{25,26},22->{27,28},23->{33,34,35 ,36},24->{44,45},25->{29,30},26->{43},27->{29,30},28->{43},29->{29,30},30->{43},31->{31,32},32->{39,40,41 ,42},33->{25,26},34->{27,28},35->{33,34,35,36},36->{44,45},37->{0,1,2},38->{55},39->{25,26},40->{27,28} ,41->{33,34,35,36},42->{44,45},43->{39,40,41,42},44->{0,1,2},45->{55},46->{17,18,19,20},47->{21,22,23,24} ,48->{37,38},49->{46,47,48},50->{17,18,19,20},51->{21,22,23,24},52->{37,38},53->{49},54->{49},55->{58,59,60 ,61,62,63,64,65,66},56->{0,1,2},57->{55}] ,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] | +- p:[31] c: [31] | +- p:[15] c: [15] | +- p:[13] c: [13] | `- p:[0,37,48,49,53,6,3,8,1,44,20,46,50,2,5,10,4,9,24,47,51,36,19,23,35,41,43,26,17,21,33,39,28,18,22,34,40,30,25,27,29,42,11,54,7,12,52] c: [0,1,2,3,4,5,6,7,8,9,10,11,12,20,24,25,27,29,30,36,37,42,44,46,47,48,49,50,51,52,53,54] | `- p:[26,33,35,41,43,28,34,40,39] c: [26,28,33,34,35,39,40,41,43]) + Applied Processor: AbstractSize Minimize + Details: () * Step 7: AbstractFlow MAYBE + Considered Problem: Program: Domain: [A,B,C,D,E,F,G,H,0.0,0.1,0.2,0.3,0.3.0] f0.0 ~> f12.1 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f0.0 ~> f12.2 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f0.0 ~> f12.18 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f12.1 ~> f12.1 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.1 ~> f12.2 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.1 ~> f12.18 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.1 ~> f12.19 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.1 ~> f12.20 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.1 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.2 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.18 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.19 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.20 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f22.3 ~> f22.3 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f22.3 ~> f22.17 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f29.4 ~> f29.4 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f29.4 ~> f29.16 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f35.5 ~> f37.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.5 ~> f37.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.5 ~> f37.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.5 ~> f37.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.7 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f37.7 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f37.8 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f37.8 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f43.9 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f43.9 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f48.10 ~> f48.10 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f48.10 ~> f48.13 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f37.11 ~> f37.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f37.11 ~> f37.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f37.11 ~> f37.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f37.11 ~> f37.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f35.12 ~> f0.0 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H] f35.12 ~> f0.21 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H] f48.13 ~> f37.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f48.13 ~> f37.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f48.13 ~> f37.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f48.13 ~> f37.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.14 ~> f48.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.15 ~> f0.0 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.15 ~> f0.21 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f29.16 ~> f35.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f29.16 ~> f35.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f29.16 ~> f35.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f22.17 ~> f29.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.18 ~> f35.5 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f12.18 ~> f35.6 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f12.18 ~> f35.12 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f12.19 ~> f22.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.20 ~> f22.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f0.21 ~> f58.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] start.22 ~> f0.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] start.22 ~> f0.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f58.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] + Loop: [0.0 <= 0*K] f48.10 ~> f48.10 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] + Loop: [0.1 <= 0*K] f29.4 ~> f29.4 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] + Loop: [0.2 <= 0*K] f22.3 ~> f22.3 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] + Loop: [0.3 <= K + A + B + E] f0.0 ~> f12.1 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f35.12 ~> f0.0 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H] f29.16 ~> f35.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f22.17 ~> f29.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.19 ~> f22.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.1 ~> f12.19 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.1 ~> f12.1 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.1 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f0.0 ~> f12.2 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f37.15 ~> f0.0 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.5 ~> f37.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f29.16 ~> f35.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.18 ~> f35.5 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f0.0 ~> f12.18 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f12.1 ~> f12.18 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.18 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.1 ~> f12.2 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.2 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f35.6 ~> f37.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f29.16 ~> f35.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.18 ~> f35.6 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f37.11 ~> f37.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f35.5 ~> f37.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.11 ~> f37.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f48.13 ~> f37.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.14 ~> f48.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.7 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f35.5 ~> f37.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.11 ~> f37.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f48.13 ~> f37.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f37.8 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f35.5 ~> f37.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f35.6 ~> f37.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.11 ~> f37.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f48.13 ~> f37.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.9 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f37.7 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f37.8 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f43.9 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f48.13 ~> f37.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f12.2 ~> f12.19 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.20 ~> f22.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f12.1 ~> f12.20 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.2 ~> f12.20 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f12.18 ~> f35.12 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] + Loop: [0.3.0 <= K + A + D] f37.7 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f37.11 ~> f37.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f37.11 ~> f37.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f48.13 ~> f37.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.14 ~> f48.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f37.8 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f37.11 ~> f37.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f48.13 ~> f37.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f48.13 ~> f37.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] + Applied Processor: AbstractFlow + Details: () * Step 8: Lare MAYBE + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,D,E,F,G,H,0.0,0.1,0.2,0.3,0.3.0] f0.0 ~> f12.1 [B ~=> D,K ~=> C] f0.0 ~> f12.2 [B ~=> D,K ~=> C] f0.0 ~> f12.18 [B ~=> D,K ~=> C] f12.1 ~> f12.1 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.1 ~> f12.2 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.1 ~> f12.18 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.1 ~> f12.19 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.1 ~> f12.20 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.1 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.2 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.18 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.19 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.20 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f22.3 ~> f22.3 [huge ~=> H,E ~+> E,K ~+> E] f22.3 ~> f22.17 [huge ~=> H,E ~+> E,K ~+> E] f29.4 ~> f29.4 [huge ~=> H,E ~+> E,K ~+> E] f29.4 ~> f29.16 [huge ~=> H,E ~+> E,K ~+> E] f35.5 ~> f37.7 [] f35.5 ~> f37.8 [] f35.5 ~> f37.11 [] f35.5 ~> f37.15 [] f35.6 ~> f37.7 [] f35.6 ~> f37.8 [] f35.6 ~> f37.11 [] f35.6 ~> f37.15 [] f37.7 ~> f43.9 [huge ~=> H] f37.7 ~> f43.14 [huge ~=> H] f37.8 ~> f43.9 [huge ~=> H] f37.8 ~> f43.14 [huge ~=> H] f43.9 ~> f43.9 [E ~+> E,K ~+> E] f43.9 ~> f43.14 [E ~+> E,K ~+> E] f48.10 ~> f48.10 [E ~+> E,K ~+> E] f48.10 ~> f48.13 [E ~+> E,K ~+> E] f37.11 ~> f37.7 [K ~=> H,D ~+> D,K ~+> D] f37.11 ~> f37.8 [K ~=> H,D ~+> D,K ~+> D] f37.11 ~> f37.11 [K ~=> H,D ~+> D,K ~+> D] f37.11 ~> f37.15 [K ~=> H,D ~+> D,K ~+> D] f35.12 ~> f0.0 [K ~=> C,B ~+> B,K ~+> B] f35.12 ~> f0.21 [K ~=> C,B ~+> B,K ~+> B] f48.13 ~> f37.7 [D ~+> D,K ~+> D] f48.13 ~> f37.8 [D ~+> D,K ~+> D] f48.13 ~> f37.11 [D ~+> D,K ~+> D] f48.13 ~> f37.15 [D ~+> D,K ~+> D] f43.14 ~> f48.13 [] f37.15 ~> f0.0 [B ~+> B,K ~+> B] f37.15 ~> f0.21 [B ~+> B,K ~+> B] f29.16 ~> f35.5 [] f29.16 ~> f35.6 [] f29.16 ~> f35.12 [] f22.17 ~> f29.16 [] f12.18 ~> f35.5 [B ~=> D] f12.18 ~> f35.6 [B ~=> D] f12.18 ~> f35.12 [B ~=> D] f12.19 ~> f22.17 [] f12.20 ~> f22.17 [] f0.21 ~> f58.23 [] start.22 ~> f0.0 [] start.22 ~> f0.21 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] f58.23 ~> exitus616 [] + Loop: [K ~=> 0.0] f48.10 ~> f48.10 [E ~+> E,K ~+> E] + Loop: [K ~=> 0.1] f29.4 ~> f29.4 [huge ~=> H,E ~+> E,K ~+> E] + Loop: [K ~=> 0.2] f22.3 ~> f22.3 [huge ~=> H,E ~+> E,K ~+> E] + Loop: [A ~+> 0.3,B ~+> 0.3,E ~+> 0.3,K ~+> 0.3] f0.0 ~> f12.1 [B ~=> D,K ~=> C] f35.12 ~> f0.0 [K ~=> C,B ~+> B,K ~+> B] f29.16 ~> f35.12 [] f22.17 ~> f29.16 [] f12.19 ~> f22.17 [] f12.1 ~> f12.19 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.1 ~> f12.1 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.1 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f0.0 ~> f12.2 [B ~=> D,K ~=> C] f37.15 ~> f0.0 [B ~+> B,K ~+> B] f35.5 ~> f37.15 [] f29.16 ~> f35.5 [] f12.18 ~> f35.5 [B ~=> D] f0.0 ~> f12.18 [B ~=> D,K ~=> C] f12.1 ~> f12.18 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.18 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.1 ~> f12.2 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.2 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f35.6 ~> f37.15 [] f29.16 ~> f35.6 [] f12.18 ~> f35.6 [B ~=> D] f37.11 ~> f37.15 [K ~=> H,D ~+> D,K ~+> D] f35.5 ~> f37.11 [] f35.6 ~> f37.11 [] f37.11 ~> f37.11 [K ~=> H,D ~+> D,K ~+> D] f48.13 ~> f37.11 [D ~+> D,K ~+> D] f43.14 ~> f48.13 [] f37.7 ~> f43.14 [huge ~=> H] f35.5 ~> f37.7 [] f35.6 ~> f37.7 [] f37.11 ~> f37.7 [K ~=> H,D ~+> D,K ~+> D] f48.13 ~> f37.7 [D ~+> D,K ~+> D] f37.8 ~> f43.14 [huge ~=> H] f35.5 ~> f37.8 [] f35.6 ~> f37.8 [] f37.11 ~> f37.8 [K ~=> H,D ~+> D,K ~+> D] f48.13 ~> f37.8 [D ~+> D,K ~+> D] f43.9 ~> f43.14 [E ~+> E,K ~+> E] f37.7 ~> f43.9 [huge ~=> H] f37.8 ~> f43.9 [huge ~=> H] f43.9 ~> f43.9 [E ~+> E,K ~+> E] f48.13 ~> f37.15 [D ~+> D,K ~+> D] f12.2 ~> f12.19 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.20 ~> f22.17 [] f12.1 ~> f12.20 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.2 ~> f12.20 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f12.18 ~> f35.12 [B ~=> D] + Loop: [A ~+> 0.3.0,D ~+> 0.3.0,K ~+> 0.3.0] f37.7 ~> f43.14 [huge ~=> H] f37.11 ~> f37.7 [K ~=> H,D ~+> D,K ~+> D] f37.11 ~> f37.11 [K ~=> H,D ~+> D,K ~+> D] f48.13 ~> f37.11 [D ~+> D,K ~+> D] f43.14 ~> f48.13 [] f37.8 ~> f43.14 [huge ~=> H] f37.11 ~> f37.8 [K ~=> H,D ~+> D,K ~+> D] f48.13 ~> f37.8 [D ~+> D,K ~+> D] f48.13 ~> f37.7 [D ~+> D,K ~+> D] + Applied Processor: Lare + Details: f29.4 ~> exitus616 [B ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f22.3 ~> exitus616 [B ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] start.22 ~> exitus616 [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f48.10 ~> exitus616 [B ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3 ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] + + + + f35.12> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f37.15> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f35.12> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f37.15> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f35.12> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f37.15> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f35.12> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] f37.15> [B ~=> D ,E ~=> D ,K ~=> C ,K ~=> H ,huge ~=> C ,huge ~=> F ,huge ~=> G ,huge ~=> H ,A ~+> 0.3 ,A ~+> 0.3.0 ,A ~+> tick ,B ~+> B ,B ~+> D ,B ~+> 0.3 ,B ~+> 0.3.0 ,B ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,E ~+> D ,E ~+> E ,E ~+> 0.3 ,E ~+> 0.3.0 ,E ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> D ,K ~+> E ,K ~+> 0.3 ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> B ,A ~*> D ,A ~*> E ,A ~*> 0.3.0 ,A ~*> tick ,B ~*> B ,B ~*> D ,B ~*> E ,B ~*> 0.3.0 ,B ~*> tick ,D ~*> D ,D ~*> 0.3.0 ,D ~*> tick ,E ~*> B ,E ~*> D ,E ~*> E ,E ~*> 0.3.0 ,E ~*> tick ,K ~*> B ,K ~*> D ,K ~*> E ,K ~*> 0.3.0 ,K ~*> tick ,A ~^> D ,A ~^> 0.3.0 ,A ~^> tick ,B ~^> D ,B ~^> 0.3.0 ,B ~^> tick ,E ~^> D ,E ~^> 0.3.0 ,E ~^> tick ,K ~^> D ,K ~^> 0.3.0 ,K ~^> tick] + f37.7> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f48.13> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.8> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.11> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.7> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f48.13> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.8> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.11> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.7> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f48.13> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.8> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.11> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.7> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f48.13> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.8> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.11> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.7> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f48.13> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.8> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] f37.11> [K ~=> H ,huge ~=> H ,A ~+> 0.3.0 ,A ~+> tick ,D ~+> D ,D ~+> 0.3.0 ,D ~+> tick ,tick ~+> tick ,K ~+> D ,K ~+> 0.3.0 ,K ~+> tick ,A ~*> D ,D ~*> D ,K ~*> D] YES(?,PRIMREC)