MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,1,D,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [A >= 1] (?,1) 1. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,1,D,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [0 >= D && 0 >= A] (?,1) 2. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,0,D,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [D >= 1 && 0 >= A] (?,1) 3. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [C >= E] (?,1) 4. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f33(A,B,C,D,E,Z,A1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [Z >= 1 && E >= 1 + C] (?,1) 5. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f33(A,B,C,D,E,Z,A1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [E >= 1 + C && 0 >= Z && 0 >= A1] (?,1) 6. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f39(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [H >= 1 + I] (?,1) 7. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f39(A,B,C,D,E,F,G,H,I,-1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [I >= H && 1 + J = 0] (?,1) 8. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f33(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [I >= H && 0 >= 2 + J] (?,1) 9. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f33(A,B,C,D,E,F,G,H,1 + I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [I >= H && J >= 0] (?,1) 10. f39(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [I >= H] (?,1) 11. f39(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f52(A,B,C,D,E,F,G,H,I,J,Z,Z,A1,B1,B1,P,Q,R,S,T,U,V,W,X,Y) [0 >= A1 && H >= 1 + I && 0 >= Z] (?,1) 12. f39(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f52(A,B,C,D,E,F,G,H,I,J,Z,Z,A1,C1,C1,B1,Q,R,S,T,U,V,W,X,Y) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 13. f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,3,Z,S,T,U,V,W,X,Y) [O >= 0 && 0 >= Z && Q = 3] (?,1) 14. f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,3,Z,S,T,U,V,W,X,Y) [O >= 0 && Z >= 2 && Q = 3] (?,1) 15. f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,Z,T,U,V,W,X,Y) [O >= 0 && 2 >= Q] (?,1) 16. f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,Z,T,U,V,W,X,Y) [O >= 0 && Q >= 4] (?,1) 17. f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,3,1,Z,T,U,V,W,X,Y) [O >= 0 && Q = 3] (?,1) 18. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f63(A,B,C,D,E,F,G,H,I,J,K,L,M,N,Z,P,Q,R,S,Z,U,V,W,X,Y) [10 >= S] (?,1) 19. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f63(A,B,C,D,E,F,G,H,I,J,K,L,M,N,Z,P,Q,R,10,Z,U,V,W,X,Y) [S >= 11] (?,1) 20. f63(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,B,1 + C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [0 >= 1 + O] (?,1) 21. f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,B,1 + C,D,E,Z,A1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [E >= 1 + C && 0 >= Z && A1 >= 1] (?,1) 22. f39(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,B,1 + C,D,E,F,G,H,I,J,Z,Z,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [H >= 1 + I && Z >= 1] (?,1) 23. f39(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,B,1 + C,D,E,F,G,H,I,J,Z,Z,A1,N,O,B1,Q,R,S,T,U,V,W,X,Y) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 24. f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,B,1 + C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [0 >= 1 + O] (?,1) 25. f63(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f26(A,B,1 + C,D,E,F,G,H,I,L,K,L,M,N,O,P,Q,R,S,T,1 + U,V,W,X,Y) [O >= 0] (?,1) 26. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) True (?,1) 27. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f71(0,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [0 >= U] (?,1) 28. f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f71(1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) [U >= 1] (?,1) 29. f73(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f76(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) True (?,1) 30. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f20(C1,B,C,A1,Z,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,0,3,1,B1,C1) [A1 >= 0 && B1 >= 1 && V = 3] (1,1) 31. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f20(C1,B,C,A1,Z,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,0,V,1,B1,C1) [2 >= V && A1 >= 0 && B1 >= 1] (1,1) 32. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y) -> f20(C1,B,C,A1,Z,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,0,V,1,B1,C1) [V >= 4 && A1 >= 0 && B1 >= 1] (1,1) Signature: {(f0,25) ;(f20,25) ;(f26,25) ;(f33,25) ;(f39,25) ;(f52,25) ;(f59,25) ;(f63,25) ;(f68,25) ;(f71,25) ;(f73,25) ;(f76,25)} Flow Graph: [0->{3,4,5,21},1->{3,4,5,21},2->{3,4,5,21},3->{27,28},4->{6,7,8,9},5->{6,7,8,9},6->{10,11,12,22,23},7->{10 ,11,12,22,23},8->{6,7,8,9},9->{6,7,8,9},10->{27,28},11->{13,14,15,16,17,24},12->{13,14,15,16,17,24},13->{27 ,28},14->{27,28},15->{18,19},16->{18,19},17->{18,19},18->{20,25},19->{20,25},20->{3,4,5,21},21->{3,4,5,21} ,22->{3,4,5,21},23->{3,4,5,21},24->{3,4,5,21},25->{3,4,5,21},26->{26},27->{26},28->{26},29->{},30->{0,1,2} ,31->{0,1,2},32->{0,1,2}] + Applied Processor: ArgumentFilter [1,5,6,10,11,12,13,15,17,19,22,23,24] + Details: We remove following argument positions: [1,5,6,10,11,12,13,15,17,19,22,23,24]. * Step 2: UnreachableRules MAYBE + Considered Problem: Rules: 0. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] (?,1) 1. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] (?,1) 2. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] (?,1) 3. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] (?,1) 4. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] (?,1) 5. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] (?,1) 6. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] (?,1) 7. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,-1,O,Q,S,U,V) [I >= H && 1 + J = 0] (?,1) 8. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && 0 >= 2 + J] (?,1) 9. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && J >= 0] (?,1) 10. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] (?,1) 11. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] (?,1) 12. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 13. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] (?,1) 14. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] (?,1) 15. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] (?,1) 16. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] (?,1) 17. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] (?,1) 18. f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] (?,1) 19. f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] (?,1) 20. f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] (?,1) 21. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] (?,1) 22. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] (?,1) 23. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 24. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] (?,1) 25. f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] (?,1) 26. f71(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(A,C,D,E,H,I,J,O,Q,S,U,V) True (?,1) 27. f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(0,C,D,E,H,I,J,O,Q,S,U,V) [0 >= U] (?,1) 28. f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(1,C,D,E,H,I,J,O,Q,S,U,V) [U >= 1] (?,1) 29. f73(A,C,D,E,H,I,J,O,Q,S,U,V) -> f76(A,C,D,E,H,I,J,O,Q,S,U,V) True (?,1) 30. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] (1,1) 31. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] (1,1) 32. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] (1,1) Signature: {(f0,25) ;(f20,25) ;(f26,25) ;(f33,25) ;(f39,25) ;(f52,25) ;(f59,25) ;(f63,25) ;(f68,25) ;(f71,25) ;(f73,25) ;(f76,25)} Flow Graph: [0->{3,4,5,21},1->{3,4,5,21},2->{3,4,5,21},3->{27,28},4->{6,7,8,9},5->{6,7,8,9},6->{10,11,12,22,23},7->{10 ,11,12,22,23},8->{6,7,8,9},9->{6,7,8,9},10->{27,28},11->{13,14,15,16,17,24},12->{13,14,15,16,17,24},13->{27 ,28},14->{27,28},15->{18,19},16->{18,19},17->{18,19},18->{20,25},19->{20,25},20->{3,4,5,21},21->{3,4,5,21} ,22->{3,4,5,21},23->{3,4,5,21},24->{3,4,5,21},25->{3,4,5,21},26->{26},27->{26},28->{26},29->{},30->{0,1,2} ,31->{0,1,2},32->{0,1,2}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [29] * Step 3: UnsatPaths MAYBE + Considered Problem: Rules: 0. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] (?,1) 1. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] (?,1) 2. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] (?,1) 3. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] (?,1) 4. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] (?,1) 5. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] (?,1) 6. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] (?,1) 7. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,-1,O,Q,S,U,V) [I >= H && 1 + J = 0] (?,1) 8. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && 0 >= 2 + J] (?,1) 9. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && J >= 0] (?,1) 10. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] (?,1) 11. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] (?,1) 12. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 13. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] (?,1) 14. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] (?,1) 15. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] (?,1) 16. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] (?,1) 17. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] (?,1) 18. f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] (?,1) 19. f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] (?,1) 20. f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] (?,1) 21. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] (?,1) 22. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] (?,1) 23. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 24. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] (?,1) 25. f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] (?,1) 26. f71(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(A,C,D,E,H,I,J,O,Q,S,U,V) True (?,1) 27. f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(0,C,D,E,H,I,J,O,Q,S,U,V) [0 >= U] (?,1) 28. f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(1,C,D,E,H,I,J,O,Q,S,U,V) [U >= 1] (?,1) 30. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] (1,1) 31. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] (1,1) 32. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] (1,1) Signature: {(f0,25) ;(f20,25) ;(f26,25) ;(f33,25) ;(f39,25) ;(f52,25) ;(f59,25) ;(f63,25) ;(f68,25) ;(f71,25) ;(f73,25) ;(f76,25)} Flow Graph: [0->{3,4,5,21},1->{3,4,5,21},2->{3,4,5,21},3->{27,28},4->{6,7,8,9},5->{6,7,8,9},6->{10,11,12,22,23},7->{10 ,11,12,22,23},8->{6,7,8,9},9->{6,7,8,9},10->{27,28},11->{13,14,15,16,17,24},12->{13,14,15,16,17,24},13->{27 ,28},14->{27,28},15->{18,19},16->{18,19},17->{18,19},18->{20,25},19->{20,25},20->{3,4,5,21},21->{3,4,5,21} ,22->{3,4,5,21},23->{3,4,5,21},24->{3,4,5,21},25->{3,4,5,21},26->{26},27->{26},28->{26},30->{0,1,2},31->{0,1 ,2},32->{0,1,2}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(6,10) ,(7,11) ,(7,12) ,(7,22) ,(7,23) ,(8,6) ,(8,7) ,(8,9) ,(9,6) ,(9,7) ,(9,8)] * Step 4: FromIts MAYBE + Considered Problem: Rules: 0. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] (?,1) 1. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] (?,1) 2. f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] (?,1) 3. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] (?,1) 4. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] (?,1) 5. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] (?,1) 6. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] (?,1) 7. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,-1,O,Q,S,U,V) [I >= H && 1 + J = 0] (?,1) 8. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && 0 >= 2 + J] (?,1) 9. f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && J >= 0] (?,1) 10. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] (?,1) 11. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] (?,1) 12. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 13. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] (?,1) 14. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] (?,1) 15. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] (?,1) 16. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] (?,1) 17. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] (?,1) 18. f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] (?,1) 19. f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] (?,1) 20. f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] (?,1) 21. f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] (?,1) 22. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] (?,1) 23. f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] (?,1) 24. f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] (?,1) 25. f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] (?,1) 26. f71(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(A,C,D,E,H,I,J,O,Q,S,U,V) True (?,1) 27. f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(0,C,D,E,H,I,J,O,Q,S,U,V) [0 >= U] (?,1) 28. f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(1,C,D,E,H,I,J,O,Q,S,U,V) [U >= 1] (?,1) 30. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] (1,1) 31. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] (1,1) 32. f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] (1,1) Signature: {(f0,25) ;(f20,25) ;(f26,25) ;(f33,25) ;(f39,25) ;(f52,25) ;(f59,25) ;(f63,25) ;(f68,25) ;(f71,25) ;(f73,25) ;(f76,25)} Flow Graph: [0->{3,4,5,21},1->{3,4,5,21},2->{3,4,5,21},3->{27,28},4->{6,7,8,9},5->{6,7,8,9},6->{11,12,22,23},7->{10} ,8->{8},9->{9},10->{27,28},11->{13,14,15,16,17,24},12->{13,14,15,16,17,24},13->{27,28},14->{27,28},15->{18 ,19},16->{18,19},17->{18,19},18->{20,25},19->{20,25},20->{3,4,5,21},21->{3,4,5,21},22->{3,4,5,21},23->{3,4,5 ,21},24->{3,4,5,21},25->{3,4,5,21},26->{26},27->{26},28->{26},30->{0,1,2},31->{0,1,2},32->{0,1,2}] + Applied Processor: FromIts + Details: () * Step 5: Unfold MAYBE + Considered Problem: Rules: f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39(A,C,D,E,H,I,-1,O,Q,S,U,V) [I >= H && 1 + J = 0] f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && 0 >= 2 + J] f33(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && J >= 0] f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] f59(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f52(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f71(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(A,C,D,E,H,I,J,O,Q,S,U,V) True f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(0,C,D,E,H,I,J,O,Q,S,U,V) [0 >= U] f68(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71(1,C,D,E,H,I,J,O,Q,S,U,V) [U >= 1] f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] Signature: {(f0,25) ;(f20,25) ;(f26,25) ;(f33,25) ;(f39,25) ;(f52,25) ;(f59,25) ;(f63,25) ;(f68,25) ;(f71,25) ;(f73,25) ;(f76,25)} Rule Graph: [0->{3,4,5,21},1->{3,4,5,21},2->{3,4,5,21},3->{27,28},4->{6,7,8,9},5->{6,7,8,9},6->{11,12,22,23},7->{10} ,8->{8},9->{9},10->{27,28},11->{13,14,15,16,17,24},12->{13,14,15,16,17,24},13->{27,28},14->{27,28},15->{18 ,19},16->{18,19},17->{18,19},18->{20,25},19->{20,25},20->{3,4,5,21},21->{3,4,5,21},22->{3,4,5,21},23->{3,4,5 ,21},24->{3,4,5,21},25->{3,4,5,21},26->{26},27->{26},28->{26},30->{0,1,2},31->{0,1,2},32->{0,1,2}] + Applied Processor: Unfold + Details: () * Step 6: AddSinks MAYBE + Considered Problem: Rules: f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f26.3(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] f26.3(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.7(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.7(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.7(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.10(A,C,D,E,H,I,-1,O,Q,S,U,V) [I >= H && 1 + J = 0] f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.8(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && 0 >= 2 + J] f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.9(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && J >= 0] f39.10(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] f39.10(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.13(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.14(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.15(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.16(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.17(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.24(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.13(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.14(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.15(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.16(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.17(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.24(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f52.13(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] f52.13(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] f52.14(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] f52.14(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] f52.15(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.18(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] f52.15(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.19(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] f52.16(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.18(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] f52.16(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.19(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] f52.17(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.18(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] f52.17(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.19(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] f59.18(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.20(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] f59.18(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.25(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] f59.19(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.20(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] f59.19(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.25(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) True f68.27(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71.26(0,C,D,E,H,I,J,O,Q,S,U,V) [0 >= U] f68.28(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71.26(1,C,D,E,H,I,J,O,Q,S,U,V) [U >= 1] f0.30(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.0(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0.30(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.1(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0.30(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.2(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0.31(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.0(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0.31(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.1(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0.31(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.2(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0.32(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.0(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] f0.32(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.1(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] f0.32(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.2(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] Signature: {(f0.30,12) ;(f0.31,12) ;(f0.32,12) ;(f20.0,12) ;(f20.1,12) ;(f20.2,12) ;(f26.21,12) ;(f26.3,12) ;(f26.4,12) ;(f26.5,12) ;(f33.6,12) ;(f33.7,12) ;(f33.8,12) ;(f33.9,12) ;(f39.10,12) ;(f39.11,12) ;(f39.12,12) ;(f39.22,12) ;(f39.23,12) ;(f52.13,12) ;(f52.14,12) ;(f52.15,12) ;(f52.16,12) ;(f52.17,12) ;(f52.24,12) ;(f59.18,12) ;(f59.19,12) ;(f63.20,12) ;(f63.25,12) ;(f68.27,12) ;(f68.28,12) ;(f71.26,12)} Rule Graph: [0->{12,13},1->{14,15,16,17},2->{18,19,20,21},3->{61,62,63,64},4->{12,13},5->{14,15,16,17},6->{18,19,20 ,21},7->{61,62,63,64},8->{12,13},9->{14,15,16,17},10->{18,19,20,21},11->{61,62,63,64},12->{82},13->{83} ,14->{22,23,24,25},15->{26},16->{27},17->{28},18->{22,23,24,25},19->{26},20->{27},21->{28},22->{31,32,33,34 ,35,36},23->{37,38,39,40,41,42},24->{65,66,67,68},25->{69,70,71,72},26->{29,30},27->{27},28->{28},29->{82} ,30->{83},31->{43,44},32->{45,46},33->{47,48},34->{49,50},35->{51,52},36->{73,74,75,76},37->{43,44},38->{45 ,46},39->{47,48},40->{49,50},41->{51,52},42->{73,74,75,76},43->{82},44->{83},45->{82},46->{83},47->{53,54} ,48->{55,56},49->{53,54},50->{55,56},51->{53,54},52->{55,56},53->{57,58,59,60},54->{77,78,79,80},55->{57,58 ,59,60},56->{77,78,79,80},57->{12,13},58->{14,15,16,17},59->{18,19,20,21},60->{61,62,63,64},61->{12,13} ,62->{14,15,16,17},63->{18,19,20,21},64->{61,62,63,64},65->{12,13},66->{14,15,16,17},67->{18,19,20,21} ,68->{61,62,63,64},69->{12,13},70->{14,15,16,17},71->{18,19,20,21},72->{61,62,63,64},73->{12,13},74->{14,15 ,16,17},75->{18,19,20,21},76->{61,62,63,64},77->{12,13},78->{14,15,16,17},79->{18,19,20,21},80->{61,62,63 ,64},81->{81},82->{81},83->{81},84->{0,1,2,3},85->{4,5,6,7},86->{8,9,10,11},87->{0,1,2,3},88->{4,5,6,7} ,89->{8,9,10,11},90->{0,1,2,3},91->{4,5,6,7},92->{8,9,10,11}] + Applied Processor: AddSinks + Details: () * Step 7: Failure MAYBE + Considered Problem: Rules: f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.0(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,D,D,E,H,I,J,O,Q,S,U,V) [A >= 1] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.1(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,D,D,E,H,I,J,O,Q,S,U,V) [0 >= D && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f20.2(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,D,D,E,H,I,J,O,Q,S,U,V) [D >= 1 && 0 >= A] f26.3(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] f26.3(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,Q,S,U,V) [C >= E] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.7(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.4(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) [Z >= 1 && E >= 1 + C] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.7(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f26.5(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && 0 >= A1] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.6(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I] f33.7(A,C,D,E,H,I,J,O,Q,S,U,V) -> f39.10(A,C,D,E,H,I,-1,O,Q,S,U,V) [I >= H && 1 + J = 0] f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.8(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && 0 >= 2 + J] f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> f33.9(A,C,D,E,H,1 + I,J,O,Q,S,U,V) [I >= H && J >= 0] f39.10(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] f39.10(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,Q,S,U,V) [I >= H] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.13(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.14(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.15(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.16(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.17(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.11(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.24(A,C,D,E,H,I,J,B1,Q,S,U,V) [0 >= A1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.13(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.14(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.15(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.16(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.17(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.12(A,C,D,E,H,I,J,O,Q,S,U,V) -> f52.24(A,C,D,E,H,I,J,C1,Q,S,U,V) [0 >= B1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f52.13(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] f52.13(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && 0 >= Z && Q = 3] f52.14(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.27(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] f52.14(A,C,D,E,H,I,J,O,Q,S,U,V) -> f68.28(A,C,D,E,H,I,J,O,3,S,U,V) [O >= 0 && Z >= 2 && Q = 3] f52.15(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.18(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] f52.15(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.19(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && 2 >= Q] f52.16(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.18(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] f52.16(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.19(A,C,D,E,H,I,J,O,Q,Z,U,V) [O >= 0 && Q >= 4] f52.17(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.18(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] f52.17(A,C,D,E,H,I,J,O,Q,S,U,V) -> f59.19(A,C,D,E,H,I,J,O,3,Z,U,V) [O >= 0 && Q = 3] f59.18(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.20(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] f59.18(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.25(A,C,D,E,H,I,J,Z,Q,S,U,V) [10 >= S] f59.19(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.20(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] f59.19(A,C,D,E,H,I,J,O,Q,S,U,V) -> f63.25(A,C,D,E,H,I,J,Z,Q,10,U,V) [S >= 11] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.20(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f26.21(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [E >= 1 + C && 0 >= Z && A1 >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.22(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [H >= 1 + I && Z >= 1] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f39.23(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [B1 >= 1 && A1 >= 1 && H >= 1 + I && 0 >= Z] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f52.24(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,J,O,Q,S,U,V) [0 >= 1 + O] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.3(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.4(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.5(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f63.25(A,C,D,E,H,I,J,O,Q,S,U,V) -> f26.21(A,1 + C,D,E,H,I,L,O,Q,S,1 + U,V) [O >= 0] f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) True f68.27(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71.26(0,C,D,E,H,I,J,O,Q,S,U,V) [0 >= U] f68.28(A,C,D,E,H,I,J,O,Q,S,U,V) -> f71.26(1,C,D,E,H,I,J,O,Q,S,U,V) [U >= 1] f0.30(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.0(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0.30(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.1(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0.30(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.2(C1,C,A1,Z,H,0,J,O,Q,S,0,3) [A1 >= 0 && B1 >= 1 && V = 3] f0.31(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.0(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0.31(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.1(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0.31(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.2(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [2 >= V && A1 >= 0 && B1 >= 1] f0.32(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.0(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] f0.32(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.1(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] f0.32(A,C,D,E,H,I,J,O,Q,S,U,V) -> f20.2(C1,C,A1,Z,H,0,J,O,Q,S,0,V) [V >= 4 && A1 >= 0 && B1 >= 1] f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.9(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f33.8(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True f71.26(A,C,D,E,H,I,J,O,Q,S,U,V) -> exitus616(A,C,D,E,H,I,J,O,Q,S,U,V) True Signature: {(exitus616,12) ;(f0.30,12) ;(f0.31,12) ;(f0.32,12) ;(f20.0,12) ;(f20.1,12) ;(f20.2,12) ;(f26.21,12) ;(f26.3,12) ;(f26.4,12) ;(f26.5,12) ;(f33.6,12) ;(f33.7,12) ;(f33.8,12) ;(f33.9,12) ;(f39.10,12) ;(f39.11,12) ;(f39.12,12) ;(f39.22,12) ;(f39.23,12) ;(f52.13,12) ;(f52.14,12) ;(f52.15,12) ;(f52.16,12) ;(f52.17,12) ;(f52.24,12) ;(f59.18,12) ;(f59.19,12) ;(f63.20,12) ;(f63.25,12) ;(f68.27,12) ;(f68.28,12) ;(f71.26,12)} Rule Graph: [0->{12,13},1->{14,15,16,17},2->{18,19,20,21},3->{61,62,63,64},4->{12,13},5->{14,15,16,17},6->{18,19,20 ,21},7->{61,62,63,64},8->{12,13},9->{14,15,16,17},10->{18,19,20,21},11->{61,62,63,64},12->{82},13->{83} ,14->{22,23,24,25},15->{26},16->{27},17->{28},18->{22,23,24,25},19->{26},20->{27},21->{28},22->{31,32,33,34 ,35,36},23->{37,38,39,40,41,42},24->{65,66,67,68},25->{69,70,71,72},26->{29,30},27->{27,102,112,130,140,158 ,168,188,198,216,226,244,254,274,284,302,312,330,340,360,370,388,398,416,426,446,456,474,484,502,512,532,542 ,560,570,588,598,618,628,646,656,674,684,704,714,732,742,760,770,790,800,818,828,846,856},28->{28,101,111 ,129,139,157,167,187,197,215,225,243,253,273,283,301,311,329,339,359,369,387,397,415,425,445,455,473,483,501 ,511,531,541,559,569,587,597,617,627,645,655,673,683,703,713,731,741,759,769,789,799,817,827,845,855} ,29->{82},30->{83},31->{43,44},32->{45,46},33->{47,48},34->{49,50},35->{51,52},36->{73,74,75,76},37->{43,44} ,38->{45,46},39->{47,48},40->{49,50},41->{51,52},42->{73,74,75,76},43->{82},44->{83},45->{82},46->{83} ,47->{53,54},48->{55,56},49->{53,54},50->{55,56},51->{53,54},52->{55,56},53->{57,58,59,60},54->{77,78,79,80} ,55->{57,58,59,60},56->{77,78,79,80},57->{12,13},58->{14,15,16,17},59->{18,19,20,21},60->{61,62,63,64} ,61->{12,13},62->{14,15,16,17},63->{18,19,20,21},64->{61,62,63,64},65->{12,13},66->{14,15,16,17},67->{18,19 ,20,21},68->{61,62,63,64},69->{12,13},70->{14,15,16,17},71->{18,19,20,21},72->{61,62,63,64},73->{12,13} ,74->{14,15,16,17},75->{18,19,20,21},76->{61,62,63,64},77->{12,13},78->{14,15,16,17},79->{18,19,20,21} ,80->{61,62,63,64},81->{81,93,94,95,96,97,98,99,100,103,104,105,106,107,108,109,110,113,114,115,116,117,118 ,119,120,121,122,123,124,125,126,127,128,131,132,133,134,135,136,137,138,141,142,143,144,145,146,147,148,149 ,150,151,152,153,154,155,156,159,160,161,162,163,164,165,166,169,170,171,172,173,174,175,176,177,178,179,180 ,181,182,183,184,185,186,189,190,191,192,193,194,195,196,199,200,201,202,203,204,205,206,207,208,209,210,211 ,212,213,214,217,218,219,220,221,222,223,224,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242 ,245,246,247,248,249,250,251,252,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,275 ,276,277,278,279,280,281,282,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,303,304,305,306 ,307,308,309,310,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,331,332,333,334,335,336,337 ,338,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,361,362,363,364,365,366,367,368 ,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,389,390,391,392,393,394,395,396,399,400,401 ,402,403,404,405,406,407,408,409,410,411,412,413,414,417,418,419,420,421,422,423,424,427,428,429,430,431,432 ,433,434,435,436,437,438,439,440,441,442,443,444,447,448,449,450,451,452,453,454,457,458,459,460,461,462,463 ,464,465,466,467,468,469,470,471,472,475,476,477,478,479,480,481,482,485,486,487,488,489,490,491,492,493,494 ,495,496,497,498,499,500,503,504,505,506,507,508,509,510,513,514,515,516,517,518,519,520,521,522,523,524,525 ,526,527,528,529,530,533,534,535,536,537,538,539,540,543,544,545,546,547,548,549,550,551,552,553,554,555,556 ,557,558,561,562,563,564,565,566,567,568,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,589 ,590,591,592,593,594,595,596,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,619,620 ,621,622,623,624,625,626,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,647,648,649,650,651 ,652,653,654,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,675,676,677,678,679,680,681,682 ,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,705,706,707,708,709,710,711,712,715 ,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,733,734,735,736,737,738,739,740,743,744,745,746 ,747,748,749,750,751,752,753,754,755,756,757,758,761,762,763,764,765,766,767,768,771,772,773,774,775,776,777 ,778,779,780,781,782,783,784,785,786,787,788,791,792,793,794,795,796,797,798,801,802,803,804,805,806,807,808 ,809,810,811,812,813,814,815,816,819,820,821,822,823,824,825,826,829,830,831,832,833,834,835,836,837,838,839 ,840,841,842,843,844,847,848,849,850,851,852,853,854,857,858,859,860,861,862,863,864,865,866},82->{81} ,83->{81},84->{0,1,2,3},85->{4,5,6,7},86->{8,9,10,11},87->{0,1,2,3},88->{4,5,6,7},89->{8,9,10,11},90->{0,1,2 ,3},91->{4,5,6,7},92->{8,9,10,11}] + 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,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866] | +- p:[14,58,53,47,33,22,18,59,55,48,39,23,50,34,40,52,35,41,63,60,64,68,24,72,25,76,36,42,80,54,49,51,56,67,71,75,79,62,66,70,74,78] c: [14,18,22,23,24,25,33,34,35,36,39,40,41,42,47,48,49,50,51,52,53,54,55,56,58,59,60,62,63,64,66,67,68,70,71,72,74,75,76,78,79,80] | +- p:[28] c: [] | +- p:[27] c: [] | `- p:[81] c: [] MAYBE