YES * Step 1: UnsatPaths YES + Considered Problem: Rules: 0. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] (?,1) 1. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True (?,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] (?,1) 11. f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] (?,1) 12. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 14. f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 15. f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 16. f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 17. f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] (?,1) 18. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] (?,1) 19. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] (?,1) 20. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] (?,1) 21. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] (?,1) 22. f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] (?,1) 23. f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 25. f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 26. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 27. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 28. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 29. f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Flow Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,26,27,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24} ,7->{8,23},8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{6,25} ,16->{6,25},17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9 ,20,21,22},25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(3,26),(3,27),(15,6)] * Step 2: FromIts YES + Considered Problem: Rules: 0. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] (?,1) 1. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True (?,1) 2. f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] (?,1) 11. f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] (?,1) 12. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 14. f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 15. f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 16. f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 17. f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] (?,1) 18. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] (?,1) 19. f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] (?,1) 20. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] (?,1) 21. f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] (?,1) 22. f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] (?,1) 23. f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 25. f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 26. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 27. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 28. f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 29. f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Flow Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24},7->{8,23} ,8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{25},16->{6,25} ,17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9,20,21,22} ,25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] + Applied Processor: FromIts + Details: () * Step 3: Decompose YES + Considered Problem: Rules: f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Rule Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24},7->{8,23} ,8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{25},16->{6,25} ,17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9,20,21,22} ,25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] + Applied Processor: Decompose NoGreedy + 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] | +- p:[3,26,4,5,27,28] c: [4] | | | `- p:[3,26,5,27,28] c: [5,26,27] | | | `- p:[3,28] c: [3,28] | `- p:[0,17,11,20,18,9,19,10,24,6,16,12,1,22,13,14,23,7,8,21] c: [11] | `- p:[0,17,20,18,9,19,10,24,6,16,12,1,22,13,14,23,7,8,21] c: [6,16] | +- p:[7,23,8] c: [7,23] | | | `- p:[8] c: [8] | +- p:[9,18,10,19] c: [10] | | | `- p:[9,18,19] c: [9,18,19] | `- p:[14] c: [14] * Step 4: CloseWith YES + Considered Problem: (Rules: f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) [0 >= 1 + L] f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True f0(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,B,C,D,E,F,G,H,I,J,K) True f12(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f15(A,B,C,D,E,F,G,H,I,J,K) -> f15(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f28(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f30(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f33(A,B,C,D,E,F,G,H,I,J,K) -> f33(A,B,C,D,E,F,L,1 + H,I,J,K) [B >= 1 + H] f42(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f45(A,B,C,D,E,F,G,H,I,J,K) -> f45(A,B,C,D,E,F,L,1 + H,I,J,K) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f73(A,B,C,D,E,F,G,H,I,J,K) -> f73(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f73(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,C,D,E,F,G,H,M,L,K) [C >= 1 + M && H >= D] f45(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,1 + B,L,D,E,F,G,H,L,M,B) [L >= C && H >= D] f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f42(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f42(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f33(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f30(A,B,C,D,E,F,G,H,I,J,K) -> f42(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f28(A,B,C,D,E,F,G,H,I,J,K) -> f82(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f15(A,B,C,D,E,F,G,H,I,J,K) -> f12(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f12(A,B,C,D,E,F,G,H,I,J,K) -> f28(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f0,11) ;(f12,11) ;(f15,11) ;(f28,11) ;(f30,11) ;(f33,11) ;(f42,11) ;(f45,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f73,11) ;(f82,11)} Rule Graph: [0->{12,13,15},1->{12,13,15},2->{3,29},3->{4,5,28},4->{4,5,26,27,28},5->{4,5,26,27,28},6->{7,24},7->{8,23} ,8->{8,23},9->{10,18,19},10->{10,18,19},11->{11,17},12->{14,16},13->{14,16},14->{14,16},15->{25},16->{6,25} ,17->{0,1},18->{9,20,21,22},19->{9,20,21,22},20->{11,17},21->{11,17},22->{0,1},23->{7,24},24->{9,20,21,22} ,25->{},26->{3,29},27->{3,29},28->{3,29},29->{6,25}] ,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] | +- p:[3,26,4,5,27,28] c: [4] | | | `- p:[3,26,5,27,28] c: [5,26,27] | | | `- p:[3,28] c: [3,28] | `- p:[0,17,11,20,18,9,19,10,24,6,16,12,1,22,13,14,23,7,8,21] c: [11] | `- p:[0,17,20,18,9,19,10,24,6,16,12,1,22,13,14,23,7,8,21] c: [6,16] | +- p:[7,23,8] c: [7,23] | | | `- p:[8] c: [8] | +- p:[9,18,10,19] c: [10] | | | `- p:[9,18,19] c: [9,18,19] | `- p:[14] c: [14]) + Applied Processor: CloseWith True + Details: () YES