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