YES(?,PRIMREC) * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f2(A,B,C,D,E,F,G,H) -> f8(A,B,0,B,E,F,G,H) [A >= 1 + B] (?,1) 1. f8(A,B,C,D,E,F,G,H) -> f8(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] (?,1) 2. f8(A,B,C,D,E,F,G,H) -> f8(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] (?,1) 3. f19(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 4. f27(A,B,C,D,E,F,G,H) -> f27(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 5. f34(A,B,C,D,E,F,G,H) -> f36(A,B,C,D,E,F,G,H) [0 >= 1 + C] (?,1) 6. f34(A,B,C,D,E,F,G,H) -> f36(A,B,C,D,E,F,G,H) [C >= 1] (?,1) 7. f36(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] (?,1) 8. f36(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. f49(A,B,C,D,E,F,G,H) -> f49(A,B,C,D,1 + E,F,G,H) [A >= E] (?,1) 11. f36(A,B,C,D,E,F,G,H) -> f36(A,B,C,1 + D,E,F,G,0) [A >= D] (?,1) 12. f34(A,B,C,D,E,F,G,H) -> f2(A,1 + B,0,D,E,F,G,H) [C = 0] (?,1) 13. f49(A,B,C,D,E,F,G,H) -> f36(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] (?,1) 14. f43(A,B,C,D,E,F,G,H) -> f49(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 15. f36(A,B,C,D,E,F,G,H) -> f2(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] (?,1) 16. f27(A,B,C,D,E,F,G,H) -> f34(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 17. f19(A,B,C,D,E,F,G,H) -> f27(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 18. f8(A,B,C,D,E,F,G,H) -> f34(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] (?,1) 19. f8(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] (?,1) 20. f8(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] (?,1) 21. f2(A,B,C,D,E,F,G,H) -> f1(A,B,C,D,E,F,G,H) [B >= A] (?,1) 22. start(A,B,C,D,E,F,G,H) -> f2(A,B,C,D,E,F,G,H) True (1,1) Signature: {(f1,8);(f19,8);(f2,8);(f27,8);(f34,8);(f36,8);(f43,8);(f49,8);(f8,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. f2(A,B,C,D,E,F,G,H) -> f8(A,B,0,B,E,F,G,H) [A >= 1 + B] (?,1) 1. f8(A,B,C,D,E,F,G,H) -> f8(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] (?,1) 2. f8(A,B,C,D,E,F,G,H) -> f8(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] (?,1) 3. f19(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 4. f27(A,B,C,D,E,F,G,H) -> f27(A,B,C,D,1 + E,F,G,J) [A >= E] (?,1) 5. f34(A,B,C,D,E,F,G,H) -> f36(A,B,C,D,E,F,G,H) [0 >= 1 + C] (?,1) 6. f34(A,B,C,D,E,F,G,H) -> f36(A,B,C,D,E,F,G,H) [C >= 1] (?,1) 7. f36(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] (?,1) 8. f36(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. f49(A,B,C,D,E,F,G,H) -> f49(A,B,C,D,1 + E,F,G,H) [A >= E] (?,1) 11. f36(A,B,C,D,E,F,G,H) -> f36(A,B,C,1 + D,E,F,G,0) [A >= D] (?,1) 12. f34(A,B,C,D,E,F,G,H) -> f2(A,1 + B,0,D,E,F,G,H) [C = 0] (?,1) 13. f49(A,B,C,D,E,F,G,H) -> f36(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] (?,1) 14. f43(A,B,C,D,E,F,G,H) -> f49(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 15. f36(A,B,C,D,E,F,G,H) -> f2(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] (?,1) 16. f27(A,B,C,D,E,F,G,H) -> f34(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 17. f19(A,B,C,D,E,F,G,H) -> f27(A,B,C,D,E,F,G,H) [E >= 1 + A] (?,1) 18. f8(A,B,C,D,E,F,G,H) -> f34(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] (?,1) 19. f8(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] (?,1) 20. f8(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] (?,1) 21. f2(A,B,C,D,E,F,G,H) -> f1(A,B,C,D,E,F,G,H) [B >= A] (?,1) 22. start(A,B,C,D,E,F,G,H) -> f2(A,B,C,D,E,F,G,H) True (1,1) Signature: {(f1,8);(f19,8);(f2,8);(f27,8);(f34,8);(f36,8);(f43,8);(f49,8);(f8,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: f2(A,B,C,D,E,F,G,H) -> f8(A,B,0,B,E,F,G,H) [A >= 1 + B] f8(A,B,C,D,E,F,G,H) -> f8(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8(A,B,C,D,E,F,G,H) -> f8(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f19(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,1 + E,F,G,J) [A >= E] f27(A,B,C,D,E,F,G,H) -> f27(A,B,C,D,1 + E,F,G,J) [A >= E] f34(A,B,C,D,E,F,G,H) -> f36(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34(A,B,C,D,E,F,G,H) -> f36(A,B,C,D,E,F,G,H) [C >= 1] f36(A,B,C,D,E,F,G,H) -> f43(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36(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] f49(A,B,C,D,E,F,G,H) -> f49(A,B,C,D,1 + E,F,G,H) [A >= E] f36(A,B,C,D,E,F,G,H) -> f36(A,B,C,1 + D,E,F,G,0) [A >= D] f34(A,B,C,D,E,F,G,H) -> f2(A,1 + B,0,D,E,F,G,H) [C = 0] f49(A,B,C,D,E,F,G,H) -> f36(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43(A,B,C,D,E,F,G,H) -> f49(A,B,C,D,E,F,G,H) [E >= 1 + A] f36(A,B,C,D,E,F,G,H) -> f2(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f27(A,B,C,D,E,F,G,H) -> f34(A,B,C,D,E,F,G,H) [E >= 1 + A] f19(A,B,C,D,E,F,G,H) -> f27(A,B,C,D,E,F,G,H) [E >= 1 + A] f8(A,B,C,D,E,F,G,H) -> f34(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f8(A,B,C,D,E,F,G,H) -> f19(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f2(A,B,C,D,E,F,G,H) -> f1(A,B,C,D,E,F,G,H) [B >= A] start(A,B,C,D,E,F,G,H) -> f2(A,B,C,D,E,F,G,H) True Signature: {(f1,8);(f19,8);(f2,8);(f27,8);(f34,8);(f36,8);(f43,8);(f49,8);(f8,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: f2.0(A,B,C,D,E,F,G,H) -> f8.1(A,B,0,B,E,F,G,H) [A >= 1 + B] f2.0(A,B,C,D,E,F,G,H) -> f8.2(A,B,0,B,E,F,G,H) [A >= 1 + B] f2.0(A,B,C,D,E,F,G,H) -> f8.18(A,B,0,B,E,F,G,H) [A >= 1 + B] f8.1(A,B,C,D,E,F,G,H) -> f8.1(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.2(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.18(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.19(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.20(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.2(A,B,C,D,E,F,G,H) -> f8.1(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.2(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.18(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.19(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.20(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f19.3(A,B,C,D,E,F,G,H) -> f19.3(A,B,C,D,1 + E,F,G,J) [A >= E] f19.3(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,1 + E,F,G,J) [A >= E] f27.4(A,B,C,D,E,F,G,H) -> f27.4(A,B,C,D,1 + E,F,G,J) [A >= E] f27.4(A,B,C,D,E,F,G,H) -> f27.16(A,B,C,D,1 + E,F,G,J) [A >= E] f34.5(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.6(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,D,E,F,G,H) [C >= 1] f36.7(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36.7(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36.8(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f36.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] f49.10(A,B,C,D,E,F,G,H) -> f49.10(A,B,C,D,1 + E,F,G,H) [A >= E] f49.10(A,B,C,D,E,F,G,H) -> f49.13(A,B,C,D,1 + E,F,G,H) [A >= E] f36.11(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,1 + D,E,F,G,0) [A >= D] f34.12(A,B,C,D,E,F,G,H) -> f2.0(A,1 + B,0,D,E,F,G,H) [C = 0] f34.12(A,B,C,D,E,F,G,H) -> f2.21(A,1 + B,0,D,E,F,G,H) [C = 0] f49.13(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43.14(A,B,C,D,E,F,G,H) -> f49.13(A,B,C,D,E,F,G,H) [E >= 1 + A] f36.15(A,B,C,D,E,F,G,H) -> f2.0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f36.15(A,B,C,D,E,F,G,H) -> f2.21(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.5(A,B,C,D,E,F,G,H) [E >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.6(A,B,C,D,E,F,G,H) [E >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.12(A,B,C,D,E,F,G,H) [E >= 1 + A] f19.17(A,B,C,D,E,F,G,H) -> f27.16(A,B,C,D,E,F,G,H) [E >= 1 + A] f8.18(A,B,C,D,E,F,G,H) -> f34.5(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.18(A,B,C,D,E,F,G,H) -> f34.6(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.18(A,B,C,D,E,F,G,H) -> f34.12(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.19(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f8.20(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f2.21(A,B,C,D,E,F,G,H) -> f1.23(A,B,C,D,E,F,G,H) [B >= A] start.22(A,B,C,D,E,F,G,H) -> f2.0(A,B,C,D,E,F,G,H) True start.22(A,B,C,D,E,F,G,H) -> f2.21(A,B,C,D,E,F,G,H) True Signature: {(f1.23,8) ;(f19.17,8) ;(f19.3,8) ;(f2.0,8) ;(f2.21,8) ;(f27.16,8) ;(f27.4,8) ;(f34.12,8) ;(f34.5,8) ;(f34.6,8) ;(f36.11,8) ;(f36.15,8) ;(f36.7,8) ;(f36.8,8) ;(f43.14,8) ;(f43.9,8) ;(f49.10,8) ;(f49.13,8) ;(f8.1,8) ;(f8.18,8) ;(f8.19,8) ;(f8.2,8) ;(f8.20,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: f2.0(A,B,C,D,E,F,G,H) -> f8.1(A,B,0,B,E,F,G,H) [A >= 1 + B] f2.0(A,B,C,D,E,F,G,H) -> f8.2(A,B,0,B,E,F,G,H) [A >= 1 + B] f2.0(A,B,C,D,E,F,G,H) -> f8.18(A,B,0,B,E,F,G,H) [A >= 1 + B] f8.1(A,B,C,D,E,F,G,H) -> f8.1(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.2(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.18(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.19(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.20(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.2(A,B,C,D,E,F,G,H) -> f8.1(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.2(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.18(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.19(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.20(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f19.3(A,B,C,D,E,F,G,H) -> f19.3(A,B,C,D,1 + E,F,G,J) [A >= E] f19.3(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,1 + E,F,G,J) [A >= E] f27.4(A,B,C,D,E,F,G,H) -> f27.4(A,B,C,D,1 + E,F,G,J) [A >= E] f27.4(A,B,C,D,E,F,G,H) -> f27.16(A,B,C,D,1 + E,F,G,J) [A >= E] f34.5(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.6(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,D,E,F,G,H) [C >= 1] f36.7(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36.7(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36.8(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f36.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] f49.10(A,B,C,D,E,F,G,H) -> f49.10(A,B,C,D,1 + E,F,G,H) [A >= E] f49.10(A,B,C,D,E,F,G,H) -> f49.13(A,B,C,D,1 + E,F,G,H) [A >= E] f36.11(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,1 + D,E,F,G,0) [A >= D] f34.12(A,B,C,D,E,F,G,H) -> f2.0(A,1 + B,0,D,E,F,G,H) [C = 0] f34.12(A,B,C,D,E,F,G,H) -> f2.21(A,1 + B,0,D,E,F,G,H) [C = 0] f49.13(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43.14(A,B,C,D,E,F,G,H) -> f49.13(A,B,C,D,E,F,G,H) [E >= 1 + A] f36.15(A,B,C,D,E,F,G,H) -> f2.0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f36.15(A,B,C,D,E,F,G,H) -> f2.21(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.5(A,B,C,D,E,F,G,H) [E >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.6(A,B,C,D,E,F,G,H) [E >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.12(A,B,C,D,E,F,G,H) [E >= 1 + A] f19.17(A,B,C,D,E,F,G,H) -> f27.16(A,B,C,D,E,F,G,H) [E >= 1 + A] f8.18(A,B,C,D,E,F,G,H) -> f34.5(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.18(A,B,C,D,E,F,G,H) -> f34.6(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.18(A,B,C,D,E,F,G,H) -> f34.12(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.19(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f8.20(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f2.21(A,B,C,D,E,F,G,H) -> f1.23(A,B,C,D,E,F,G,H) [B >= A] start.22(A,B,C,D,E,F,G,H) -> f2.0(A,B,C,D,E,F,G,H) True start.22(A,B,C,D,E,F,G,H) -> f2.21(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True Signature: {(exitus616,8) ;(f1.23,8) ;(f19.17,8) ;(f19.3,8) ;(f2.0,8) ;(f2.21,8) ;(f27.16,8) ;(f27.4,8) ;(f34.12,8) ;(f34.5,8) ;(f34.6,8) ;(f36.11,8) ;(f36.15,8) ;(f36.7,8) ;(f36.8,8) ;(f43.14,8) ;(f43.9,8) ;(f49.10,8) ;(f49.13,8) ;(f8.1,8) ;(f8.18,8) ;(f8.19,8) ;(f8.2,8) ;(f8.20,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: f2.0(A,B,C,D,E,F,G,H) -> f8.1(A,B,0,B,E,F,G,H) [A >= 1 + B] f2.0(A,B,C,D,E,F,G,H) -> f8.2(A,B,0,B,E,F,G,H) [A >= 1 + B] f2.0(A,B,C,D,E,F,G,H) -> f8.18(A,B,0,B,E,F,G,H) [A >= 1 + B] f8.1(A,B,C,D,E,F,G,H) -> f8.1(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.2(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.18(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.19(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.1(A,B,C,D,E,F,G,H) -> f8.20(A,B,C,D,1 + E,J,I,H) [A >= E && I >= J] f8.2(A,B,C,D,E,F,G,H) -> f8.1(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.2(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.18(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.19(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f8.2(A,B,C,D,E,F,G,H) -> f8.20(A,B,J,E,1 + E,I,K,H) [A >= E && I >= 1 + K] f19.3(A,B,C,D,E,F,G,H) -> f19.3(A,B,C,D,1 + E,F,G,J) [A >= E] f19.3(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,1 + E,F,G,J) [A >= E] f27.4(A,B,C,D,E,F,G,H) -> f27.4(A,B,C,D,1 + E,F,G,J) [A >= E] f27.4(A,B,C,D,E,F,G,H) -> f27.16(A,B,C,D,1 + E,F,G,J) [A >= E] f34.5(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.5(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,D,E,F,G,H) [0 >= 1 + C] f34.6(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,D,E,F,G,H) [C >= 1] f34.6(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,D,E,F,G,H) [C >= 1] f36.7(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36.7(A,B,C,D,E,F,G,H) -> f43.14(A,B,C,D,E,F,G,J) [A >= D && 0 >= 1 + I] f36.8(A,B,C,D,E,F,G,H) -> f43.9(A,B,C,D,E,F,G,J) [A >= D && I >= 1] f36.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] f49.10(A,B,C,D,E,F,G,H) -> f49.10(A,B,C,D,1 + E,F,G,H) [A >= E] f49.10(A,B,C,D,E,F,G,H) -> f49.13(A,B,C,D,1 + E,F,G,H) [A >= E] f36.11(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,1 + D,E,F,G,0) [A >= D] f36.11(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,1 + D,E,F,G,0) [A >= D] f34.12(A,B,C,D,E,F,G,H) -> f2.0(A,1 + B,0,D,E,F,G,H) [C = 0] f34.12(A,B,C,D,E,F,G,H) -> f2.21(A,1 + B,0,D,E,F,G,H) [C = 0] f49.13(A,B,C,D,E,F,G,H) -> f36.7(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.8(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.11(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f49.13(A,B,C,D,E,F,G,H) -> f36.15(A,B,C,1 + D,E,F,G,H) [E >= 1 + A] f43.14(A,B,C,D,E,F,G,H) -> f49.13(A,B,C,D,E,F,G,H) [E >= 1 + A] f36.15(A,B,C,D,E,F,G,H) -> f2.0(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f36.15(A,B,C,D,E,F,G,H) -> f2.21(A,1 + B,C,D,E,F,G,H) [D >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.5(A,B,C,D,E,F,G,H) [E >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.6(A,B,C,D,E,F,G,H) [E >= 1 + A] f27.16(A,B,C,D,E,F,G,H) -> f34.12(A,B,C,D,E,F,G,H) [E >= 1 + A] f19.17(A,B,C,D,E,F,G,H) -> f27.16(A,B,C,D,E,F,G,H) [E >= 1 + A] f8.18(A,B,C,D,E,F,G,H) -> f34.5(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.18(A,B,C,D,E,F,G,H) -> f34.6(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.18(A,B,C,D,E,F,G,H) -> f34.12(A,B,C,B,E,F,G,H) [E >= 1 + A && B = D] f8.19(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,E,F,G,H) [B >= 1 + D && E >= 1 + A] f8.20(A,B,C,D,E,F,G,H) -> f19.17(A,B,C,D,E,F,G,H) [D >= 1 + B && E >= 1 + A] f2.21(A,B,C,D,E,F,G,H) -> f1.23(A,B,C,D,E,F,G,H) [B >= A] start.22(A,B,C,D,E,F,G,H) -> f2.0(A,B,C,D,E,F,G,H) True start.22(A,B,C,D,E,F,G,H) -> f2.21(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True f1.23(A,B,C,D,E,F,G,H) -> exitus616(A,B,C,D,E,F,G,H) True Signature: {(exitus616,8) ;(f1.23,8) ;(f19.17,8) ;(f19.3,8) ;(f2.0,8) ;(f2.21,8) ;(f27.16,8) ;(f27.4,8) ;(f34.12,8) ;(f34.5,8) ;(f34.6,8) ;(f36.11,8) ;(f36.15,8) ;(f36.7,8) ;(f36.8,8) ;(f43.14,8) ;(f43.9,8) ;(f49.10,8) ;(f49.13,8) ;(f8.1,8) ;(f8.18,8) ;(f8.19,8) ;(f8.2,8) ;(f8.20,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] f2.0 ~> f8.1 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f2.0 ~> f8.2 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f2.0 ~> f8.18 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f8.1 ~> f8.1 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.1 ~> f8.2 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.1 ~> f8.18 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.1 ~> f8.19 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.1 ~> f8.20 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.1 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.2 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.18 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.19 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.20 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f19.3 ~> f19.3 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f19.3 ~> f19.17 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f27.4 ~> f27.4 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f27.4 ~> f27.16 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] f34.5 ~> f36.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.5 ~> f36.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.5 ~> f36.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.5 ~> f36.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.7 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f36.7 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f36.8 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f36.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] f49.10 ~> f49.10 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f49.10 ~> f49.13 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] f36.11 ~> f36.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f36.11 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f36.11 ~> f36.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f36.11 ~> f36.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f34.12 ~> f2.0 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H] f34.12 ~> f2.21 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H] f49.13 ~> f36.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f49.13 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f49.13 ~> f36.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f49.13 ~> f36.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.14 ~> f49.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.15 ~> f2.0 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.15 ~> f2.21 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f27.16 ~> f34.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f27.16 ~> f34.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f27.16 ~> f34.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f19.17 ~> f27.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.18 ~> f34.5 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f8.18 ~> f34.6 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f8.18 ~> f34.12 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f8.19 ~> f19.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.20 ~> f19.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f2.21 ~> f1.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] start.22 ~> f2.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] start.22 ~> f2.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f1.23 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] + Loop: [0.0 <= 0*K] f49.10 ~> f49.10 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= H] + Loop: [0.1 <= 0*K] f27.4 ~> f27.4 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= F, G <= G, H <= unknown] + Loop: [0.2 <= 0*K] f19.3 ~> f19.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] f2.0 ~> f8.1 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f34.12 ~> f2.0 [A <= A, B <= K + B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H] f27.16 ~> f34.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f19.17 ~> f27.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.19 ~> f19.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.1 ~> f8.19 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.1 ~> f8.1 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.1 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f2.0 ~> f8.2 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f36.15 ~> f2.0 [A <= A, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.5 ~> f36.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f27.16 ~> f34.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.18 ~> f34.5 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f2.0 ~> f8.18 [A <= A, B <= B, C <= 0*K, D <= B, E <= E, F <= F, G <= G, H <= H] f8.1 ~> f8.18 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.18 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.1 ~> f8.2 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.2 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f34.6 ~> f36.15 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f27.16 ~> f34.6 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.18 ~> f34.6 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] f36.11 ~> f36.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f34.5 ~> f36.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.11 ~> f36.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f49.13 ~> f36.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.14 ~> f49.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.7 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f34.5 ~> f36.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.7 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.11 ~> f36.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f49.13 ~> f36.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f36.8 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f34.5 ~> f36.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f34.6 ~> f36.8 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.11 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f49.13 ~> f36.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] f36.7 ~> f43.9 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f36.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] f49.13 ~> f36.15 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f8.2 ~> f8.19 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.20 ~> f19.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f8.1 ~> f8.20 [A <= A, B <= B, C <= C, D <= D, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.2 ~> f8.20 [A <= A, B <= B, C <= unknown, D <= E, E <= K + E, F <= unknown, G <= unknown, H <= H] f8.18 ~> f34.12 [A <= A, B <= B, C <= C, D <= B, E <= E, F <= F, G <= G, H <= H] + Loop: [0.3.0 <= K + A + D] f36.7 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f36.11 ~> f36.7 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f36.11 ~> f36.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f49.13 ~> f36.11 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f43.14 ~> f49.13 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H] f36.8 ~> f43.14 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= unknown] f36.11 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= 0*K] f49.13 ~> f36.8 [A <= A, B <= B, C <= C, D <= K + D, E <= E, F <= F, G <= G, H <= H] f49.13 ~> f36.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] f2.0 ~> f8.1 [B ~=> D,K ~=> C] f2.0 ~> f8.2 [B ~=> D,K ~=> C] f2.0 ~> f8.18 [B ~=> D,K ~=> C] f8.1 ~> f8.1 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.1 ~> f8.2 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.1 ~> f8.18 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.1 ~> f8.19 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.1 ~> f8.20 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.1 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.2 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.18 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.19 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.20 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f19.3 ~> f19.3 [huge ~=> H,E ~+> E,K ~+> E] f19.3 ~> f19.17 [huge ~=> H,E ~+> E,K ~+> E] f27.4 ~> f27.4 [huge ~=> H,E ~+> E,K ~+> E] f27.4 ~> f27.16 [huge ~=> H,E ~+> E,K ~+> E] f34.5 ~> f36.7 [] f34.5 ~> f36.8 [] f34.5 ~> f36.11 [] f34.5 ~> f36.15 [] f34.6 ~> f36.7 [] f34.6 ~> f36.8 [] f34.6 ~> f36.11 [] f34.6 ~> f36.15 [] f36.7 ~> f43.9 [huge ~=> H] f36.7 ~> f43.14 [huge ~=> H] f36.8 ~> f43.9 [huge ~=> H] f36.8 ~> f43.14 [huge ~=> H] f43.9 ~> f43.9 [E ~+> E,K ~+> E] f43.9 ~> f43.14 [E ~+> E,K ~+> E] f49.10 ~> f49.10 [E ~+> E,K ~+> E] f49.10 ~> f49.13 [E ~+> E,K ~+> E] f36.11 ~> f36.7 [K ~=> H,D ~+> D,K ~+> D] f36.11 ~> f36.8 [K ~=> H,D ~+> D,K ~+> D] f36.11 ~> f36.11 [K ~=> H,D ~+> D,K ~+> D] f36.11 ~> f36.15 [K ~=> H,D ~+> D,K ~+> D] f34.12 ~> f2.0 [K ~=> C,B ~+> B,K ~+> B] f34.12 ~> f2.21 [K ~=> C,B ~+> B,K ~+> B] f49.13 ~> f36.7 [D ~+> D,K ~+> D] f49.13 ~> f36.8 [D ~+> D,K ~+> D] f49.13 ~> f36.11 [D ~+> D,K ~+> D] f49.13 ~> f36.15 [D ~+> D,K ~+> D] f43.14 ~> f49.13 [] f36.15 ~> f2.0 [B ~+> B,K ~+> B] f36.15 ~> f2.21 [B ~+> B,K ~+> B] f27.16 ~> f34.5 [] f27.16 ~> f34.6 [] f27.16 ~> f34.12 [] f19.17 ~> f27.16 [] f8.18 ~> f34.5 [B ~=> D] f8.18 ~> f34.6 [B ~=> D] f8.18 ~> f34.12 [B ~=> D] f8.19 ~> f19.17 [] f8.20 ~> f19.17 [] f2.21 ~> f1.23 [] start.22 ~> f2.0 [] start.22 ~> f2.21 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] f1.23 ~> exitus616 [] + Loop: [K ~=> 0.0] f49.10 ~> f49.10 [E ~+> E,K ~+> E] + Loop: [K ~=> 0.1] f27.4 ~> f27.4 [huge ~=> H,E ~+> E,K ~+> E] + Loop: [K ~=> 0.2] f19.3 ~> f19.3 [huge ~=> H,E ~+> E,K ~+> E] + Loop: [A ~+> 0.3,B ~+> 0.3,E ~+> 0.3,K ~+> 0.3] f2.0 ~> f8.1 [B ~=> D,K ~=> C] f34.12 ~> f2.0 [K ~=> C,B ~+> B,K ~+> B] f27.16 ~> f34.12 [] f19.17 ~> f27.16 [] f8.19 ~> f19.17 [] f8.1 ~> f8.19 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.1 ~> f8.1 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.1 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f2.0 ~> f8.2 [B ~=> D,K ~=> C] f36.15 ~> f2.0 [B ~+> B,K ~+> B] f34.5 ~> f36.15 [] f27.16 ~> f34.5 [] f8.18 ~> f34.5 [B ~=> D] f2.0 ~> f8.18 [B ~=> D,K ~=> C] f8.1 ~> f8.18 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.18 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.1 ~> f8.2 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.2 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f34.6 ~> f36.15 [] f27.16 ~> f34.6 [] f8.18 ~> f34.6 [B ~=> D] f36.11 ~> f36.15 [K ~=> H,D ~+> D,K ~+> D] f34.5 ~> f36.11 [] f34.6 ~> f36.11 [] f36.11 ~> f36.11 [K ~=> H,D ~+> D,K ~+> D] f49.13 ~> f36.11 [D ~+> D,K ~+> D] f43.14 ~> f49.13 [] f36.7 ~> f43.14 [huge ~=> H] f34.5 ~> f36.7 [] f34.6 ~> f36.7 [] f36.11 ~> f36.7 [K ~=> H,D ~+> D,K ~+> D] f49.13 ~> f36.7 [D ~+> D,K ~+> D] f36.8 ~> f43.14 [huge ~=> H] f34.5 ~> f36.8 [] f34.6 ~> f36.8 [] f36.11 ~> f36.8 [K ~=> H,D ~+> D,K ~+> D] f49.13 ~> f36.8 [D ~+> D,K ~+> D] f43.9 ~> f43.14 [E ~+> E,K ~+> E] f36.7 ~> f43.9 [huge ~=> H] f36.8 ~> f43.9 [huge ~=> H] f43.9 ~> f43.9 [E ~+> E,K ~+> E] f49.13 ~> f36.15 [D ~+> D,K ~+> D] f8.2 ~> f8.19 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.20 ~> f19.17 [] f8.1 ~> f8.20 [huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.2 ~> f8.20 [E ~=> D,huge ~=> C,huge ~=> F,huge ~=> G,E ~+> E,K ~+> E] f8.18 ~> f34.12 [B ~=> D] + Loop: [A ~+> 0.3.0,D ~+> 0.3.0,K ~+> 0.3.0] f36.7 ~> f43.14 [huge ~=> H] f36.11 ~> f36.7 [K ~=> H,D ~+> D,K ~+> D] f36.11 ~> f36.11 [K ~=> H,D ~+> D,K ~+> D] f49.13 ~> f36.11 [D ~+> D,K ~+> D] f43.14 ~> f49.13 [] f36.8 ~> f43.14 [huge ~=> H] f36.11 ~> f36.8 [K ~=> H,D ~+> D,K ~+> D] f49.13 ~> f36.8 [D ~+> D,K ~+> D] f49.13 ~> f36.7 [D ~+> D,K ~+> D] + Applied Processor: Lare + Details: f27.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] f19.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] f49.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] + + + + f34.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] f36.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] f34.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] f36.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] f34.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] f36.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] f34.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] f36.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] + f36.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] f49.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] f36.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] f36.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] f36.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] f49.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] f36.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] f36.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] f36.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] f49.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] f36.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] f36.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] f36.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] f49.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] f36.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] f36.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] f36.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] f49.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] f36.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] f36.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)