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