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) [L >= 1] (?,1) 2. f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [D >= 1 + H] (?,1) 11. f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] (?,1) 12. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True (?,1) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 14. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 15. f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 16. f71(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 17. f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 18. f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] (?,1) 19. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,L*M,L,K) [C >= 1 + L*M && H >= D] (?,1) 20. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L*M,D,E,F,G,H,L*M,M,B) [L*M >= C && H >= D] (?,1) 21. f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] (?,1) 22. f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] (?,1) 23. f40(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] (?,1) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 25. f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 26. f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 27. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 28. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 29. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 30. f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Flow Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,27,28,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25} ,7->{8,24},8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15 ,17},16->{6,26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1 ,12},24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(3,27),(3,28),(16,6)] * Step 2: FromIts 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) [L >= 1] (?,1) 2. f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True (1,1) 3. f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] (?,1) 4. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] (?,1) 5. f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] (?,1) 6. f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] (?,1) 7. f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] (?,1) 8. f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [B >= 1 + H] (?,1) 9. f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] (?,1) 10. f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [D >= 1 + H] (?,1) 11. f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] (?,1) 12. f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True (?,1) 13. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] (?,1) 14. f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] (?,1) 15. f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] (?,1) 16. f71(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] (?,1) 17. f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) 18. f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] (?,1) 19. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,L*M,L,K) [C >= 1 + L*M && H >= D] (?,1) 20. f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L*M,D,E,F,G,H,L*M,M,B) [L*M >= C && H >= D] (?,1) 21. f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] (?,1) 22. f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] (?,1) 23. f40(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] (?,1) 24. f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] (?,1) 25. f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] (?,1) 26. f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] (?,1) 27. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] (?,1) 28. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] (?,1) 29. f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] (?,1) 30. f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] (?,1) Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Flow Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25},7->{8,24} ,8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15,17} ,16->{26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1,12} ,24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] + Applied Processor: FromIts + Details: () * Step 3: 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) [L >= 1] f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [B >= 1 + H] f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,L*M,L,K) [C >= 1 + L*M && H >= D] f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L*M,D,E,F,G,H,L*M,M,B) [L*M >= C && H >= D] f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f40(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Rule Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25},7->{8,24} ,8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15,17} ,16->{26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1,12} ,24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] + Applied Processor: 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,30] | +- p:[3,27,4,5,28,29] c: [4] | | | `- p:[3,27,5,28,29] c: [5,27,28] | | | `- p:[3,29] c: [3,29] | `- p:[0,18,11,21,19,9,20,10,25,6,17,13,1,23,12,14,15,24,7,8,22] c: [11] | `- p:[0,18,21,19,9,20,10,25,6,17,13,1,23,12,14,15,24,7,8,22] c: [6,17] | +- p:[7,24,8] c: [7,24] | | | `- p:[8] c: [8] | +- p:[9,19,10,20] c: [10] | | | `- p:[9,19,20] c: [9,19,20] | `- p:[15] c: [15] * 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) [L >= 1] f2(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,B,C,D,E,F,G,H,I,J,K) True f5(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,0,D,E,F,G,H,I,J,K) [A >= B] f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,C,1 + D,L,L,G,H,I,J,K) [C >= L && A >= D] f9(A,B,C,D,E,F,G,H,I,J,K) -> f9(A,B,L,1 + D,L,L,G,H,I,J,K) [L >= 1 + C && A >= D] f23(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,B,C,D,E,F,G,H,I,J,K) [A >= D] f26(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,L,H,I,J,K) [D >= 1 + B] f30(A,B,C,D,E,F,G,H,I,J,K) -> f30(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [B >= 1 + H] f40(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,L,H,I,J,K) [A >= B] f44(A,B,C,D,E,F,G,H,I,J,K) -> f44(A,B,C,D,E,F,G + -1*L*M,1 + H,I,J,K) [D >= 1 + H] f59(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,1 + H,L,J,K) [A >= H] f69(A,B,C,D,E,F,G,H,I,J,K) -> f71(A,B,C,D,E,F,G,H,I,J,K) True f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [A >= 1 + D] f71(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,B,C,D,E,F,G,H,L,J,K) [D >= 1 + A] f74(A,B,C,D,E,F,G,H,I,J,K) -> f74(A,1 + B,C,D,E,F,G,H,I,J,K) [A >= B] f71(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + A,E,F,G,H,I,J,K) [A = D] f74(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,1 + D,E,F,G,H,I,J,K) [B >= 1 + A] f59(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,K) [H >= 1 + A] f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,C,D,E,F,G,H,L*M,L,K) [C >= 1 + L*M && H >= D] f44(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,1 + B,L*M,D,E,F,G,H,L*M,M,B) [L*M >= C && H >= D] f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && K >= 1 + D] f40(A,B,C,D,E,F,G,H,I,J,K) -> f59(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A && D >= 1 + K] f40(A,B,C,D,E,F,G,H,I,J,K) -> f69(A,B,C,D,E,F,G,H,I,J,D) [B >= 1 + A && D = K] f30(A,B,C,D,E,F,G,H,I,J,K) -> f26(A,1 + B,C,D,E,F,G,H,I,J,K) [H >= B] f26(A,B,C,D,E,F,G,H,I,J,K) -> f40(A,B,0,D,E,F,G,H,I,J,K) [B >= D] f23(A,B,C,D,E,F,G,H,I,J,K) -> f1(A,B,C,D,E,F,G,H,I,J,K) [D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [0 >= 1 + C && D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,C,D,E,F,G,H,I,J,K) [C >= 1 && D >= 1 + A] f9(A,B,C,D,E,F,G,H,I,J,K) -> f5(A,1 + B,0,D,E,F,G,H,I,J,K) [D >= 1 + A && C = 0] f5(A,B,C,D,E,F,G,H,I,J,K) -> f23(A,B,C,D,E,F,G,H,I,J,K) [B >= 1 + A] Signature: {(f1,11) ;(f2,11) ;(f23,11) ;(f26,11) ;(f30,11) ;(f40,11) ;(f44,11) ;(f5,11) ;(f59,11) ;(f69,11) ;(f71,11) ;(f74,11) ;(f9,11)} Rule Graph: [0->{13,14,16},1->{13,14,16},2->{3,30},3->{4,5,29},4->{4,5,27,28,29},5->{4,5,27,28,29},6->{7,25},7->{8,24} ,8->{8,24},9->{10,19,20},10->{10,19,20},11->{11,18},12->{13,14,16},13->{15,17},14->{15,17},15->{15,17} ,16->{26},17->{6,26},18->{0,1,12},19->{9,21,22,23},20->{9,21,22,23},21->{11,18},22->{11,18},23->{0,1,12} ,24->{7,25},25->{9,21,22,23},26->{},27->{3,30},28->{3,30},29->{3,30},30->{6,26}] ,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] | +- p:[3,27,4,5,28,29] c: [4] | | | `- p:[3,27,5,28,29] c: [5,27,28] | | | `- p:[3,29] c: [3,29] | `- p:[0,18,11,21,19,9,20,10,25,6,17,13,1,23,12,14,15,24,7,8,22] c: [11] | `- p:[0,18,21,19,9,20,10,25,6,17,13,1,23,12,14,15,24,7,8,22] c: [6,17] | +- p:[7,24,8] c: [7,24] | | | `- p:[8] c: [8] | +- p:[9,19,10,20] c: [10] | | | `- p:[9,19,20] c: [9,19,20] | `- p:[15] c: [15]) + Applied Processor: CloseWith True + Details: () YES