YES(?,PRIMREC) * Step 1: UnsatPaths MAYBE + Considered Problem: Rules: 0. f30(A,B,C,D,E,F,G,H,I,J) -> f31(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] (?,1) 1. f30(A,B,C,D,E,F,G,H,I,J) -> f31(A,B,C,D,E,F,G,H,I,J) [A >= 1] (?,1) 2. f36(A,B,C,D,E,F,G,H,I,J) -> f37(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] (?,1) 3. f36(A,B,C,D,E,F,G,H,I,J) -> f37(A,B,C,D,E,F,G,H,I,J) [A >= 1] (?,1) 4. f37(A,B,C,D,E,F,G,H,I,J) -> f38(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] (?,1) 5. f37(A,B,C,D,E,F,G,H,I,J) -> f38(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] (?,1) 6. f0(A,B,C,D,E,F,G,H,I,J) -> f10(1,B,0,9,1,K,G,H,I,J) True (1,1) 7. f10(A,B,C,D,E,F,G,H,I,J) -> f10(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] (?,1) 8. f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] (?,1) 9. f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] (?,1) 10. f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] (?,1) 11. f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) True (?,1) 12. f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] (?,1) 13. f16(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] (?,1) 14. f27(A,B,C,D,E,F,G,H,I,J) -> f30(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] (?,1) 15. f27(A,B,C,D,E,F,G,H,I,J) -> f30(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] (?,1) 16. f31(A,B,C,D,E,F,G,H,I,J) -> f36(1,B,C,D,E,F,G,1,I,J) [K >= 1 + L] (?,1) 17. f31(A,B,C,D,E,F,G,H,I,J) -> f36(1,B,C,D,E,F,G,1,I,J) True (?,1) 18. f31(A,B,C,D,E,F,G,H,I,J) -> f36(0,B,C,D,E,F,G,0,I,J) True (?,1) 19. f30(A,B,C,D,E,F,G,H,I,J) -> f36(0,B,C,D,E,F,G,0,I,J) [A = 0] (?,1) 20. f27(A,B,C,D,E,F,G,H,I,J) -> f27(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] (?,1) 21. f38(A,B,C,D,E,F,G,H,I,J) -> f27(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] (?,1) 22. f38(A,B,C,D,E,F,G,H,I,J) -> f27(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] (?,1) 23. f38(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) True (?,1) 24. f37(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) True (?,1) 25. f36(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] (?,1) 26. f49(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,E,F,G,H,I,0) [0 >= 1 + A] (?,1) 27. f49(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,E,F,G,H,I,0) [A >= 1] (?,1) 28. f49(A,B,C,D,E,F,G,H,I,J) -> f56(0,B,C,D,E,F,G,H,I,1) [A = 0] (?,1) 29. f27(A,B,C,D,E,F,G,H,I,J) -> f16(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] (?,1) 30. f16(A,B,C,D,E,F,G,H,I,J) -> f49(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] (?,1) 31. f16(A,B,C,D,E,F,G,H,I,J) -> f49(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] (?,1) 32. f16(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,0,F,G,H,I,1) [C >= D && E = 0] (?,1) 33. f10(A,B,C,D,E,F,G,H,I,J) -> f16(A,B,0,D,E,F,G,H,I,J) [C >= D] (?,1) Signature: {(f0,10) ;(f10,10) ;(f16,10) ;(f19,10) ;(f27,10) ;(f30,10) ;(f31,10) ;(f36,10) ;(f37,10) ;(f38,10) ;(f49,10) ;(f56,10)} Flow Graph: [0->{16,17,18},1->{16,17,18},2->{4,5,24},3->{4,5,24},4->{21,22,23},5->{21,22,23},6->{7,33},7->{7,33} ,8->{10,11,12},9->{10,11,12},10->{14,15,20,29},11->{14,15,20,29},12->{14,15,20,29},13->{14,15,20,29},14->{0 ,1,19},15->{0,1,19},16->{2,3,25},17->{2,3,25},18->{2,3,25},19->{2,3,25},20->{14,15,20,29},21->{14,15,20,29} ,22->{14,15,20,29},23->{14,15,20,29},24->{14,15,20,29},25->{14,15,20,29},26->{},27->{},28->{},29->{8,9,13,30 ,31,32},30->{26,27,28},31->{26,27,28},32->{},33->{8,9,13,30,31,32}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(6,33) ,(16,2) ,(16,25) ,(17,2) ,(17,25) ,(18,2) ,(18,3) ,(19,2) ,(19,3) ,(20,15) ,(20,20)] * Step 2: FromIts MAYBE + Considered Problem: Rules: 0. f30(A,B,C,D,E,F,G,H,I,J) -> f31(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] (?,1) 1. f30(A,B,C,D,E,F,G,H,I,J) -> f31(A,B,C,D,E,F,G,H,I,J) [A >= 1] (?,1) 2. f36(A,B,C,D,E,F,G,H,I,J) -> f37(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] (?,1) 3. f36(A,B,C,D,E,F,G,H,I,J) -> f37(A,B,C,D,E,F,G,H,I,J) [A >= 1] (?,1) 4. f37(A,B,C,D,E,F,G,H,I,J) -> f38(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] (?,1) 5. f37(A,B,C,D,E,F,G,H,I,J) -> f38(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] (?,1) 6. f0(A,B,C,D,E,F,G,H,I,J) -> f10(1,B,0,9,1,K,G,H,I,J) True (1,1) 7. f10(A,B,C,D,E,F,G,H,I,J) -> f10(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] (?,1) 8. f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] (?,1) 9. f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] (?,1) 10. f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] (?,1) 11. f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) True (?,1) 12. f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] (?,1) 13. f16(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] (?,1) 14. f27(A,B,C,D,E,F,G,H,I,J) -> f30(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] (?,1) 15. f27(A,B,C,D,E,F,G,H,I,J) -> f30(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] (?,1) 16. f31(A,B,C,D,E,F,G,H,I,J) -> f36(1,B,C,D,E,F,G,1,I,J) [K >= 1 + L] (?,1) 17. f31(A,B,C,D,E,F,G,H,I,J) -> f36(1,B,C,D,E,F,G,1,I,J) True (?,1) 18. f31(A,B,C,D,E,F,G,H,I,J) -> f36(0,B,C,D,E,F,G,0,I,J) True (?,1) 19. f30(A,B,C,D,E,F,G,H,I,J) -> f36(0,B,C,D,E,F,G,0,I,J) [A = 0] (?,1) 20. f27(A,B,C,D,E,F,G,H,I,J) -> f27(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] (?,1) 21. f38(A,B,C,D,E,F,G,H,I,J) -> f27(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] (?,1) 22. f38(A,B,C,D,E,F,G,H,I,J) -> f27(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] (?,1) 23. f38(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) True (?,1) 24. f37(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) True (?,1) 25. f36(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] (?,1) 26. f49(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,E,F,G,H,I,0) [0 >= 1 + A] (?,1) 27. f49(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,E,F,G,H,I,0) [A >= 1] (?,1) 28. f49(A,B,C,D,E,F,G,H,I,J) -> f56(0,B,C,D,E,F,G,H,I,1) [A = 0] (?,1) 29. f27(A,B,C,D,E,F,G,H,I,J) -> f16(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] (?,1) 30. f16(A,B,C,D,E,F,G,H,I,J) -> f49(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] (?,1) 31. f16(A,B,C,D,E,F,G,H,I,J) -> f49(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] (?,1) 32. f16(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,0,F,G,H,I,1) [C >= D && E = 0] (?,1) 33. f10(A,B,C,D,E,F,G,H,I,J) -> f16(A,B,0,D,E,F,G,H,I,J) [C >= D] (?,1) Signature: {(f0,10) ;(f10,10) ;(f16,10) ;(f19,10) ;(f27,10) ;(f30,10) ;(f31,10) ;(f36,10) ;(f37,10) ;(f38,10) ;(f49,10) ;(f56,10)} Flow Graph: [0->{16,17,18},1->{16,17,18},2->{4,5,24},3->{4,5,24},4->{21,22,23},5->{21,22,23},6->{7},7->{7,33},8->{10 ,11,12},9->{10,11,12},10->{14,15,20,29},11->{14,15,20,29},12->{14,15,20,29},13->{14,15,20,29},14->{0,1,19} ,15->{0,1,19},16->{3},17->{3},18->{25},19->{25},20->{14,29},21->{14,15,20,29},22->{14,15,20,29},23->{14,15 ,20,29},24->{14,15,20,29},25->{14,15,20,29},26->{},27->{},28->{},29->{8,9,13,30,31,32},30->{26,27,28} ,31->{26,27,28},32->{},33->{8,9,13,30,31,32}] + Applied Processor: FromIts + Details: () * Step 3: Unfold MAYBE + Considered Problem: Rules: f30(A,B,C,D,E,F,G,H,I,J) -> f31(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30(A,B,C,D,E,F,G,H,I,J) -> f31(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36(A,B,C,D,E,F,G,H,I,J) -> f37(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36(A,B,C,D,E,F,G,H,I,J) -> f37(A,B,C,D,E,F,G,H,I,J) [A >= 1] f37(A,B,C,D,E,F,G,H,I,J) -> f38(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37(A,B,C,D,E,F,G,H,I,J) -> f38(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f0(A,B,C,D,E,F,G,H,I,J) -> f10(1,B,0,9,1,K,G,H,I,J) True f10(A,B,C,D,E,F,G,H,I,J) -> f10(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16(A,B,C,D,E,F,G,H,I,J) -> f19(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) True f19(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f16(A,B,C,D,E,F,G,H,I,J) -> f27(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f27(A,B,C,D,E,F,G,H,I,J) -> f30(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27(A,B,C,D,E,F,G,H,I,J) -> f30(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f31(A,B,C,D,E,F,G,H,I,J) -> f36(1,B,C,D,E,F,G,1,I,J) [K >= 1 + L] f31(A,B,C,D,E,F,G,H,I,J) -> f36(1,B,C,D,E,F,G,1,I,J) True f31(A,B,C,D,E,F,G,H,I,J) -> f36(0,B,C,D,E,F,G,0,I,J) True f30(A,B,C,D,E,F,G,H,I,J) -> f36(0,B,C,D,E,F,G,0,I,J) [A = 0] f27(A,B,C,D,E,F,G,H,I,J) -> f27(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f38(A,B,C,D,E,F,G,H,I,J) -> f27(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38(A,B,C,D,E,F,G,H,I,J) -> f27(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) True f37(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) True f36(A,B,C,D,E,F,G,H,I,J) -> f27(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f49(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,E,F,G,H,I,0) [0 >= 1 + A] f49(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,E,F,G,H,I,0) [A >= 1] f49(A,B,C,D,E,F,G,H,I,J) -> f56(0,B,C,D,E,F,G,H,I,1) [A = 0] f27(A,B,C,D,E,F,G,H,I,J) -> f16(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f16(A,B,C,D,E,F,G,H,I,J) -> f49(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16(A,B,C,D,E,F,G,H,I,J) -> f49(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16(A,B,C,D,E,F,G,H,I,J) -> f56(A,B,C,D,0,F,G,H,I,1) [C >= D && E = 0] f10(A,B,C,D,E,F,G,H,I,J) -> f16(A,B,0,D,E,F,G,H,I,J) [C >= D] Signature: {(f0,10) ;(f10,10) ;(f16,10) ;(f19,10) ;(f27,10) ;(f30,10) ;(f31,10) ;(f36,10) ;(f37,10) ;(f38,10) ;(f49,10) ;(f56,10)} Rule Graph: [0->{16,17,18},1->{16,17,18},2->{4,5,24},3->{4,5,24},4->{21,22,23},5->{21,22,23},6->{7},7->{7,33},8->{10 ,11,12},9->{10,11,12},10->{14,15,20,29},11->{14,15,20,29},12->{14,15,20,29},13->{14,15,20,29},14->{0,1,19} ,15->{0,1,19},16->{3},17->{3},18->{25},19->{25},20->{14,29},21->{14,15,20,29},22->{14,15,20,29},23->{14,15 ,20,29},24->{14,15,20,29},25->{14,15,20,29},26->{},27->{},28->{},29->{8,9,13,30,31,32},30->{26,27,28} ,31->{26,27,28},32->{},33->{8,9,13,30,31,32}] + Applied Processor: Unfold + Details: () * Step 4: AddSinks MAYBE + Considered Problem: Rules: f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.16(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.17(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.18(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.16(A,B,C,D,E,F,G,H,I,J) [A >= 1] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.17(A,B,C,D,E,F,G,H,I,J) [A >= 1] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.18(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.4(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.5(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.24(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.4(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.5(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.24(A,B,C,D,E,F,G,H,I,J) [A >= 1] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.21(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.22(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.23(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.21(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.22(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.23(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f0.6(A,B,C,D,E,F,G,H,I,J) -> f10.7(1,B,0,9,1,K,G,H,I,J) True f10.7(A,B,C,D,E,F,G,H,I,J) -> f10.7(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f10.7(A,B,C,D,E,F,G,H,I,J) -> f10.33(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.10(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.10(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) True f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.0(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.1(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.19(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.0(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.1(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.19(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f31.16(A,B,C,D,E,F,G,H,I,J) -> f36.3(1,B,C,D,E,F,G,1,I,J) [K >= 1 + L] f31.17(A,B,C,D,E,F,G,H,I,J) -> f36.3(1,B,C,D,E,F,G,1,I,J) True f31.18(A,B,C,D,E,F,G,H,I,J) -> f36.25(0,B,C,D,E,F,G,0,I,J) True f30.19(A,B,C,D,E,F,G,H,I,J) -> f36.25(0,B,C,D,E,F,G,0,I,J) [A = 0] f27.20(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f27.20(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.14(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.15(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.20(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.29(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.14(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.15(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.20(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.29(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) True f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f49.26(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,E,F,G,H,I,0) [0 >= 1 + A] f49.27(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,E,F,G,H,I,0) [A >= 1] f49.28(A,B,C,D,E,F,G,H,I,J) -> f56.34(0,B,C,D,E,F,G,H,I,1) [A = 0] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.8(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.9(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.13(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.30(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.31(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.32(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.26(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.27(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.28(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.26(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.27(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.28(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.32(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,0,F,G,H,I,1) [C >= D && E = 0] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.8(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.9(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.13(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.30(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.31(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.32(A,B,0,D,E,F,G,H,I,J) [C >= D] Signature: {(f0.6,10) ;(f10.33,10) ;(f10.7,10) ;(f16.13,10) ;(f16.30,10) ;(f16.31,10) ;(f16.32,10) ;(f16.8,10) ;(f16.9,10) ;(f19.10,10) ;(f19.11,10) ;(f19.12,10) ;(f27.14,10) ;(f27.15,10) ;(f27.20,10) ;(f27.29,10) ;(f30.0,10) ;(f30.1,10) ;(f30.19,10) ;(f31.16,10) ;(f31.17,10) ;(f31.18,10) ;(f36.2,10) ;(f36.25,10) ;(f36.3,10) ;(f37.24,10) ;(f37.4,10) ;(f37.5,10) ;(f38.21,10) ;(f38.22,10) ;(f38.23,10) ;(f49.26,10) ;(f49.27,10) ;(f49.28,10) ;(f56.34,10)} Rule Graph: [0->{49},1->{50},2->{51},3->{49},4->{50},5->{51},6->{12,13,14},7->{15,16,17},8->{67,68,69,70},9->{12,13 ,14},10->{15,16,17},11->{67,68,69,70},12->{55,56,57,58},13->{59,60,61,62},14->{63,64,65,66},15->{55,56,57 ,58},16->{59,60,61,62},17->{63,64,65,66},18->{19,20},19->{19,20},20->{91,92,93,94,95,96},21->{27,28,29,30} ,22->{31,32,33,34},23->{35,36,37,38},24->{27,28,29,30},25->{31,32,33,34},26->{35,36,37,38},27->{43,44,45} ,28->{46,47,48},29->{53,54},30->{78,79,80,81,82,83},31->{43,44,45},32->{46,47,48},33->{53,54},34->{78,79,80 ,81,82,83},35->{43,44,45},36->{46,47,48},37->{53,54},38->{78,79,80,81,82,83},39->{43,44,45},40->{46,47,48} ,41->{53,54},42->{78,79,80,81,82,83},43->{0,1,2},44->{3,4,5},45->{52},46->{0,1,2},47->{3,4,5},48->{52} ,49->{9,10,11},50->{9,10,11},51->{71,72,73,74},52->{71,72,73,74},53->{43,44,45},54->{78,79,80,81,82,83} ,55->{43,44,45},56->{46,47,48},57->{53,54},58->{78,79,80,81,82,83},59->{43,44,45},60->{46,47,48},61->{53,54} ,62->{78,79,80,81,82,83},63->{43,44,45},64->{46,47,48},65->{53,54},66->{78,79,80,81,82,83},67->{43,44,45} ,68->{46,47,48},69->{53,54},70->{78,79,80,81,82,83},71->{43,44,45},72->{46,47,48},73->{53,54},74->{78,79,80 ,81,82,83},75->{},76->{},77->{},78->{21,22,23},79->{24,25,26},80->{39,40,41,42},81->{84,85,86},82->{87,88 ,89},83->{90},84->{75},85->{76},86->{77},87->{75},88->{76},89->{77},90->{},91->{21,22,23},92->{24,25,26} ,93->{39,40,41,42},94->{84,85,86},95->{87,88,89},96->{90}] + Applied Processor: AddSinks + Details: () * Step 5: Decompose MAYBE + Considered Problem: Rules: f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.16(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.17(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.18(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.16(A,B,C,D,E,F,G,H,I,J) [A >= 1] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.17(A,B,C,D,E,F,G,H,I,J) [A >= 1] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.18(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.4(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.5(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.24(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.4(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.5(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.24(A,B,C,D,E,F,G,H,I,J) [A >= 1] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.21(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.22(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.23(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.21(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.22(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.23(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f0.6(A,B,C,D,E,F,G,H,I,J) -> f10.7(1,B,0,9,1,K,G,H,I,J) True f10.7(A,B,C,D,E,F,G,H,I,J) -> f10.7(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f10.7(A,B,C,D,E,F,G,H,I,J) -> f10.33(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.10(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.10(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) True f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.0(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.1(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.19(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.0(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.1(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.19(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f31.16(A,B,C,D,E,F,G,H,I,J) -> f36.3(1,B,C,D,E,F,G,1,I,J) [K >= 1 + L] f31.17(A,B,C,D,E,F,G,H,I,J) -> f36.3(1,B,C,D,E,F,G,1,I,J) True f31.18(A,B,C,D,E,F,G,H,I,J) -> f36.25(0,B,C,D,E,F,G,0,I,J) True f30.19(A,B,C,D,E,F,G,H,I,J) -> f36.25(0,B,C,D,E,F,G,0,I,J) [A = 0] f27.20(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f27.20(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.14(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.15(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.20(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.29(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.14(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.15(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.20(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.29(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) True f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f49.26(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,E,F,G,H,I,0) [0 >= 1 + A] f49.27(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,E,F,G,H,I,0) [A >= 1] f49.28(A,B,C,D,E,F,G,H,I,J) -> f56.34(0,B,C,D,E,F,G,H,I,1) [A = 0] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.8(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.9(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.13(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.30(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.31(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.32(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.26(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.27(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.28(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.26(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.27(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.28(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.32(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,0,F,G,H,I,1) [C >= D && E = 0] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.8(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.9(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.13(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.30(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.31(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.32(A,B,0,D,E,F,G,H,I,J) [C >= D] f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True Signature: {(exitus616,10) ;(f0.6,10) ;(f10.33,10) ;(f10.7,10) ;(f16.13,10) ;(f16.30,10) ;(f16.31,10) ;(f16.32,10) ;(f16.8,10) ;(f16.9,10) ;(f19.10,10) ;(f19.11,10) ;(f19.12,10) ;(f27.14,10) ;(f27.15,10) ;(f27.20,10) ;(f27.29,10) ;(f30.0,10) ;(f30.1,10) ;(f30.19,10) ;(f31.16,10) ;(f31.17,10) ;(f31.18,10) ;(f36.2,10) ;(f36.25,10) ;(f36.3,10) ;(f37.24,10) ;(f37.4,10) ;(f37.5,10) ;(f38.21,10) ;(f38.22,10) ;(f38.23,10) ;(f49.26,10) ;(f49.27,10) ;(f49.28,10) ;(f56.34,10)} Rule Graph: [0->{49},1->{50},2->{51},3->{49},4->{50},5->{51},6->{12,13,14},7->{15,16,17},8->{67,68,69,70},9->{12,13 ,14},10->{15,16,17},11->{67,68,69,70},12->{55,56,57,58},13->{59,60,61,62},14->{63,64,65,66},15->{55,56,57 ,58},16->{59,60,61,62},17->{63,64,65,66},18->{19,20},19->{19,20},20->{91,92,93,94,95,96},21->{27,28,29,30} ,22->{31,32,33,34},23->{35,36,37,38},24->{27,28,29,30},25->{31,32,33,34},26->{35,36,37,38},27->{43,44,45} ,28->{46,47,48},29->{53,54},30->{78,79,80,81,82,83},31->{43,44,45},32->{46,47,48},33->{53,54},34->{78,79,80 ,81,82,83},35->{43,44,45},36->{46,47,48},37->{53,54},38->{78,79,80,81,82,83},39->{43,44,45},40->{46,47,48} ,41->{53,54},42->{78,79,80,81,82,83},43->{0,1,2},44->{3,4,5},45->{52},46->{0,1,2},47->{3,4,5},48->{52} ,49->{9,10,11},50->{9,10,11},51->{71,72,73,74},52->{71,72,73,74},53->{43,44,45},54->{78,79,80,81,82,83} ,55->{43,44,45},56->{46,47,48},57->{53,54},58->{78,79,80,81,82,83},59->{43,44,45},60->{46,47,48},61->{53,54} ,62->{78,79,80,81,82,83},63->{43,44,45},64->{46,47,48},65->{53,54},66->{78,79,80,81,82,83},67->{43,44,45} ,68->{46,47,48},69->{53,54},70->{78,79,80,81,82,83},71->{43,44,45},72->{46,47,48},73->{53,54},74->{78,79,80 ,81,82,83},75->{100,103,107,110,114,117,121,124,128,131,135,138,142,145},76->{99,102,106,109,113,116,120,123 ,127,130,134,137,141,144},77->{98,101,105,108,112,115,119,122,126,129,133,136,140,143},78->{21,22,23} ,79->{24,25,26},80->{39,40,41,42},81->{84,85,86},82->{87,88,89},83->{90},84->{75},85->{76},86->{77},87->{75} ,88->{76},89->{77},90->{97,104,111,118,125,132,139},91->{21,22,23},92->{24,25,26},93->{39,40,41,42},94->{84 ,85,86},95->{87,88,89},96->{90}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145] | +- p:[19] c: [19] | `- p:[0,43,27,21,78,30,24,79,34,22,25,38,23,26,42,80,54,29,33,37,41,57,12,9,49,3,44,31,35,39,53,61,13,16,10,50,1,46,28,32,36,40,56,15,60,64,14,17,68,11,72,51,2,5,47,52,45,55,59,63,67,71,48,4,65,69,73,58,62,66,70,74] c: [21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,54,78,79,80] | `- p:[0,43,53,57,12,9,49,3,44,55,15,10,50,1,46,56,60,13,16,64,14,17,68,11,72,51,2,5,47,52,45,59,63,67,71,48,4,61,65,69,73] c: [0,1,2,3,4,5,43,44,45,46,47,48,52,53,55,56,57,59,60,61,63,64,65,67,68,69,71,72,73] * Step 6: AbstractSize MAYBE + Considered Problem: (Rules: f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.16(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.17(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.0(A,B,C,D,E,F,G,H,I,J) -> f31.18(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.16(A,B,C,D,E,F,G,H,I,J) [A >= 1] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.17(A,B,C,D,E,F,G,H,I,J) [A >= 1] f30.1(A,B,C,D,E,F,G,H,I,J) -> f31.18(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.4(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.5(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.2(A,B,C,D,E,F,G,H,I,J) -> f37.24(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + A] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.4(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.5(A,B,C,D,E,F,G,H,I,J) [A >= 1] f36.3(A,B,C,D,E,F,G,H,I,J) -> f37.24(A,B,C,D,E,F,G,H,I,J) [A >= 1] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.21(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.22(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.4(A,B,C,D,E,F,G,H,I,J) -> f38.23(A,B,C,D,E,F,G,H,I,J) [B + K >= 1 + C + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.21(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.22(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f37.5(A,B,C,D,E,F,G,H,I,J) -> f38.23(A,B,C,D,E,F,G,H,I,J) [C + K >= 1 + B + L] f0.6(A,B,C,D,E,F,G,H,I,J) -> f10.7(1,B,0,9,1,K,G,H,I,J) True f10.7(A,B,C,D,E,F,G,H,I,J) -> f10.7(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f10.7(A,B,C,D,E,F,G,H,I,J) -> f10.33(A,B,1 + C,D,E,F,G,H,I,J) [D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.10(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.8(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.10(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.11(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f16.9(A,B,C,D,E,F,G,H,I,J) -> f19.12(A,B,C,D,E,F,G,H,I,J) [E >= 1 && D >= 1 + C] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.10(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,1,F,1,H,I,J) [D >= 1 + K] f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) True f19.11(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) True f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f19.12(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) [0 >= 1 + K] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.15(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.20(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f16.13(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,0,C,D,0,F,0,H,I,J) [D >= 1 + C && E = 0] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.0(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.1(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.14(A,B,C,D,E,F,G,H,I,J) -> f30.19(A,B,C,D,E,F,G,H,I,J) [D >= 1 + B && B >= 1 + C] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.0(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.1(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f27.15(A,B,C,D,E,F,G,H,I,J) -> f30.19(A,B,C,D,E,F,G,H,I,J) [C >= 1 + B && D >= 1 + B] f31.16(A,B,C,D,E,F,G,H,I,J) -> f36.3(1,B,C,D,E,F,G,1,I,J) [K >= 1 + L] f31.17(A,B,C,D,E,F,G,H,I,J) -> f36.3(1,B,C,D,E,F,G,1,I,J) True f31.18(A,B,C,D,E,F,G,H,I,J) -> f36.25(0,B,C,D,E,F,G,0,I,J) True f30.19(A,B,C,D,E,F,G,H,I,J) -> f36.25(0,B,C,D,E,F,G,0,I,J) [A = 0] f27.20(A,B,C,D,E,F,G,H,I,J) -> f27.14(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f27.20(A,B,C,D,E,F,G,H,I,J) -> f27.29(A,1 + C,C,D,E,F,G,H,I,J) [D >= 1 + B && C = B] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.14(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.15(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.20(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.21(A,B,C,D,E,F,G,H,I,J) -> f27.29(1,1 + B,C,D,E,F,G,H,1,J) [B + K >= 1 + C + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.14(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.15(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.20(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.22(A,B,C,D,E,F,G,H,I,J) -> f27.29(1,1 + B,C,D,E,F,G,H,1,J) [C + K >= 1 + B + L] f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) True f38.23(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) True f37.24(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) True f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.14(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.15(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.20(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f36.25(A,B,C,D,E,F,G,H,I,J) -> f27.29(0,1 + B,C,D,E,F,G,H,0,J) [A = 0] f49.26(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,E,F,G,H,I,0) [0 >= 1 + A] f49.27(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,E,F,G,H,I,0) [A >= 1] f49.28(A,B,C,D,E,F,G,H,I,J) -> f56.34(0,B,C,D,E,F,G,H,I,1) [A = 0] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.8(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.9(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.13(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.30(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.31(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f27.29(A,B,C,D,E,F,G,H,I,J) -> f16.32(A,B,1 + C,D,E,F,G,H,I,J) [B >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.26(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.27(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.30(A,B,C,D,E,F,G,H,I,J) -> f49.28(A,B,C,D,E,F,G,H,I,J) [0 >= 1 + E && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.26(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.27(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.31(A,B,C,D,E,F,G,H,I,J) -> f49.28(A,B,C,D,E,F,G,H,I,J) [E >= 1 && C >= D] f16.32(A,B,C,D,E,F,G,H,I,J) -> f56.34(A,B,C,D,0,F,G,H,I,1) [C >= D && E = 0] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.8(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.9(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.13(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.30(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.31(A,B,0,D,E,F,G,H,I,J) [C >= D] f10.33(A,B,C,D,E,F,G,H,I,J) -> f16.32(A,B,0,D,E,F,G,H,I,J) [C >= D] f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True f56.34(A,B,C,D,E,F,G,H,I,J) -> exitus616(A,B,C,D,E,F,G,H,I,J) True Signature: {(exitus616,10) ;(f0.6,10) ;(f10.33,10) ;(f10.7,10) ;(f16.13,10) ;(f16.30,10) ;(f16.31,10) ;(f16.32,10) ;(f16.8,10) ;(f16.9,10) ;(f19.10,10) ;(f19.11,10) ;(f19.12,10) ;(f27.14,10) ;(f27.15,10) ;(f27.20,10) ;(f27.29,10) ;(f30.0,10) ;(f30.1,10) ;(f30.19,10) ;(f31.16,10) ;(f31.17,10) ;(f31.18,10) ;(f36.2,10) ;(f36.25,10) ;(f36.3,10) ;(f37.24,10) ;(f37.4,10) ;(f37.5,10) ;(f38.21,10) ;(f38.22,10) ;(f38.23,10) ;(f49.26,10) ;(f49.27,10) ;(f49.28,10) ;(f56.34,10)} Rule Graph: [0->{49},1->{50},2->{51},3->{49},4->{50},5->{51},6->{12,13,14},7->{15,16,17},8->{67,68,69,70},9->{12,13 ,14},10->{15,16,17},11->{67,68,69,70},12->{55,56,57,58},13->{59,60,61,62},14->{63,64,65,66},15->{55,56,57 ,58},16->{59,60,61,62},17->{63,64,65,66},18->{19,20},19->{19,20},20->{91,92,93,94,95,96},21->{27,28,29,30} ,22->{31,32,33,34},23->{35,36,37,38},24->{27,28,29,30},25->{31,32,33,34},26->{35,36,37,38},27->{43,44,45} ,28->{46,47,48},29->{53,54},30->{78,79,80,81,82,83},31->{43,44,45},32->{46,47,48},33->{53,54},34->{78,79,80 ,81,82,83},35->{43,44,45},36->{46,47,48},37->{53,54},38->{78,79,80,81,82,83},39->{43,44,45},40->{46,47,48} ,41->{53,54},42->{78,79,80,81,82,83},43->{0,1,2},44->{3,4,5},45->{52},46->{0,1,2},47->{3,4,5},48->{52} ,49->{9,10,11},50->{9,10,11},51->{71,72,73,74},52->{71,72,73,74},53->{43,44,45},54->{78,79,80,81,82,83} ,55->{43,44,45},56->{46,47,48},57->{53,54},58->{78,79,80,81,82,83},59->{43,44,45},60->{46,47,48},61->{53,54} ,62->{78,79,80,81,82,83},63->{43,44,45},64->{46,47,48},65->{53,54},66->{78,79,80,81,82,83},67->{43,44,45} ,68->{46,47,48},69->{53,54},70->{78,79,80,81,82,83},71->{43,44,45},72->{46,47,48},73->{53,54},74->{78,79,80 ,81,82,83},75->{100,103,107,110,114,117,121,124,128,131,135,138,142,145},76->{99,102,106,109,113,116,120,123 ,127,130,134,137,141,144},77->{98,101,105,108,112,115,119,122,126,129,133,136,140,143},78->{21,22,23} ,79->{24,25,26},80->{39,40,41,42},81->{84,85,86},82->{87,88,89},83->{90},84->{75},85->{76},86->{77},87->{75} ,88->{76},89->{77},90->{97,104,111,118,125,132,139},91->{21,22,23},92->{24,25,26},93->{39,40,41,42},94->{84 ,85,86},95->{87,88,89},96->{90}] ,We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145] | +- p:[19] c: [19] | `- p:[0,43,27,21,78,30,24,79,34,22,25,38,23,26,42,80,54,29,33,37,41,57,12,9,49,3,44,31,35,39,53,61,13,16,10,50,1,46,28,32,36,40,56,15,60,64,14,17,68,11,72,51,2,5,47,52,45,55,59,63,67,71,48,4,65,69,73,58,62,66,70,74] c: [21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,54,78,79,80] | `- p:[0,43,53,57,12,9,49,3,44,55,15,10,50,1,46,56,60,13,16,64,14,17,68,11,72,51,2,5,47,52,45,59,63,67,71,48,4,61,65,69,73] c: [0,1,2,3,4,5,43,44,45,46,47,48,52,53,55,56,57,59,60,61,63,64,65,67,68,69,71,72,73]) + Applied Processor: AbstractSize Minimize + Details: () * Step 7: AbstractFlow MAYBE + Considered Problem: Program: Domain: [A,B,C,D,E,F,G,H,I,J,0.0,0.1,0.1.0] f30.0 ~> f31.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.0 ~> f31.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.0 ~> f31.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.2 ~> f37.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.2 ~> f37.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.2 ~> f37.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.4 ~> f38.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.4 ~> f38.22 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.4 ~> f38.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.22 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f0.6 ~> f10.7 [A <= K, B <= B, C <= 0*K, D <= 9*K, E <= K, F <= unknown, G <= G, H <= H, I <= I, J <= J] f10.7 ~> f10.7 [A <= A, B <= B, C <= C + D, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f10.7 ~> f10.33 [A <= A, B <= B, C <= C + D, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.8 ~> f19.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.8 ~> f19.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.8 ~> f19.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.9 ~> f19.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.9 ~> f19.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.9 ~> f19.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.10 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f19.10 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f19.10 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f19.10 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f19.11 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.11 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.11 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.11 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f27.14 ~> f30.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.14 ~> f30.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.14 ~> f30.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f31.16 ~> f36.3 [A <= K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K, I <= I, J <= J] f31.17 ~> f36.3 [A <= K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K, I <= I, J <= J] f31.18 ~> f36.25 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f30.19 ~> f36.25 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f27.20 ~> f27.14 [A <= A, B <= K + C, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.20 ~> f27.29 [A <= A, B <= K + C, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.21 ~> f27.14 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.21 ~> f27.15 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.21 ~> f27.20 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.21 ~> f27.29 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.14 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.15 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.20 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.29 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.23 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f38.23 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f38.23 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f38.23 ~> f27.29 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.29 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.29 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f49.26 ~> f56.34 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= 0*K] f49.27 ~> f56.34 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= 0*K] f49.28 ~> f56.34 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= K] f27.29 ~> f16.8 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.9 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.13 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.30 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.31 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.32 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.30 ~> f49.26 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.30 ~> f49.27 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.30 ~> f49.28 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.31 ~> f49.26 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.31 ~> f49.27 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.31 ~> f49.28 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.32 ~> f56.34 [A <= A, B <= B, C <= C, D <= D, E <= 0*K, F <= F, G <= G, H <= H, I <= I, J <= K] f10.33 ~> f16.8 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f10.33 ~> f16.9 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f10.33 ~> f16.13 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f10.33 ~> f16.30 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f10.33 ~> f16.31 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f10.33 ~> f16.32 [A <= A, B <= B, C <= 0*K, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f56.34 ~> exitus616 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] + Loop: [0.0 <= K + C + D] f10.7 ~> f10.7 [A <= A, B <= B, C <= C + D, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] + Loop: [0.1 <= K + C + D] f30.0 ~> f31.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.14 ~> f30.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.10 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f16.8 ~> f19.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.8 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.10 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f16.9 ~> f19.10 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.29 ~> f16.9 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.11 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.8 ~> f19.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.9 ~> f19.11 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.12 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.8 ~> f19.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.9 ~> f19.12 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f16.13 ~> f27.29 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f27.29 ~> f16.13 [A <= A, B <= B, C <= K + C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.20 ~> f27.29 [A <= A, B <= K + C, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.10 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f19.11 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.20 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f38.21 ~> f27.20 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f37.4 ~> f38.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f31.16 ~> f36.3 [A <= K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K, I <= I, J <= J] f30.1 ~> f31.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.14 ~> f30.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.11 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.14 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f27.20 ~> f27.14 [A <= A, B <= K + C, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.22 ~> f27.20 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f37.4 ~> f38.22 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.22 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f31.17 ~> f36.3 [A <= K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K, I <= I, J <= J] f30.0 ~> f31.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f19.10 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= K, F <= F, G <= K, H <= H, I <= I, J <= J] f19.11 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f19.12 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f16.13 ~> f27.15 [A <= A, B <= 0*K, C <= C, D <= D, E <= 0*K, F <= F, G <= 0*K, H <= H, I <= I, J <= J] f38.21 ~> f27.15 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f37.5 ~> f38.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.22 ~> f27.15 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.23 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.4 ~> f38.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.24 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.3 ~> f37.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.25 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f31.18 ~> f36.25 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f30.0 ~> f31.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.19 ~> f36.25 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f27.14 ~> f30.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.21 ~> f27.14 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.14 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.23 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f27.15 ~> f30.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.23 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f38.21 ~> f27.29 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.29 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.23 ~> f27.29 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.29 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.29 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] + Loop: [0.1.0 <= 2*K + B + C + D] f30.0 ~> f31.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.14 ~> f30.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.20 ~> f27.14 [A <= A, B <= K + C, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.21 ~> f27.20 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f37.4 ~> f38.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.4 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f31.16 ~> f36.3 [A <= K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K, I <= I, J <= J] f30.1 ~> f31.16 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.14 ~> f30.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.21 ~> f27.14 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f37.5 ~> f38.21 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.3 ~> f37.5 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f31.17 ~> f36.3 [A <= K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= K, I <= I, J <= J] f30.0 ~> f31.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.0 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.21 ~> f27.15 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.22 ~> f27.15 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f37.4 ~> f38.22 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.22 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.23 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.4 ~> f38.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.5 ~> f38.23 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f37.24 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.3 ~> f37.24 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f36.25 ~> f27.15 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f31.18 ~> f36.25 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f30.0 ~> f31.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.18 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f27.15 ~> f30.1 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.19 ~> f36.25 [A <= 0*K, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= 0*K, I <= I, J <= J] f27.14 ~> f30.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.22 ~> f27.14 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.23 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.14 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f27.15 ~> f30.19 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f30.1 ~> f31.17 [A <= A, B <= B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= I, J <= J] f38.22 ~> f27.20 [A <= K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= K, J <= J] f38.23 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f37.24 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] f36.25 ~> f27.20 [A <= 0*K, B <= K + B, C <= C, D <= D, E <= E, F <= F, G <= G, H <= H, I <= 0*K, J <= J] + Applied Processor: AbstractFlow + Details: () * Step 8: Lare MAYBE + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,D,E,F,G,H,I,J,0.0,0.1,0.1.0] f30.0 ~> f31.16 [] f30.0 ~> f31.17 [] f30.0 ~> f31.18 [] f30.1 ~> f31.16 [] f30.1 ~> f31.17 [] f30.1 ~> f31.18 [] f36.2 ~> f37.4 [] f36.2 ~> f37.5 [] f36.2 ~> f37.24 [] f36.3 ~> f37.4 [] f36.3 ~> f37.5 [] f36.3 ~> f37.24 [] f37.4 ~> f38.21 [] f37.4 ~> f38.22 [] f37.4 ~> f38.23 [] f37.5 ~> f38.21 [] f37.5 ~> f38.22 [] f37.5 ~> f38.23 [] f0.6 ~> f10.7 [K ~=> A,K ~=> C,K ~=> D,K ~=> E,huge ~=> F] f10.7 ~> f10.7 [C ~+> C,D ~+> C] f10.7 ~> f10.33 [C ~+> C,D ~+> C] f16.8 ~> f19.10 [] f16.8 ~> f19.11 [] f16.8 ~> f19.12 [] f16.9 ~> f19.10 [] f16.9 ~> f19.11 [] f16.9 ~> f19.12 [] f19.10 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f19.10 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f19.10 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f19.10 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f19.11 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f19.11 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f19.11 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f19.11 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f27.14 ~> f30.0 [] f27.14 ~> f30.1 [] f27.14 ~> f30.19 [] f27.15 ~> f30.0 [] f27.15 ~> f30.1 [] f27.15 ~> f30.19 [] f31.16 ~> f36.3 [K ~=> A,K ~=> H] f31.17 ~> f36.3 [K ~=> A,K ~=> H] f31.18 ~> f36.25 [K ~=> A,K ~=> H] f30.19 ~> f36.25 [K ~=> A,K ~=> H] f27.20 ~> f27.14 [C ~+> B,K ~+> B] f27.20 ~> f27.29 [C ~+> B,K ~+> B] f38.21 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.21 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.21 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.21 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f49.26 ~> f56.34 [K ~=> J] f49.27 ~> f56.34 [K ~=> J] f49.28 ~> f56.34 [K ~=> A,K ~=> J] f27.29 ~> f16.8 [C ~+> C,K ~+> C] f27.29 ~> f16.9 [C ~+> C,K ~+> C] f27.29 ~> f16.13 [C ~+> C,K ~+> C] f27.29 ~> f16.30 [C ~+> C,K ~+> C] f27.29 ~> f16.31 [C ~+> C,K ~+> C] f27.29 ~> f16.32 [C ~+> C,K ~+> C] f16.30 ~> f49.26 [] f16.30 ~> f49.27 [] f16.30 ~> f49.28 [] f16.31 ~> f49.26 [] f16.31 ~> f49.27 [] f16.31 ~> f49.28 [] f16.32 ~> f56.34 [K ~=> E,K ~=> J] f10.33 ~> f16.8 [K ~=> C] f10.33 ~> f16.9 [K ~=> C] f10.33 ~> f16.13 [K ~=> C] f10.33 ~> f16.30 [K ~=> C] f10.33 ~> f16.31 [K ~=> C] f10.33 ~> f16.32 [K ~=> C] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] f56.34 ~> exitus616 [] + Loop: [C ~+> 0.0,D ~+> 0.0,K ~+> 0.0] f10.7 ~> f10.7 [C ~+> C,D ~+> C] + Loop: [C ~+> 0.1,D ~+> 0.1,K ~+> 0.1] f30.0 ~> f31.16 [] f27.14 ~> f30.0 [] f19.10 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f16.8 ~> f19.10 [] f27.29 ~> f16.8 [C ~+> C,K ~+> C] f19.10 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f16.9 ~> f19.10 [] f27.29 ~> f16.9 [C ~+> C,K ~+> C] f19.11 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f16.8 ~> f19.11 [] f16.9 ~> f19.11 [] f19.12 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f16.8 ~> f19.12 [] f16.9 ~> f19.12 [] f16.13 ~> f27.29 [K ~=> B,K ~=> E,K ~=> G] f27.29 ~> f16.13 [C ~+> C,K ~+> C] f27.20 ~> f27.29 [C ~+> B,K ~+> B] f19.10 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f19.11 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.20 [K ~=> B,K ~=> E,K ~=> G] f38.21 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.4 ~> f38.21 [] f36.3 ~> f37.4 [] f31.16 ~> f36.3 [K ~=> A,K ~=> H] f30.1 ~> f31.16 [] f27.14 ~> f30.1 [] f19.11 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.14 [K ~=> B,K ~=> E,K ~=> G] f27.20 ~> f27.14 [C ~+> B,K ~+> B] f38.22 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.4 ~> f38.22 [] f37.5 ~> f38.22 [] f36.3 ~> f37.5 [] f31.17 ~> f36.3 [K ~=> A,K ~=> H] f30.0 ~> f31.17 [] f27.15 ~> f30.0 [] f19.10 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f19.11 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f19.12 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f16.13 ~> f27.15 [K ~=> B,K ~=> E,K ~=> G] f38.21 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.5 ~> f38.21 [] f38.22 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.4 ~> f38.23 [] f37.5 ~> f38.23 [] f37.24 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.3 ~> f37.24 [] f36.25 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f31.18 ~> f36.25 [K ~=> A,K ~=> H] f30.0 ~> f31.18 [] f30.1 ~> f31.18 [] f27.15 ~> f30.1 [] f30.19 ~> f36.25 [K ~=> A,K ~=> H] f27.14 ~> f30.19 [] f38.21 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f27.15 ~> f30.19 [] f30.1 ~> f31.17 [] f38.23 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.21 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.29 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] + Loop: [B ~+> 0.1.0,C ~+> 0.1.0,D ~+> 0.1.0,K ~*> 0.1.0] f30.0 ~> f31.16 [] f27.14 ~> f30.0 [] f27.20 ~> f27.14 [C ~+> B,K ~+> B] f38.21 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.4 ~> f38.21 [] f36.3 ~> f37.4 [] f31.16 ~> f36.3 [K ~=> A,K ~=> H] f30.1 ~> f31.16 [] f27.14 ~> f30.1 [] f38.21 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.5 ~> f38.21 [] f36.3 ~> f37.5 [] f31.17 ~> f36.3 [K ~=> A,K ~=> H] f30.0 ~> f31.17 [] f27.15 ~> f30.0 [] f38.21 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.22 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.4 ~> f38.22 [] f37.5 ~> f38.22 [] f38.23 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.4 ~> f38.23 [] f37.5 ~> f38.23 [] f37.24 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.3 ~> f37.24 [] f36.25 ~> f27.15 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f31.18 ~> f36.25 [K ~=> A,K ~=> H] f30.0 ~> f31.18 [] f30.1 ~> f31.18 [] f27.15 ~> f30.1 [] f30.19 ~> f36.25 [K ~=> A,K ~=> H] f27.14 ~> f30.19 [] f38.22 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.14 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f27.15 ~> f30.19 [] f30.1 ~> f31.17 [] f38.22 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f38.23 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f37.24 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] f36.25 ~> f27.20 [K ~=> A,K ~=> I,B ~+> B,K ~+> B] + Applied Processor: Lare + Details: f0.6 ~> exitus616 [K ~=> A ,K ~=> B ,K ~=> C ,K ~=> D ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,K ~=> J ,huge ~=> F ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.0 ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.0 ,K ~*> 0.1 ,K ~*> 0.1.0 ,K ~*> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] f36.2 ~> exitus616 [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,K ~=> J ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] + f10.7> [C ~+> C ,C ~+> 0.0 ,C ~+> tick ,D ~+> C ,D ~+> 0.0 ,D ~+> tick ,tick ~+> tick ,K ~+> 0.0 ,K ~+> tick ,C ~*> C ,D ~*> C ,K ~*> C] + f27.29> [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] f27.29> [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] f27.29> [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] f27.29> [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] f27.29> [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] f27.29> [K ~=> A ,K ~=> B ,K ~=> E ,K ~=> G ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> C ,C ~+> 0.1 ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1 ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,K ~+> C ,K ~+> 0.1 ,K ~+> 0.1.0 ,K ~+> tick ,B ~*> B ,B ~*> 0.1.0 ,B ~*> tick ,C ~*> B ,C ~*> C ,C ~*> 0.1.0 ,C ~*> tick ,D ~*> B ,D ~*> C ,D ~*> 0.1.0 ,D ~*> tick ,K ~*> B ,K ~*> C ,K ~*> 0.1.0 ,K ~*> tick ,C ~^> B ,C ~^> 0.1.0 ,C ~^> tick ,D ~^> B ,D ~^> 0.1.0 ,D ~^> tick ,K ~^> B ,K ~^> 0.1.0 ,K ~^> tick] + f27.20> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.22> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f37.24> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f36.25> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.23> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.21> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f27.20> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.22> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f37.24> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f36.25> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.23> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.21> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f27.20> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.22> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f37.24> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f36.25> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.23> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.21> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f27.20> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.22> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f37.24> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f36.25> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.23> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.21> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f27.20> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.22> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f37.24> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f36.25> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.23> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.21> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f27.20> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.22> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f37.24> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f36.25> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.23> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] f38.21> [K ~=> A ,K ~=> H ,K ~=> I ,B ~+> B ,B ~+> 0.1.0 ,B ~+> tick ,C ~+> B ,C ~+> 0.1.0 ,C ~+> tick ,D ~+> 0.1.0 ,D ~+> tick ,tick ~+> tick ,K ~+> B ,B ~*> B ,C ~*> B ,D ~*> B ,K ~*> B ,K ~*> 0.1.0 ,K ~*> tick] YES(?,PRIMREC)