(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C) (RULES f0(A, B, C) -> Com_1(f11(D, E, D)) f11(A, B, C) -> Com_1(f20(A, B, C)) [ 5 >= A /\ B >= 1 ] f11(A, B, C) -> Com_1(f14(A, B, C)) [ 5 >= A /\ 0 >= B ] f11(A, B, C) -> Com_1(f14(A, B, C)) [ A >= 6 ] f20(A, B, C) -> Com_1(f11(A, D, C)) [ B - 1 >= 0 /\ -A + B + 4 >= 0 /\ -A + 5 >= 0 /\ 2 >= A ] f20(A, B, C) -> Com_1(f20(A - 1, B, C)) [ B - 1 >= 0 /\ -A + B + 4 >= 0 /\ -A + 5 >= 0 /\ A >= 3 ] f14(A, B, C) -> Com_1(f11(A + 1, D, C)) [ 5 >= A ] f14(A, B, C) -> Com_1(f11(A + 1, D, C)) [ A >= 6 ] )