MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. 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,Z,A1,B1,C1,D1,E1) -> f78(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,Z,A1,B1,C1,D1,E1) [A = 0] (?,1) 1. f34(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,Z,A1,B1,C1,D1,E1) -> f39(A,B,1,B,F1,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + B] (?,1) 2. f34(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,Z,A1,B1,C1,D1,E1) -> f39(A,B,1,B,F1,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [B >= 1] (?,1) 3. 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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,E,10,F1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + E] (?,1) 4. 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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,E,10,F1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [E >= 1] (?,1) 5. 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,Z,A1,B1,C1,D1,E1) -> f64(A,B,C,D,E,F,G,H,I,I,0,F1,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + I] (?,1) 6. 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,Z,A1,B1,C1,D1,E1) -> f64(A,B,C,D,E,F,G,H,I,I,0,F1,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [I >= 1] (?,1) 7. f78(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,Z,A1,B1,C1,D1,E1) -> f82(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,Z,A1,B1,C1,D1,E1) [0 >= 1 + K] (?,1) 8. f78(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,Z,A1,B1,C1,D1,E1) -> f82(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,Z,A1,B1,C1,D1,E1) [K >= 1] (?,1) 9. f75(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,Z,A1,B1,C1,D1,E1) -> 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,Z,A1,B1,C1,D1,E1) [0 >= 1 + M] (?,1) 10. f75(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,Z,A1,B1,C1,D1,E1) -> 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,Z,A1,B1,C1,D1,E1) [M >= 1] (?,1) 11. f75(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,Z,A1,B1,C1,D1,E1) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,0,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [M = 0] (?,1) 12. 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,Z,A1,B1,C1,D1,E1) -> f78(A,B,C,D,E,F,G,H,I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + A] (?,1) 13. 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,Z,A1,B1,C1,D1,E1) -> f78(A,B,C,D,E,F,G,H,I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [A >= 1] (?,1) 14. f51(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [N >= 0] (?,1) 15. f51(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 2 + N] (?,1) 16. 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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,0,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [I = 0] (?,1) 17. f82(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [K = 0] (?,1) 18. f91(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,Z,A1,B1,C1,D1,E1) -> f91(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,Z,A1,B1,C1,D1,E1) True (?,1) 19. f34(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,Z,A1,B1,C1,D1,E1) -> f91(A,0,1,0,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [B = 0] (?,1) 20. 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,Z,A1,B1,C1,D1,E1) -> f91(A,B,1,D,0,0,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [E = 0] (?,1) 21. f93(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,Z,A1,B1,C1,D1,E1) -> f95(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,Z,A1,B1,C1,D1,E1) True (?,1) 22. f82(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + K] (?,1) 23. f82(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [K >= 1] (?,1) 24. f78(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,Z,A1,B1,C1,D1,E1) -> f82(A,B,C,D,E,F,G,H,I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [K = 0] (?,1) 25. f64(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,Z,A1,B1,C1,D1,E1) -> f82(A,B,C,D,E,F,G,H,I,J,K,L,M,N,L,F1,F1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + F1] (?,1) 26. f64(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,Z,A1,B1,C1,D1,E1) -> f82(A,B,C,D,E,F,G,H,I,J,K,L,M,N,L,F1,F1,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [F1 >= 1] (?,1) 27. f64(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,Z,A1,B1,C1,D1,E1) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,L,0,0,0,0,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) True (?,1) 28. f64(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,Z,A1,B1,C1,D1,E1) -> f75(A,B,C,D,E,F,G,H,I,J,K,L,M,N,L,0,0,F1,F1,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + F1] (?,1) 29. f64(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,Z,A1,B1,C1,D1,E1) -> f75(A,B,C,D,E,F,G,H,I,J,K,L,M,N,L,0,0,F1,F1,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1) [F1 >= 1] (?,1) 30. f51(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,Z,A1,B1,C1,D1,E1) -> f59(A,B,C,D,E,F,G,H,G1,J,K,L,M,-1,O,P,Q,R,S,F1,F1,V,W,X,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + F1 && 1 + N = 0] (?,1) 31. f51(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,Z,A1,B1,C1,D1,E1) -> f59(A,B,C,D,E,F,G,H,G1,J,K,L,M,-1,O,P,Q,R,S,F1,F1,V,W,X,Y,Z,A1,B1,C1,D1,E1) [F1 >= 1 && 1 + N = 0] (?,1) 32. f51(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,K,L,M,-1,O,P,Q,R,S,0,0,V,W,X,Y,Z,A1,B1,C1,D1,E1) [1 + N = 0] (?,1) 33. f44(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,Z,A1,B1,C1,D1,E1) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,H,O,P,Q,R,S,T,U,V,0,0,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + V] (?,1) 34. f44(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,Z,A1,B1,C1,D1,E1) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,H,O,P,Q,R,S,T,U,V,0,0,Y,Z,A1,B1,C1,D1,E1) [V >= 1] (?,1) 35. f44(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,Z,A1,B1,C1,D1,E1) -> f44(A,B,C,D,E,F,G,F1,I,J,K,L,M,H,O,P,Q,R,S,T,U,0,0,0,Y,Z,A1,B1,C1,D1,E1) [V = 0] (?,1) 36. f44(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,Z,A1,B1,C1,D1,E1) -> f91(A,B,1,D,E,F,G,H,I,J,K,L,M,H,O,P,Q,R,S,T,U,V,F1,F1,Y,Z,A1,B1,C1,D1,E1) [0 >= 1 + F1] (?,1) 37. f44(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,Z,A1,B1,C1,D1,E1) -> f91(A,B,1,D,E,F,G,H,I,J,K,L,M,H,O,P,Q,R,S,T,U,V,F1,F1,Y,Z,A1,B1,C1,D1,E1) [F1 >= 1] (?,1) 38. 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,Z,A1,B1,C1,D1,E1) -> f91(A,B,1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,I1,W,X,F1,F1,G1,G1,H1,I1,E1) [0 >= G1] (1,1) 39. 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,Z,A1,B1,C1,D1,E1) -> f34(A,K1,H1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,I1,W,X,F1,5,G1,G1,H1,I1,J1) [G1 >= 1 && 4 >= J1] (1,1) 40. 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,Z,A1,B1,C1,D1,E1) -> f34(A,K1,I1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,J1,W,X,F1,G1,H1,H1,I1,J1,G1) [H1 >= 1 && 20 >= G1 && G1 >= 5] (1,1) 41. 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,Z,A1,B1,C1,D1,E1) -> f34(A,K1,H1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,I1,W,X,F1,20,G1,G1,H1,I1,J1) [G1 >= 1 && J1 >= 21] (1,1) Signature: {(f0,31) ;(f34,31) ;(f39,31) ;(f44,31) ;(f51,31) ;(f59,31) ;(f64,31) ;(f75,31) ;(f76,31) ;(f78,31) ;(f82,31) ;(f91,31) ;(f93,31) ;(f95,31)} Flow Graph: [0->{7,8,24},1->{3,4,20},2->{3,4,20},3->{33,34,35,36,37},4->{33,34,35,36,37},5->{25,26,27,28,29},6->{25,26 ,27,28,29},7->{17,22,23},8->{17,22,23},9->{0,12,13},10->{0,12,13},11->{7,8,24},12->{7,8,24},13->{7,8,24} ,14->{33,34,35,36,37},15->{33,34,35,36,37},16->{33,34,35,36,37},17->{33,34,35,36,37},18->{18},19->{18} ,20->{18},21->{},22->{33,34,35,36,37},23->{33,34,35,36,37},24->{17,22,23},25->{17,22,23},26->{17,22,23} ,27->{7,8,24},28->{9,10,11},29->{9,10,11},30->{5,6,16},31->{5,6,16},32->{33,34,35,36,37},33->{14,15,30,31 ,32},34->{14,15,30,31,32},35->{33,34,35,36,37},36->{18},37->{18},38->{18},39->{1,2,19},40->{1,2,19},41->{1,2 ,19}] + Applied Processor: ArgumentFilter [2,3,5,6,7,9,11,14,15,16,17,18,19,20,22,23,24,25,26,27,28,29,30] + Details: We remove following argument positions: [2,3,5,6,7,9,11,14,15,16,17,18,19,20,22,23,24,25,26,27,28,29,30]. * Step 2: UnreachableRules MAYBE + Considered Problem: Rules: 0. f76(A,B,E,I,K,M,N,V) -> f78(0,B,E,I,K,M,N,V) [A = 0] (?,1) 1. f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [0 >= 1 + B] (?,1) 2. f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [B >= 1] (?,1) 3. f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + E] (?,1) 4. f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [E >= 1] (?,1) 5. f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [0 >= 1 + I] (?,1) 6. f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [I >= 1] (?,1) 7. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + K] (?,1) 8. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [K >= 1] (?,1) 9. f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [0 >= 1 + M] (?,1) 10. f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [M >= 1] (?,1) 11. f75(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,0,N,V) [M = 0] (?,1) 12. f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [0 >= 1 + A] (?,1) 13. f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [A >= 1] (?,1) 14. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [N >= 0] (?,1) 15. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 2 + N] (?,1) 16. f59(A,B,E,I,K,M,N,V) -> f44(A,B,E,0,K,M,N,V) [I = 0] (?,1) 17. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,0,M,N,V) [K = 0] (?,1) 18. f91(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,V) True (?,1) 19. f34(A,B,E,I,K,M,N,V) -> f91(A,0,E,I,K,M,N,V) [B = 0] (?,1) 20. f39(A,B,E,I,K,M,N,V) -> f91(A,B,0,I,K,M,N,V) [E = 0] (?,1) 21. f93(A,B,E,I,K,M,N,V) -> f95(A,B,E,I,K,M,N,V) True (?,1) 22. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + K] (?,1) 23. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [K >= 1] (?,1) 24. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,0,M,N,V) [K = 0] (?,1) 25. f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + F1] (?,1) 26. f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [F1 >= 1] (?,1) 27. f64(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,M,N,V) True (?,1) 28. f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [0 >= 1 + F1] (?,1) 29. f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [F1 >= 1] (?,1) 30. f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] (?,1) 31. f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] (?,1) 32. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,-1,V) [1 + N = 0] (?,1) 33. f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [0 >= 1 + V] (?,1) 34. f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [V >= 1] (?,1) 35. f44(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,H,0) [V = 0] (?,1) 36. f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [0 >= 1 + F1] (?,1) 37. f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [F1 >= 1] (?,1) 38. f0(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,I1) [0 >= G1] (1,1) 39. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] (1,1) 40. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] (1,1) 41. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] (1,1) Signature: {(f0,31) ;(f34,31) ;(f39,31) ;(f44,31) ;(f51,31) ;(f59,31) ;(f64,31) ;(f75,31) ;(f76,31) ;(f78,31) ;(f82,31) ;(f91,31) ;(f93,31) ;(f95,31)} Flow Graph: [0->{7,8,24},1->{3,4,20},2->{3,4,20},3->{33,34,35,36,37},4->{33,34,35,36,37},5->{25,26,27,28,29},6->{25,26 ,27,28,29},7->{17,22,23},8->{17,22,23},9->{0,12,13},10->{0,12,13},11->{7,8,24},12->{7,8,24},13->{7,8,24} ,14->{33,34,35,36,37},15->{33,34,35,36,37},16->{33,34,35,36,37},17->{33,34,35,36,37},18->{18},19->{18} ,20->{18},21->{},22->{33,34,35,36,37},23->{33,34,35,36,37},24->{17,22,23},25->{17,22,23},26->{17,22,23} ,27->{7,8,24},28->{9,10,11},29->{9,10,11},30->{5,6,16},31->{5,6,16},32->{33,34,35,36,37},33->{14,15,30,31 ,32},34->{14,15,30,31,32},35->{33,34,35,36,37},36->{18},37->{18},38->{18},39->{1,2,19},40->{1,2,19},41->{1,2 ,19}] + Applied Processor: UnreachableRules + Details: Following transitions are not reachable from the starting states and are revomed: [21] * Step 3: UnsatPaths MAYBE + Considered Problem: Rules: 0. f76(A,B,E,I,K,M,N,V) -> f78(0,B,E,I,K,M,N,V) [A = 0] (?,1) 1. f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [0 >= 1 + B] (?,1) 2. f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [B >= 1] (?,1) 3. f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + E] (?,1) 4. f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [E >= 1] (?,1) 5. f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [0 >= 1 + I] (?,1) 6. f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [I >= 1] (?,1) 7. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + K] (?,1) 8. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [K >= 1] (?,1) 9. f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [0 >= 1 + M] (?,1) 10. f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [M >= 1] (?,1) 11. f75(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,0,N,V) [M = 0] (?,1) 12. f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [0 >= 1 + A] (?,1) 13. f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [A >= 1] (?,1) 14. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [N >= 0] (?,1) 15. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 2 + N] (?,1) 16. f59(A,B,E,I,K,M,N,V) -> f44(A,B,E,0,K,M,N,V) [I = 0] (?,1) 17. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,0,M,N,V) [K = 0] (?,1) 18. f91(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,V) True (?,1) 19. f34(A,B,E,I,K,M,N,V) -> f91(A,0,E,I,K,M,N,V) [B = 0] (?,1) 20. f39(A,B,E,I,K,M,N,V) -> f91(A,B,0,I,K,M,N,V) [E = 0] (?,1) 22. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + K] (?,1) 23. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [K >= 1] (?,1) 24. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,0,M,N,V) [K = 0] (?,1) 25. f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + F1] (?,1) 26. f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [F1 >= 1] (?,1) 27. f64(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,M,N,V) True (?,1) 28. f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [0 >= 1 + F1] (?,1) 29. f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [F1 >= 1] (?,1) 30. f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] (?,1) 31. f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] (?,1) 32. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,-1,V) [1 + N = 0] (?,1) 33. f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [0 >= 1 + V] (?,1) 34. f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [V >= 1] (?,1) 35. f44(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,H,0) [V = 0] (?,1) 36. f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [0 >= 1 + F1] (?,1) 37. f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [F1 >= 1] (?,1) 38. f0(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,I1) [0 >= G1] (1,1) 39. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] (1,1) 40. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] (1,1) 41. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] (1,1) Signature: {(f0,31) ;(f34,31) ;(f39,31) ;(f44,31) ;(f51,31) ;(f59,31) ;(f64,31) ;(f75,31) ;(f76,31) ;(f78,31) ;(f82,31) ;(f91,31) ;(f93,31) ;(f95,31)} Flow Graph: [0->{7,8,24},1->{3,4,20},2->{3,4,20},3->{33,34,35,36,37},4->{33,34,35,36,37},5->{25,26,27,28,29},6->{25,26 ,27,28,29},7->{17,22,23},8->{17,22,23},9->{0,12,13},10->{0,12,13},11->{7,8,24},12->{7,8,24},13->{7,8,24} ,14->{33,34,35,36,37},15->{33,34,35,36,37},16->{33,34,35,36,37},17->{33,34,35,36,37},18->{18},19->{18} ,20->{18},22->{33,34,35,36,37},23->{33,34,35,36,37},24->{17,22,23},25->{17,22,23},26->{17,22,23},27->{7,8 ,24},28->{9,10,11},29->{9,10,11},30->{5,6,16},31->{5,6,16},32->{33,34,35,36,37},33->{14,15,30,31,32},34->{14 ,15,30,31,32},35->{33,34,35,36,37},36->{18},37->{18},38->{18},39->{1,2,19},40->{1,2,19},41->{1,2,19}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(7,17) ,(7,23) ,(8,17) ,(8,22) ,(12,7) ,(12,24) ,(13,7) ,(13,24) ,(24,22) ,(24,23) ,(35,33) ,(35,34)] * Step 4: FromIts MAYBE + Considered Problem: Rules: 0. f76(A,B,E,I,K,M,N,V) -> f78(0,B,E,I,K,M,N,V) [A = 0] (?,1) 1. f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [0 >= 1 + B] (?,1) 2. f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [B >= 1] (?,1) 3. f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + E] (?,1) 4. f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [E >= 1] (?,1) 5. f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [0 >= 1 + I] (?,1) 6. f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [I >= 1] (?,1) 7. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + K] (?,1) 8. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [K >= 1] (?,1) 9. f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [0 >= 1 + M] (?,1) 10. f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [M >= 1] (?,1) 11. f75(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,0,N,V) [M = 0] (?,1) 12. f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [0 >= 1 + A] (?,1) 13. f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [A >= 1] (?,1) 14. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [N >= 0] (?,1) 15. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 2 + N] (?,1) 16. f59(A,B,E,I,K,M,N,V) -> f44(A,B,E,0,K,M,N,V) [I = 0] (?,1) 17. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,0,M,N,V) [K = 0] (?,1) 18. f91(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,V) True (?,1) 19. f34(A,B,E,I,K,M,N,V) -> f91(A,0,E,I,K,M,N,V) [B = 0] (?,1) 20. f39(A,B,E,I,K,M,N,V) -> f91(A,B,0,I,K,M,N,V) [E = 0] (?,1) 22. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + K] (?,1) 23. f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [K >= 1] (?,1) 24. f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,0,M,N,V) [K = 0] (?,1) 25. f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + F1] (?,1) 26. f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [F1 >= 1] (?,1) 27. f64(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,M,N,V) True (?,1) 28. f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [0 >= 1 + F1] (?,1) 29. f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [F1 >= 1] (?,1) 30. f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] (?,1) 31. f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] (?,1) 32. f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,-1,V) [1 + N = 0] (?,1) 33. f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [0 >= 1 + V] (?,1) 34. f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [V >= 1] (?,1) 35. f44(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,H,0) [V = 0] (?,1) 36. f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [0 >= 1 + F1] (?,1) 37. f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [F1 >= 1] (?,1) 38. f0(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,I1) [0 >= G1] (1,1) 39. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] (1,1) 40. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] (1,1) 41. f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] (1,1) Signature: {(f0,31) ;(f34,31) ;(f39,31) ;(f44,31) ;(f51,31) ;(f59,31) ;(f64,31) ;(f75,31) ;(f76,31) ;(f78,31) ;(f82,31) ;(f91,31) ;(f93,31) ;(f95,31)} Flow Graph: [0->{7,8,24},1->{3,4,20},2->{3,4,20},3->{33,34,35,36,37},4->{33,34,35,36,37},5->{25,26,27,28,29},6->{25,26 ,27,28,29},7->{22},8->{23},9->{0,12,13},10->{0,12,13},11->{7,8,24},12->{8},13->{8},14->{33,34,35,36,37} ,15->{33,34,35,36,37},16->{33,34,35,36,37},17->{33,34,35,36,37},18->{18},19->{18},20->{18},22->{33,34,35,36 ,37},23->{33,34,35,36,37},24->{17},25->{17,22,23},26->{17,22,23},27->{7,8,24},28->{9,10,11},29->{9,10,11} ,30->{5,6,16},31->{5,6,16},32->{33,34,35,36,37},33->{14,15,30,31,32},34->{14,15,30,31,32},35->{35,36,37} ,36->{18},37->{18},38->{18},39->{1,2,19},40->{1,2,19},41->{1,2,19}] + Applied Processor: FromIts + Details: () * Step 5: Unfold MAYBE + Considered Problem: Rules: f76(A,B,E,I,K,M,N,V) -> f78(0,B,E,I,K,M,N,V) [A = 0] f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34(A,B,E,I,K,M,N,V) -> f39(A,B,F1,I,K,M,N,V) [B >= 1] f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [E >= 1] f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59(A,B,E,I,K,M,N,V) -> f64(A,B,E,I,0,M,N,V) [I >= 1] f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + K] f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [K >= 1] f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75(A,B,E,I,K,M,N,V) -> f76(A,B,E,I,K,M,N,V) [M >= 1] f75(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,0,N,V) [M = 0] f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [0 >= 1 + A] f76(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,1,M,N,V) [A >= 1] f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [N >= 0] f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 2 + N] f59(A,B,E,I,K,M,N,V) -> f44(A,B,E,0,K,M,N,V) [I = 0] f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,0,M,N,V) [K = 0] f91(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,V) True f34(A,B,E,I,K,M,N,V) -> f91(A,0,E,I,K,M,N,V) [B = 0] f39(A,B,E,I,K,M,N,V) -> f91(A,B,0,I,K,M,N,V) [E = 0] f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,N,V) [K >= 1] f78(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,0,M,N,V) [K = 0] f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64(A,B,E,I,K,M,N,V) -> f82(A,B,E,I,K,M,N,V) [F1 >= 1] f64(A,B,E,I,K,M,N,V) -> f78(A,B,E,I,K,M,N,V) True f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64(A,B,E,I,K,M,N,V) -> f75(A,B,E,I,K,M,N,V) [F1 >= 1] f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51(A,B,E,I,K,M,N,V) -> f59(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,-1,V) [1 + N = 0] f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44(A,B,E,I,K,M,N,V) -> f51(A,B,E,I,K,M,H,V) [V >= 1] f44(A,B,E,I,K,M,N,V) -> f44(A,B,E,I,K,M,H,0) [V = 0] f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [0 >= 1 + F1] f44(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,H,V) [F1 >= 1] f0(A,B,E,I,K,M,N,V) -> f91(A,B,E,I,K,M,N,I1) [0 >= G1] f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0(A,B,E,I,K,M,N,V) -> f34(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] Signature: {(f0,31) ;(f34,31) ;(f39,31) ;(f44,31) ;(f51,31) ;(f59,31) ;(f64,31) ;(f75,31) ;(f76,31) ;(f78,31) ;(f82,31) ;(f91,31) ;(f93,31) ;(f95,31)} Rule Graph: [0->{7,8,24},1->{3,4,20},2->{3,4,20},3->{33,34,35,36,37},4->{33,34,35,36,37},5->{25,26,27,28,29},6->{25,26 ,27,28,29},7->{22},8->{23},9->{0,12,13},10->{0,12,13},11->{7,8,24},12->{8},13->{8},14->{33,34,35,36,37} ,15->{33,34,35,36,37},16->{33,34,35,36,37},17->{33,34,35,36,37},18->{18},19->{18},20->{18},22->{33,34,35,36 ,37},23->{33,34,35,36,37},24->{17},25->{17,22,23},26->{17,22,23},27->{7,8,24},28->{9,10,11},29->{9,10,11} ,30->{5,6,16},31->{5,6,16},32->{33,34,35,36,37},33->{14,15,30,31,32},34->{14,15,30,31,32},35->{35,36,37} ,36->{18},37->{18},38->{18},39->{1,2,19},40->{1,2,19},41->{1,2,19}] + Applied Processor: Unfold + Details: () * Step 6: AddSinks MAYBE + Considered Problem: Rules: f76.0(A,B,E,I,K,M,N,V) -> f78.7(0,B,E,I,K,M,N,V) [A = 0] f76.0(A,B,E,I,K,M,N,V) -> f78.8(0,B,E,I,K,M,N,V) [A = 0] f76.0(A,B,E,I,K,M,N,V) -> f78.24(0,B,E,I,K,M,N,V) [A = 0] f34.1(A,B,E,I,K,M,N,V) -> f39.3(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34.1(A,B,E,I,K,M,N,V) -> f39.4(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34.1(A,B,E,I,K,M,N,V) -> f39.20(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34.2(A,B,E,I,K,M,N,V) -> f39.3(A,B,F1,I,K,M,N,V) [B >= 1] f34.2(A,B,E,I,K,M,N,V) -> f39.4(A,B,F1,I,K,M,N,V) [B >= 1] f34.2(A,B,E,I,K,M,N,V) -> f39.20(A,B,F1,I,K,M,N,V) [B >= 1] f39.3(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.4(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [E >= 1] f59.5(A,B,E,I,K,M,N,V) -> f64.25(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.26(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.27(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.28(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.29(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.6(A,B,E,I,K,M,N,V) -> f64.25(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.26(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.27(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.28(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.29(A,B,E,I,0,M,N,V) [I >= 1] f78.7(A,B,E,I,K,M,N,V) -> f82.22(A,B,E,I,K,M,N,V) [0 >= 1 + K] f78.8(A,B,E,I,K,M,N,V) -> f82.23(A,B,E,I,K,M,N,V) [K >= 1] f75.9(A,B,E,I,K,M,N,V) -> f76.0(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75.9(A,B,E,I,K,M,N,V) -> f76.12(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75.9(A,B,E,I,K,M,N,V) -> f76.13(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75.10(A,B,E,I,K,M,N,V) -> f76.0(A,B,E,I,K,M,N,V) [M >= 1] f75.10(A,B,E,I,K,M,N,V) -> f76.12(A,B,E,I,K,M,N,V) [M >= 1] f75.10(A,B,E,I,K,M,N,V) -> f76.13(A,B,E,I,K,M,N,V) [M >= 1] f75.11(A,B,E,I,K,M,N,V) -> f78.7(A,B,E,I,K,0,N,V) [M = 0] f75.11(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,K,0,N,V) [M = 0] f75.11(A,B,E,I,K,M,N,V) -> f78.24(A,B,E,I,K,0,N,V) [M = 0] f76.12(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,1,M,N,V) [0 >= 1 + A] f76.13(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,1,M,N,V) [A >= 1] f51.14(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [N >= 0] f51.15(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [0 >= 2 + N] f59.16(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,0,K,M,N,V) [I = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,0,M,N,V) [K = 0] f91.18(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,N,V) True f34.19(A,B,E,I,K,M,N,V) -> f91.18(A,0,E,I,K,M,N,V) [B = 0] f39.20(A,B,E,I,K,M,N,V) -> f91.18(A,B,0,I,K,M,N,V) [E = 0] f82.22(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.23(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [K >= 1] f78.24(A,B,E,I,K,M,N,V) -> f82.17(A,B,E,I,0,M,N,V) [K = 0] f64.25(A,B,E,I,K,M,N,V) -> f82.17(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.25(A,B,E,I,K,M,N,V) -> f82.22(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.25(A,B,E,I,K,M,N,V) -> f82.23(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.26(A,B,E,I,K,M,N,V) -> f82.17(A,B,E,I,K,M,N,V) [F1 >= 1] f64.26(A,B,E,I,K,M,N,V) -> f82.22(A,B,E,I,K,M,N,V) [F1 >= 1] f64.26(A,B,E,I,K,M,N,V) -> f82.23(A,B,E,I,K,M,N,V) [F1 >= 1] f64.27(A,B,E,I,K,M,N,V) -> f78.7(A,B,E,I,K,M,N,V) True f64.27(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,K,M,N,V) True f64.27(A,B,E,I,K,M,N,V) -> f78.24(A,B,E,I,K,M,N,V) True f64.28(A,B,E,I,K,M,N,V) -> f75.9(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.28(A,B,E,I,K,M,N,V) -> f75.10(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.28(A,B,E,I,K,M,N,V) -> f75.11(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.29(A,B,E,I,K,M,N,V) -> f75.9(A,B,E,I,K,M,N,V) [F1 >= 1] f64.29(A,B,E,I,K,M,N,V) -> f75.10(A,B,E,I,K,M,N,V) [F1 >= 1] f64.29(A,B,E,I,K,M,N,V) -> f75.11(A,B,E,I,K,M,N,V) [F1 >= 1] f51.30(A,B,E,I,K,M,N,V) -> f59.5(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51.30(A,B,E,I,K,M,N,V) -> f59.6(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51.30(A,B,E,I,K,M,N,V) -> f59.16(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51.31(A,B,E,I,K,M,N,V) -> f59.5(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51.31(A,B,E,I,K,M,N,V) -> f59.6(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51.31(A,B,E,I,K,M,N,V) -> f59.16(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,-1,V) [1 + N = 0] f44.33(A,B,E,I,K,M,N,V) -> f51.14(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.15(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.30(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.31(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.32(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.34(A,B,E,I,K,M,N,V) -> f51.14(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.15(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.30(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.31(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.32(A,B,E,I,K,M,H,V) [V >= 1] f44.35(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,H,0) [V = 0] f44.35(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,H,0) [V = 0] f44.35(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,H,0) [V = 0] f44.36(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,H,V) [0 >= 1 + F1] f44.37(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,H,V) [F1 >= 1] f0.38(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,N,I1) [0 >= G1] f0.39(A,B,E,I,K,M,N,V) -> f34.1(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0.39(A,B,E,I,K,M,N,V) -> f34.2(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0.39(A,B,E,I,K,M,N,V) -> f34.19(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0.40(A,B,E,I,K,M,N,V) -> f34.1(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0.40(A,B,E,I,K,M,N,V) -> f34.2(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0.40(A,B,E,I,K,M,N,V) -> f34.19(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0.41(A,B,E,I,K,M,N,V) -> f34.1(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] f0.41(A,B,E,I,K,M,N,V) -> f34.2(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] f0.41(A,B,E,I,K,M,N,V) -> f34.19(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] Signature: {(f0.38,8) ;(f0.39,8) ;(f0.40,8) ;(f0.41,8) ;(f34.1,8) ;(f34.19,8) ;(f34.2,8) ;(f39.20,8) ;(f39.3,8) ;(f39.4,8) ;(f44.33,8) ;(f44.34,8) ;(f44.35,8) ;(f44.36,8) ;(f44.37,8) ;(f51.14,8) ;(f51.15,8) ;(f51.30,8) ;(f51.31,8) ;(f51.32,8) ;(f59.16,8) ;(f59.5,8) ;(f59.6,8) ;(f64.25,8) ;(f64.26,8) ;(f64.27,8) ;(f64.28,8) ;(f64.29,8) ;(f75.10,8) ;(f75.11,8) ;(f75.9,8) ;(f76.0,8) ;(f76.12,8) ;(f76.13,8) ;(f78.24,8) ;(f78.7,8) ;(f78.8,8) ;(f82.17,8) ;(f82.22,8) ;(f82.23,8) ;(f91.18,8)} Rule Graph: [0->{29},1->{30},2->{75},3->{9,10,11,12,13},4->{14,15,16,17,18},5->{64},6->{9,10,11,12,13},7->{14,15,16,17 ,18},8->{64},9->{102,103,104,105,106},10->{107,108,109,110,111},11->{112,113,114},12->{115},13->{116} ,14->{102,103,104,105,106},15->{107,108,109,110,111},16->{112,113,114},17->{115},18->{116},19->{76,77,78} ,20->{79,80,81},21->{82,83,84},22->{85,86,87},23->{88,89,90},24->{76,77,78},25->{79,80,81},26->{82,83,84} ,27->{85,86,87},28->{88,89,90},29->{65,66,67,68,69},30->{70,71,72,73,74},31->{0,1,2},32->{40},33->{41} ,34->{0,1,2},35->{40},36->{41},37->{29},38->{30},39->{75},40->{30},41->{30},42->{102,103,104,105,106} ,43->{107,108,109,110,111},44->{112,113,114},45->{115},46->{116},47->{102,103,104,105,106},48->{107,108,109 ,110,111},49->{112,113,114},50->{115},51->{116},52->{102,103,104,105,106},53->{107,108,109,110,111},54->{112 ,113,114},55->{115},56->{116},57->{102,103,104,105,106},58->{107,108,109,110,111},59->{112,113,114} ,60->{115},61->{116},62->{62},63->{62},64->{62},65->{102,103,104,105,106},66->{107,108,109,110,111},67->{112 ,113,114},68->{115},69->{116},70->{102,103,104,105,106},71->{107,108,109,110,111},72->{112,113,114} ,73->{115},74->{116},75->{57,58,59,60,61},76->{57,58,59,60,61},77->{65,66,67,68,69},78->{70,71,72,73,74} ,79->{57,58,59,60,61},80->{65,66,67,68,69},81->{70,71,72,73,74},82->{29},83->{30},84->{75},85->{31,32,33} ,86->{34,35,36},87->{37,38,39},88->{31,32,33},89->{34,35,36},90->{37,38,39},91->{19,20,21,22,23},92->{24,25 ,26,27,28},93->{52,53,54,55,56},94->{19,20,21,22,23},95->{24,25,26,27,28},96->{52,53,54,55,56},97->{102,103 ,104,105,106},98->{107,108,109,110,111},99->{112,113,114},100->{115},101->{116},102->{42,43,44,45,46} ,103->{47,48,49,50,51},104->{91,92,93},105->{94,95,96},106->{97,98,99,100,101},107->{42,43,44,45,46} ,108->{47,48,49,50,51},109->{91,92,93},110->{94,95,96},111->{97,98,99,100,101},112->{112,113,114},113->{115} ,114->{116},115->{62},116->{62},117->{62},118->{3,4,5},119->{6,7,8},120->{63},121->{3,4,5},122->{6,7,8} ,123->{63},124->{3,4,5},125->{6,7,8},126->{63}] + Applied Processor: AddSinks + Details: () * Step 7: Failure MAYBE + Considered Problem: Rules: f76.0(A,B,E,I,K,M,N,V) -> f78.7(0,B,E,I,K,M,N,V) [A = 0] f76.0(A,B,E,I,K,M,N,V) -> f78.8(0,B,E,I,K,M,N,V) [A = 0] f76.0(A,B,E,I,K,M,N,V) -> f78.24(0,B,E,I,K,M,N,V) [A = 0] f34.1(A,B,E,I,K,M,N,V) -> f39.3(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34.1(A,B,E,I,K,M,N,V) -> f39.4(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34.1(A,B,E,I,K,M,N,V) -> f39.20(A,B,F1,I,K,M,N,V) [0 >= 1 + B] f34.2(A,B,E,I,K,M,N,V) -> f39.3(A,B,F1,I,K,M,N,V) [B >= 1] f34.2(A,B,E,I,K,M,N,V) -> f39.4(A,B,F1,I,K,M,N,V) [B >= 1] f34.2(A,B,E,I,K,M,N,V) -> f39.20(A,B,F1,I,K,M,N,V) [B >= 1] f39.3(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.3(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [0 >= 1 + E] f39.4(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [E >= 1] f39.4(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [E >= 1] f59.5(A,B,E,I,K,M,N,V) -> f64.25(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.26(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.27(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.28(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.5(A,B,E,I,K,M,N,V) -> f64.29(A,B,E,I,0,M,N,V) [0 >= 1 + I] f59.6(A,B,E,I,K,M,N,V) -> f64.25(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.26(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.27(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.28(A,B,E,I,0,M,N,V) [I >= 1] f59.6(A,B,E,I,K,M,N,V) -> f64.29(A,B,E,I,0,M,N,V) [I >= 1] f78.7(A,B,E,I,K,M,N,V) -> f82.22(A,B,E,I,K,M,N,V) [0 >= 1 + K] f78.8(A,B,E,I,K,M,N,V) -> f82.23(A,B,E,I,K,M,N,V) [K >= 1] f75.9(A,B,E,I,K,M,N,V) -> f76.0(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75.9(A,B,E,I,K,M,N,V) -> f76.12(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75.9(A,B,E,I,K,M,N,V) -> f76.13(A,B,E,I,K,M,N,V) [0 >= 1 + M] f75.10(A,B,E,I,K,M,N,V) -> f76.0(A,B,E,I,K,M,N,V) [M >= 1] f75.10(A,B,E,I,K,M,N,V) -> f76.12(A,B,E,I,K,M,N,V) [M >= 1] f75.10(A,B,E,I,K,M,N,V) -> f76.13(A,B,E,I,K,M,N,V) [M >= 1] f75.11(A,B,E,I,K,M,N,V) -> f78.7(A,B,E,I,K,0,N,V) [M = 0] f75.11(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,K,0,N,V) [M = 0] f75.11(A,B,E,I,K,M,N,V) -> f78.24(A,B,E,I,K,0,N,V) [M = 0] f76.12(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,1,M,N,V) [0 >= 1 + A] f76.13(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,1,M,N,V) [A >= 1] f51.14(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [N >= 0] f51.14(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [N >= 0] f51.15(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [0 >= 2 + N] f51.15(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [0 >= 2 + N] f59.16(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,0,K,M,N,V) [I = 0] f59.16(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,0,K,M,N,V) [I = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,0,M,N,V) [K = 0] f82.17(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,0,M,N,V) [K = 0] f91.18(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,N,V) True f34.19(A,B,E,I,K,M,N,V) -> f91.18(A,0,E,I,K,M,N,V) [B = 0] f39.20(A,B,E,I,K,M,N,V) -> f91.18(A,B,0,I,K,M,N,V) [E = 0] f82.22(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.22(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [0 >= 1 + K] f82.23(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,N,V) [K >= 1] f82.23(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,N,V) [K >= 1] f78.24(A,B,E,I,K,M,N,V) -> f82.17(A,B,E,I,0,M,N,V) [K = 0] f64.25(A,B,E,I,K,M,N,V) -> f82.17(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.25(A,B,E,I,K,M,N,V) -> f82.22(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.25(A,B,E,I,K,M,N,V) -> f82.23(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.26(A,B,E,I,K,M,N,V) -> f82.17(A,B,E,I,K,M,N,V) [F1 >= 1] f64.26(A,B,E,I,K,M,N,V) -> f82.22(A,B,E,I,K,M,N,V) [F1 >= 1] f64.26(A,B,E,I,K,M,N,V) -> f82.23(A,B,E,I,K,M,N,V) [F1 >= 1] f64.27(A,B,E,I,K,M,N,V) -> f78.7(A,B,E,I,K,M,N,V) True f64.27(A,B,E,I,K,M,N,V) -> f78.8(A,B,E,I,K,M,N,V) True f64.27(A,B,E,I,K,M,N,V) -> f78.24(A,B,E,I,K,M,N,V) True f64.28(A,B,E,I,K,M,N,V) -> f75.9(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.28(A,B,E,I,K,M,N,V) -> f75.10(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.28(A,B,E,I,K,M,N,V) -> f75.11(A,B,E,I,K,M,N,V) [0 >= 1 + F1] f64.29(A,B,E,I,K,M,N,V) -> f75.9(A,B,E,I,K,M,N,V) [F1 >= 1] f64.29(A,B,E,I,K,M,N,V) -> f75.10(A,B,E,I,K,M,N,V) [F1 >= 1] f64.29(A,B,E,I,K,M,N,V) -> f75.11(A,B,E,I,K,M,N,V) [F1 >= 1] f51.30(A,B,E,I,K,M,N,V) -> f59.5(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51.30(A,B,E,I,K,M,N,V) -> f59.6(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51.30(A,B,E,I,K,M,N,V) -> f59.16(A,B,E,G1,K,M,-1,V) [0 >= 1 + F1 && 1 + N = 0] f51.31(A,B,E,I,K,M,N,V) -> f59.5(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51.31(A,B,E,I,K,M,N,V) -> f59.6(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51.31(A,B,E,I,K,M,N,V) -> f59.16(A,B,E,G1,K,M,-1,V) [F1 >= 1 && 1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.33(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.34(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,-1,V) [1 + N = 0] f51.32(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,-1,V) [1 + N = 0] f44.33(A,B,E,I,K,M,N,V) -> f51.14(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.15(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.30(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.31(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.33(A,B,E,I,K,M,N,V) -> f51.32(A,B,E,I,K,M,H,V) [0 >= 1 + V] f44.34(A,B,E,I,K,M,N,V) -> f51.14(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.15(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.30(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.31(A,B,E,I,K,M,H,V) [V >= 1] f44.34(A,B,E,I,K,M,N,V) -> f51.32(A,B,E,I,K,M,H,V) [V >= 1] f44.35(A,B,E,I,K,M,N,V) -> f44.35(A,B,E,I,K,M,H,0) [V = 0] f44.35(A,B,E,I,K,M,N,V) -> f44.36(A,B,E,I,K,M,H,0) [V = 0] f44.35(A,B,E,I,K,M,N,V) -> f44.37(A,B,E,I,K,M,H,0) [V = 0] f44.36(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,H,V) [0 >= 1 + F1] f44.37(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,H,V) [F1 >= 1] f0.38(A,B,E,I,K,M,N,V) -> f91.18(A,B,E,I,K,M,N,I1) [0 >= G1] f0.39(A,B,E,I,K,M,N,V) -> f34.1(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0.39(A,B,E,I,K,M,N,V) -> f34.2(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0.39(A,B,E,I,K,M,N,V) -> f34.19(A,K1,E,I,K,M,N,I1) [G1 >= 1 && 4 >= J1] f0.40(A,B,E,I,K,M,N,V) -> f34.1(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0.40(A,B,E,I,K,M,N,V) -> f34.2(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0.40(A,B,E,I,K,M,N,V) -> f34.19(A,K1,E,I,K,M,N,J1) [H1 >= 1 && 20 >= G1 && G1 >= 5] f0.41(A,B,E,I,K,M,N,V) -> f34.1(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] f0.41(A,B,E,I,K,M,N,V) -> f34.2(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] f0.41(A,B,E,I,K,M,N,V) -> f34.19(A,K1,E,I,K,M,N,I1) [G1 >= 1 && J1 >= 21] f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True f91.18(A,B,E,I,K,M,N,V) -> exitus616(A,B,E,I,K,M,N,V) True Signature: {(exitus616,8) ;(f0.38,8) ;(f0.39,8) ;(f0.40,8) ;(f0.41,8) ;(f34.1,8) ;(f34.19,8) ;(f34.2,8) ;(f39.20,8) ;(f39.3,8) ;(f39.4,8) ;(f44.33,8) ;(f44.34,8) ;(f44.35,8) ;(f44.36,8) ;(f44.37,8) ;(f51.14,8) ;(f51.15,8) ;(f51.30,8) ;(f51.31,8) ;(f51.32,8) ;(f59.16,8) ;(f59.5,8) ;(f59.6,8) ;(f64.25,8) ;(f64.26,8) ;(f64.27,8) ;(f64.28,8) ;(f64.29,8) ;(f75.10,8) ;(f75.11,8) ;(f75.9,8) ;(f76.0,8) ;(f76.12,8) ;(f76.13,8) ;(f78.24,8) ;(f78.7,8) ;(f78.8,8) ;(f82.17,8) ;(f82.22,8) ;(f82.23,8) ;(f91.18,8)} Rule Graph: [0->{29},1->{30},2->{75},3->{9,10,11,12,13},4->{14,15,16,17,18},5->{64},6->{9,10,11,12,13},7->{14,15,16,17 ,18},8->{64},9->{102,103,104,105,106},10->{107,108,109,110,111},11->{112,113,114},12->{115},13->{116} ,14->{102,103,104,105,106},15->{107,108,109,110,111},16->{112,113,114},17->{115},18->{116},19->{76,77,78} ,20->{79,80,81},21->{82,83,84},22->{85,86,87},23->{88,89,90},24->{76,77,78},25->{79,80,81},26->{82,83,84} ,27->{85,86,87},28->{88,89,90},29->{65,66,67,68,69},30->{70,71,72,73,74},31->{0,1,2},32->{40},33->{41} ,34->{0,1,2},35->{40},36->{41},37->{29},38->{30},39->{75},40->{30},41->{30},42->{102,103,104,105,106} ,43->{107,108,109,110,111},44->{112,113,114},45->{115},46->{116},47->{102,103,104,105,106},48->{107,108,109 ,110,111},49->{112,113,114},50->{115},51->{116},52->{102,103,104,105,106},53->{107,108,109,110,111},54->{112 ,113,114},55->{115},56->{116},57->{102,103,104,105,106},58->{107,108,109,110,111},59->{112,113,114} ,60->{115},61->{116},62->{62,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},63->{62},64->{62},65->{102,103,104,105,106},66->{107,108,109,110,111} ,67->{112,113,114},68->{115},69->{116},70->{102,103,104,105,106},71->{107,108,109,110,111},72->{112,113,114} ,73->{115},74->{116},75->{57,58,59,60,61},76->{57,58,59,60,61},77->{65,66,67,68,69},78->{70,71,72,73,74} ,79->{57,58,59,60,61},80->{65,66,67,68,69},81->{70,71,72,73,74},82->{29},83->{30},84->{75},85->{31,32,33} ,86->{34,35,36},87->{37,38,39},88->{31,32,33},89->{34,35,36},90->{37,38,39},91->{19,20,21,22,23},92->{24,25 ,26,27,28},93->{52,53,54,55,56},94->{19,20,21,22,23},95->{24,25,26,27,28},96->{52,53,54,55,56},97->{102,103 ,104,105,106},98->{107,108,109,110,111},99->{112,113,114},100->{115},101->{116},102->{42,43,44,45,46} ,103->{47,48,49,50,51},104->{91,92,93},105->{94,95,96},106->{97,98,99,100,101},107->{42,43,44,45,46} ,108->{47,48,49,50,51},109->{91,92,93},110->{94,95,96},111->{97,98,99,100,101},112->{112,113,114},113->{115} ,114->{116},115->{62},116->{62},117->{62},118->{3,4,5},119->{6,7,8},120->{63},121->{3,4,5},122->{6,7,8} ,123->{63},124->{3,4,5},125->{6,7,8},126->{63}] + 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] | +- p:[0,31,85,22,91,104,42,102,47,103,52,93,109,43,107,48,108,53,96,105,57,75,2,34,86,27,92,95,110,58,76,19,94,24,79,20,25,66,29,37,87,90,23,28,82,21,26,77,80,71,30,1,38,40,32,88,35,89,41,33,36,83,78,81,98,106,65,70,97,111,39,84] c: [] | +- p:[112] c: [] | `- p:[62] c: [] MAYBE