YES(?,O(1)) * Step 1: TrivialSCCs WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + B] (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + A] (1,1) 2. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + B] (?,1) 3. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + C] (?,1) 4. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + B] (?,1) 5. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + D] (?,1) 6. f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + B] (?,1) 7. f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + E] (?,1) 8. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + B] (?,1) 9. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + F] (?,1) 10. f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + B] (?,1) 11. f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + G] (?,1) 12. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 13. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 14. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + A] (?,1) 15. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + C] (?,1) 16. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + A] (?,1) 17. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + D] (?,1) 18. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + A] (?,1) 19. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + E] (?,1) 20. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + A] (?,1) 21. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + F] (?,1) 22. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + A] (?,1) 23. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + G] (?,1) 24. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 25. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 26. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + C] (?,1) 27. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + D] (?,1) 28. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + C] (?,1) 29. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + E] (?,1) 30. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + C] (?,1) 31. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + F] (?,1) 32. f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + C] (?,1) 33. f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + G] (?,1) 34. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 35. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 36. f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + D] (?,1) 37. f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + E] (?,1) 38. f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + D] (?,1) 39. f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + F] (?,1) 40. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + D] (?,1) 41. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + G] (?,1) 42. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 43. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 44. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + E] (?,1) 45. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + F] (?,1) 46. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + E] (?,1) 47. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + G] (?,1) 48. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 49. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 50. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + F] (?,1) 51. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + G] (?,1) 52. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 53. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 54. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + E] (?,1) 55. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1] (?,1) 56. f108(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (?,1) 57. f108(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (?,1) 58. f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + I] (?,1) 59. f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [I >= 1] (?,1) 60. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + J] (?,1) 61. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [J >= 1] (?,1) 62. f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,G,1,I,J,K,1,M,N,O,P,Q,R,S,T,U,V) [K >= 1 + B] (?,1) 63. f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,G,1,I,J,K,1,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + K] (?,1) 64. f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,G,0,I,J,B,0,M,N,O,P,Q,R,S,T,U,V) [B = K] (?,1) 65. f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,B,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = G] (?,1) 66. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,B,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = F] (?,1) 67. f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,B,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = E] (?,1) 68. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,B,E,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = D] (?,1) 69. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,B,D,E,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = C] (?,1) 70. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(B,B,C,D,E,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = A] (1,1) 71. f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,1,I,J,K,L,1,N,O,P,Q,R,S,T,U,V) [K >= 1 + A] (?,1) 72. f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,1,I,J,K,L,1,N,O,P,Q,R,S,T,U,V) [A >= 1 + K] (?,1) 73. f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,0,I,J,A,L,0,N,O,P,Q,R,S,T,U,V) [A = K] (?,1) 74. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,A,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = G] (?,1) 75. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,A,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = F] (?,1) 76. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,A,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = E] (?,1) 77. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,A,E,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = D] (?,1) 78. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,A,D,E,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = C] (?,1) 79. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [H = 0] (?,1) 80. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,1,I,J,K,L,M,1,O,P,Q,R,S,T,U,V) [K >= 1 + C] (?,1) 81. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,1,I,J,K,L,M,1,O,P,Q,R,S,T,U,V) [C >= 1 + K] (?,1) 82. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,0,I,J,C,L,M,0,O,P,Q,R,S,T,U,V) [C = K] (?,1) 83. f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,C,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = G] (?,1) 84. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,C,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = F] (?,1) 85. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,C,F,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = E] (?,1) 86. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,C,E,F,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = D] (?,1) 87. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [H = 0] (?,1) 88. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,1,I,J,K,L,M,N,1,P,Q,R,S,T,U,V) [K >= 1 + D] (?,1) 89. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,1,I,J,K,L,M,N,1,P,Q,R,S,T,U,V) [D >= 1 + K] (?,1) 90. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,0,I,J,D,L,M,N,0,P,Q,R,S,T,U,V) [D = K] (?,1) 91. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,D,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [D = G] (?,1) 92. f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,D,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [D = F] (?,1) 93. f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,D,F,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [D = E] (?,1) 94. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [H = 0] (?,1) 95. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,1,Q,R,S,T,U,V) [K >= 1 + E] (?,1) 96. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,1,Q,R,S,T,U,V) [E >= 1 + K] (?,1) 97. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,0,I,J,E,L,M,N,O,0,Q,R,S,T,U,V) [E = K] (?,1) 98. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,E,0,I,J,K,L,M,N,O,0,Q,R,S,T,U,V) [E = G] (?,1) 99. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,E,G,0,I,J,K,L,M,N,O,0,Q,R,S,T,U,V) [E = F] (?,1) 100. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,0,Q,R,S,T,U,V) [H = 0] (?,1) 101. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,1,R,S,T,U,V) [K >= 1 + F] (?,1) 102. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,1,R,S,T,U,V) [F >= 1 + K] (?,1) 103. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,0,I,J,F,L,M,N,O,P,0,R,S,T,U,V) [F = K] (?,1) 104. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,F,0,I,J,K,L,M,N,O,P,0,R,S,T,U,V) [F = G] (?,1) 105. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,0,R,S,T,U,V) [H = 0] (?,1) 106. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q,1,S,T,U,V) [K >= 1 + G] (?,1) 107. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q,1,S,T,U,V) [G >= 1 + K] (?,1) 108. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,0,I,J,G,L,M,N,O,P,Q,0,S,T,U,V) [G = K] (?,1) 109. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,0,S,T,U,V) [H = 0] (?,1) 110. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,1,T,U,V) [9 >= K && 9 >= G && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (?,1) 111. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [K >= 10 && 9 >= G && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (?,1) 112. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [G >= 10 && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (?,1) 113. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [F >= 10 && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (?,1) 114. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [E >= 10 && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (?,1) 115. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [D >= 10 && 9 >= C && 9 >= B && 9 >= A] (?,1) 116. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [C >= 10 && 9 >= B && 9 >= A] (?,1) 117. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [9 >= B && A >= 10] (?,1) 118. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [B >= 10] (?,1) 119. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,B,C,D,E,F,G,H,I,1,K,L,M,N,O,P,Q,R,S,1,W,V) [0 >= 1 + B] (?,1) 120. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,B,C,D,E,F,G,H,I,1,K,L,M,N,O,P,Q,R,S,1,W,V) [B >= 1] (?,1) 121. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,0,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,0,W,V) [B = 0] (?,1) 122. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,B,C,D,0,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,0,W,V) [E = 0] (?,1) 123. f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [0 >= 1 + U] (?,1) 124. f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [U >= 1] (?,1) 125. f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,1) [U = 0] (?,1) 126. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,1) [J = 0] (?,1) 127. f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,1) [I = 0] (?,1) 128. f108(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,1) [H = 0] (?,1) Signature: {(f0,22) ;(f101,22) ;(f102,22) ;(f108,22) ;(f109,22) ;(f110,22) ;(f111,22) ;(f119,22) ;(f17,22) ;(f18,22) ;(f19,22) ;(f2,22) ;(f20,22) ;(f21,22) ;(f22,22) ;(f23,22) ;(f3,22) ;(f33,22) ;(f34,22) ;(f35,22) ;(f36,22) ;(f37,22) ;(f38,22) ;(f4,22) ;(f47,22) ;(f48,22) ;(f49,22) ;(f5,22) ;(f50,22) ;(f51,22) ;(f59,22) ;(f6,22) ;(f60,22) ;(f61,22) ;(f62,22) ;(f69,22) ;(f7,22) ;(f70,22) ;(f71,22) ;(f77,22) ;(f78,22) ;(f83,22)} Flow Graph: [0->{2,3,69},1->{2,3,69},2->{4,5,68},3->{4,5,68},4->{6,7,67},5->{6,7,67},6->{8,9,66},7->{8,9,66},8->{10,11 ,65},9->{10,11,65},10->{62,63,64},11->{62,63,64},12->{14,15,78},13->{14,15,78},14->{16,17,77},15->{16,17,77} ,16->{18,19,76},17->{18,19,76},18->{20,21,75},19->{20,21,75},20->{22,23,74},21->{22,23,74},22->{71,72,73} ,23->{71,72,73},24->{26,27,86},25->{26,27,86},26->{28,29,85},27->{28,29,85},28->{30,31,84},29->{30,31,84} ,30->{32,33,83},31->{32,33,83},32->{80,81,82},33->{80,81,82},34->{36,37,93},35->{36,37,93},36->{38,39,92} ,37->{38,39,92},38->{40,41,91},39->{40,41,91},40->{88,89,90},41->{88,89,90},42->{44,45,99},43->{44,45,99} ,44->{46,47,98},45->{46,47,98},46->{95,96,97},47->{95,96,97},48->{50,51,104},49->{50,51,104},50->{101,102 ,103},51->{101,102,103},52->{106,107,108},53->{106,107,108},54->{119,120,121},55->{119,120,121},56->{58,59 ,127},57->{58,59,127},58->{60,61,126},59->{60,61,126},60->{123,124,125},61->{123,124,125},62->{12,13,79} ,63->{12,13,79},64->{12,13,79},65->{12,13,79},66->{12,13,79},67->{12,13,79},68->{12,13,79},69->{12,13,79} ,70->{12,13,79},71->{24,25,87},72->{24,25,87},73->{24,25,87},74->{24,25,87},75->{24,25,87},76->{24,25,87} ,77->{24,25,87},78->{24,25,87},79->{24,25,87},80->{34,35,94},81->{34,35,94},82->{34,35,94},83->{34,35,94} ,84->{34,35,94},85->{34,35,94},86->{34,35,94},87->{34,35,94},88->{42,43,100},89->{42,43,100},90->{42,43,100} ,91->{42,43,100},92->{42,43,100},93->{42,43,100},94->{42,43,100},95->{48,49,105},96->{48,49,105},97->{48,49 ,105},98->{48,49,105},99->{48,49,105},100->{48,49,105},101->{52,53,109},102->{52,53,109},103->{52,53,109} ,104->{52,53,109},105->{52,53,109},106->{110,111,112,113,114,115,116,117,118},107->{110,111,112,113,114,115 ,116,117,118},108->{110,111,112,113,114,115,116,117,118},109->{110,111,112,113,114,115,116,117,118},110->{54 ,55,122},111->{54,55,122},112->{54,55,122},113->{54,55,122},114->{54,55,122},115->{54,55,122},116->{54,55 ,122},117->{54,55,122},118->{54,55,122},119->{56,57,128},120->{56,57,128},121->{56,57,128},122->{56,57,128} ,123->{},124->{},125->{},126->{},127->{},128->{}] + Applied Processor: TrivialSCCs + Details: All trivial SCCs of the transition graph admit timebound 1. * Step 2: UnsatRules WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + B] (1,1) 1. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + A] (1,1) 2. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + B] (1,1) 3. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + C] (1,1) 4. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + B] (1,1) 5. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + D] (1,1) 6. f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + B] (1,1) 7. f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + E] (1,1) 8. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + B] (1,1) 9. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + F] (1,1) 10. f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + B] (1,1) 11. f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + G] (1,1) 12. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 13. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 14. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + A] (1,1) 15. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + C] (1,1) 16. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + A] (1,1) 17. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + D] (1,1) 18. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + A] (1,1) 19. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + E] (1,1) 20. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + A] (1,1) 21. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + F] (1,1) 22. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + A] (1,1) 23. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [A >= 1 + G] (1,1) 24. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 25. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 26. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + C] (1,1) 27. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + D] (1,1) 28. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + C] (1,1) 29. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + E] (1,1) 30. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + C] (1,1) 31. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + F] (1,1) 32. f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + C] (1,1) 33. f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [C >= 1 + G] (1,1) 34. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 35. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 36. f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + D] (1,1) 37. f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + E] (1,1) 38. f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + D] (1,1) 39. f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + F] (1,1) 40. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + D] (1,1) 41. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [D >= 1 + G] (1,1) 42. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 43. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 44. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + E] (1,1) 45. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + F] (1,1) 46. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + E] (1,1) 47. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1 + G] (1,1) 48. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 49. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 50. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [G >= 1 + F] (1,1) 51. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [F >= 1 + G] (1,1) 52. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 53. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 54. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + E] (1,1) 55. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [E >= 1] (1,1) 56. f108(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + H] (1,1) 57. f108(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [H >= 1] (1,1) 58. f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + I] (1,1) 59. f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [I >= 1] (1,1) 60. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [0 >= 1 + J] (1,1) 61. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) [J >= 1] (1,1) 62. f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,G,1,I,J,K,1,M,N,O,P,Q,R,S,T,U,V) [K >= 1 + B] (1,1) 63. f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,G,1,I,J,K,1,M,N,O,P,Q,R,S,T,U,V) [B >= 1 + K] (1,1) 64. f7(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,G,0,I,J,B,0,M,N,O,P,Q,R,S,T,U,V) [B = K] (1,1) 65. f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,F,B,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = G] (1,1) 66. f5(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,E,B,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = F] (1,1) 67. f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,D,B,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = E] (1,1) 68. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,C,B,E,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = D] (1,1) 69. f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(A,B,B,D,E,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = C] (1,1) 70. f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f17(B,B,C,D,E,F,G,0,I,J,K,0,M,N,O,P,Q,R,S,T,U,V) [B = A] (1,1) 71. f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,1,I,J,K,L,1,N,O,P,Q,R,S,T,U,V) [K >= 1 + A] (1,1) 72. f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,1,I,J,K,L,1,N,O,P,Q,R,S,T,U,V) [A >= 1 + K] (1,1) 73. f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,0,I,J,A,L,0,N,O,P,Q,R,S,T,U,V) [A = K] (1,1) 74. f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,A,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = G] (1,1) 75. f21(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,A,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = F] (1,1) 76. f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,A,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = E] (1,1) 77. f19(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,A,E,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = D] (1,1) 78. f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,A,D,E,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [A = C] (1,1) 79. f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f33(A,B,C,D,E,F,G,0,I,J,K,L,0,N,O,P,Q,R,S,T,U,V) [H = 0] (1,1) 80. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,1,I,J,K,L,M,1,O,P,Q,R,S,T,U,V) [K >= 1 + C] (1,1) 81. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,1,I,J,K,L,M,1,O,P,Q,R,S,T,U,V) [C >= 1 + K] (1,1) 82. f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,0,I,J,C,L,M,0,O,P,Q,R,S,T,U,V) [C = K] (1,1) 83. f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,C,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = G] (1,1) 84. f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,C,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = F] (1,1) 85. f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,C,F,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = E] (1,1) 86. f34(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,C,E,F,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [C = D] (1,1) 87. f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f47(A,B,C,D,E,F,G,0,I,J,K,L,M,0,O,P,Q,R,S,T,U,V) [H = 0] (1,1) 88. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,1,I,J,K,L,M,N,1,P,Q,R,S,T,U,V) [K >= 1 + D] (1,1) 89. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,1,I,J,K,L,M,N,1,P,Q,R,S,T,U,V) [D >= 1 + K] (1,1) 90. f51(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,0,I,J,D,L,M,N,0,P,Q,R,S,T,U,V) [D = K] (1,1) 91. f50(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,D,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [D = G] (1,1) 92. f49(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,D,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [D = F] (1,1) 93. f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,D,F,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [D = E] (1,1) 94. f47(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f59(A,B,C,D,E,F,G,0,I,J,K,L,M,N,0,P,Q,R,S,T,U,V) [H = 0] (1,1) 95. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,1,Q,R,S,T,U,V) [K >= 1 + E] (1,1) 96. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,1,Q,R,S,T,U,V) [E >= 1 + K] (1,1) 97. f62(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,0,I,J,E,L,M,N,O,0,Q,R,S,T,U,V) [E = K] (1,1) 98. f61(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,E,0,I,J,K,L,M,N,O,0,Q,R,S,T,U,V) [E = G] (1,1) 99. f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,E,G,0,I,J,K,L,M,N,O,0,Q,R,S,T,U,V) [E = F] (1,1) 100. f59(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f69(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,0,Q,R,S,T,U,V) [H = 0] (1,1) 101. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,1,R,S,T,U,V) [K >= 1 + F] (1,1) 102. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,1,R,S,T,U,V) [F >= 1 + K] (1,1) 103. f71(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,0,I,J,F,L,M,N,O,P,0,R,S,T,U,V) [F = K] (1,1) 104. f70(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,F,0,I,J,K,L,M,N,O,P,0,R,S,T,U,V) [F = G] (1,1) 105. f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f77(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,0,R,S,T,U,V) [H = 0] (1,1) 106. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q,1,S,T,U,V) [K >= 1 + G] (1,1) 107. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,1,I,J,K,L,M,N,O,P,Q,1,S,T,U,V) [G >= 1 + K] (1,1) 108. f78(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,0,I,J,G,L,M,N,O,P,Q,0,S,T,U,V) [G = K] (1,1) 109. f77(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f83(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,0,S,T,U,V) [H = 0] (1,1) 110. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,1,J,K,L,M,N,O,P,Q,R,1,T,U,V) [9 >= K && 9 >= G && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (1,1) 111. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [K >= 10 && 9 >= G && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (1,1) 112. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [G >= 10 && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (1,1) 113. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [F >= 10 && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (1,1) 114. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [E >= 10 && 9 >= D && 9 >= C && 9 >= B && 9 >= A] (1,1) 115. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [D >= 10 && 9 >= C && 9 >= B && 9 >= A] (1,1) 116. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [C >= 10 && 9 >= B && 9 >= A] (1,1) 117. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [9 >= B && A >= 10] (1,1) 118. f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f101(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,0,T,U,V) [B >= 10] (1,1) 119. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,B,C,D,E,F,G,H,I,1,K,L,M,N,O,P,Q,R,S,1,W,V) [0 >= 1 + B] (1,1) 120. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,B,C,D,E,F,G,H,I,1,K,L,M,N,O,P,Q,R,S,1,W,V) [B >= 1] (1,1) 121. f102(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,0,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,0,W,V) [B = 0] (1,1) 122. f101(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f108(A,B,C,D,0,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,0,W,V) [E = 0] (1,1) 123. f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [0 >= 1 + U] (1,1) 124. f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,0) [U >= 1] (1,1) 125. f111(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,0,1) [U = 0] (1,1) 126. f110(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,1) [J = 0] (1,1) 127. f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,H,0,J,K,L,M,N,O,P,Q,R,S,T,U,1) [I = 0] (1,1) 128. f108(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V) -> f119(A,B,C,D,E,F,G,0,I,J,K,L,M,N,O,P,Q,R,S,T,U,1) [H = 0] (1,1) Signature: {(f0,22) ;(f101,22) ;(f102,22) ;(f108,22) ;(f109,22) ;(f110,22) ;(f111,22) ;(f119,22) ;(f17,22) ;(f18,22) ;(f19,22) ;(f2,22) ;(f20,22) ;(f21,22) ;(f22,22) ;(f23,22) ;(f3,22) ;(f33,22) ;(f34,22) ;(f35,22) ;(f36,22) ;(f37,22) ;(f38,22) ;(f4,22) ;(f47,22) ;(f48,22) ;(f49,22) ;(f5,22) ;(f50,22) ;(f51,22) ;(f59,22) ;(f6,22) ;(f60,22) ;(f61,22) ;(f62,22) ;(f69,22) ;(f7,22) ;(f70,22) ;(f71,22) ;(f77,22) ;(f78,22) ;(f83,22)} Flow Graph: [0->{2,3,69},1->{2,3,69},2->{4,5,68},3->{4,5,68},4->{6,7,67},5->{6,7,67},6->{8,9,66},7->{8,9,66},8->{10,11 ,65},9->{10,11,65},10->{62,63,64},11->{62,63,64},12->{14,15,78},13->{14,15,78},14->{16,17,77},15->{16,17,77} ,16->{18,19,76},17->{18,19,76},18->{20,21,75},19->{20,21,75},20->{22,23,74},21->{22,23,74},22->{71,72,73} ,23->{71,72,73},24->{26,27,86},25->{26,27,86},26->{28,29,85},27->{28,29,85},28->{30,31,84},29->{30,31,84} ,30->{32,33,83},31->{32,33,83},32->{80,81,82},33->{80,81,82},34->{36,37,93},35->{36,37,93},36->{38,39,92} ,37->{38,39,92},38->{40,41,91},39->{40,41,91},40->{88,89,90},41->{88,89,90},42->{44,45,99},43->{44,45,99} ,44->{46,47,98},45->{46,47,98},46->{95,96,97},47->{95,96,97},48->{50,51,104},49->{50,51,104},50->{101,102 ,103},51->{101,102,103},52->{106,107,108},53->{106,107,108},54->{119,120,121},55->{119,120,121},56->{58,59 ,127},57->{58,59,127},58->{60,61,126},59->{60,61,126},60->{123,124,125},61->{123,124,125},62->{12,13,79} ,63->{12,13,79},64->{12,13,79},65->{12,13,79},66->{12,13,79},67->{12,13,79},68->{12,13,79},69->{12,13,79} ,70->{12,13,79},71->{24,25,87},72->{24,25,87},73->{24,25,87},74->{24,25,87},75->{24,25,87},76->{24,25,87} ,77->{24,25,87},78->{24,25,87},79->{24,25,87},80->{34,35,94},81->{34,35,94},82->{34,35,94},83->{34,35,94} ,84->{34,35,94},85->{34,35,94},86->{34,35,94},87->{34,35,94},88->{42,43,100},89->{42,43,100},90->{42,43,100} ,91->{42,43,100},92->{42,43,100},93->{42,43,100},94->{42,43,100},95->{48,49,105},96->{48,49,105},97->{48,49 ,105},98->{48,49,105},99->{48,49,105},100->{48,49,105},101->{52,53,109},102->{52,53,109},103->{52,53,109} ,104->{52,53,109},105->{52,53,109},106->{110,111,112,113,114,115,116,117,118},107->{110,111,112,113,114,115 ,116,117,118},108->{110,111,112,113,114,115,116,117,118},109->{110,111,112,113,114,115,116,117,118},110->{54 ,55,122},111->{54,55,122},112->{54,55,122},113->{54,55,122},114->{54,55,122},115->{54,55,122},116->{54,55 ,122},117->{54,55,122},118->{54,55,122},119->{56,57,128},120->{56,57,128},121->{56,57,128},122->{56,57,128} ,123->{},124->{},125->{},126->{},127->{},128->{}] + Applied Processor: UnsatRules + Details: The problem is already solved. YES(?,O(1))