(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E) (RULES f0(A, B, C, D, E) -> Com_1(f10(8, F, 0, D, 8)) [ F >= 1 ] f10(A, B, C, D, E) -> Com_1(f10(A - 1, B, C, F, E)) [ -E + 8 >= 0 /\ C - E + 8 >= 0 /\ -A - E + 16 >= 0 /\ E - 8 >= 0 /\ C + E - 8 >= 0 /\ -A + E >= 0 /\ -A - C + 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -A + C + 8 >= 0 /\ -A + B + 7 >= 0 /\ -A + 8 >= 0 /\ 0 >= F /\ A >= 1 /\ A >= B + 1 ] f10(A, B, C, D, E) -> Com_1(f10(A - 1, B - 1, C + 1, F, E)) [ -E + 8 >= 0 /\ C - E + 8 >= 0 /\ -A - E + 16 >= 0 /\ E - 8 >= 0 /\ C + E - 8 >= 0 /\ -A + E >= 0 /\ -A - C + 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -A + C + 8 >= 0 /\ -A + B + 7 >= 0 /\ -A + 8 >= 0 /\ A >= 1 /\ F >= 1 ] f10(A, B, C, D, E) -> Com_1(f20(A, B, C, D, E)) [ -E + 8 >= 0 /\ C - E + 8 >= 0 /\ -A - E + 16 >= 0 /\ E - 8 >= 0 /\ C + E - 8 >= 0 /\ -A + E >= 0 /\ -A - C + 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -A + C + 8 >= 0 /\ -A + B + 7 >= 0 /\ -A + 8 >= 0 /\ 0 >= A ] f20(A, B, C, D, E) -> Com_1(f20(A, B, C, D, E)) [ -E + 8 >= 0 /\ C - E + 8 >= 0 /\ -A - E + 8 >= 0 /\ E - 8 >= 0 /\ C + E - 8 >= 0 /\ -A + E - 8 >= 0 /\ -A - C + 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -A + C >= 0 /\ -A + B + 7 >= 0 /\ -A >= 0 ] )