(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E) (RULES f15(A, B, C, D, E) -> Com_1(f16(A, B, C, D, E)) [ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ C - 1 >= 0 /\ B + C - 1 >= 0 /\ B >= 0 /\ A >= B + 1 ] f15(A, B, C, D, E) -> Com_1(f16(A, B, C, D, E)) [ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ C - 1 >= 0 /\ B + C - 1 >= 0 /\ B >= 0 /\ B >= A + 1 ] f0(A, B, C, D, E) -> Com_1(f7(F, B, F, D, E)) [ 0 >= F ] f0(A, B, C, D, E) -> Com_1(f7(F, B, F, D, E)) [ F >= 101 ] f0(A, B, C, D, E) -> Com_1(f15(F, 0, F, G, E)) [ 100 >= F /\ F >= 1 ] f16(A, B, C, D, E) -> Com_1(f15(A, B + 1, C, D, E)) [ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ C - 1 >= 0 /\ B + C - 1 >= 0 /\ B >= 0 ] f23(A, B, C, D, E) -> Com_1(f23(A, B, C, D, E + 1)) [ B - E + 1 >= 0 /\ E >= 0 /\ C + E - 1 >= 0 /\ -C + E + 100 >= 0 /\ B + E + 1 >= 0 /\ -C + 100 >= 0 /\ B - C + 101 >= 0 /\ C - 1 >= 0 /\ B + C >= 0 /\ B + 1 >= 0 /\ B >= E + 1 ] f23(A, B, C, D, E) -> Com_1(f7(A, B, C, D, E)) [ B - E + 1 >= 0 /\ E >= 0 /\ C + E - 1 >= 0 /\ -C + E + 100 >= 0 /\ B + E + 1 >= 0 /\ -C + 100 >= 0 /\ B - C + 101 >= 0 /\ C - 1 >= 0 /\ B + C >= 0 /\ B + 1 >= 0 /\ E >= B ] f15(A, B, C, D, E) -> Com_1(f23(A, A - 1, C, D, 0)) [ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ C - 1 >= 0 /\ B + C - 1 >= 0 /\ B >= 0 /\ A = B ] f16(A, B, C, D, E) -> Com_1(f23(A, B - 1, C, D, 0)) [ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ C - 1 >= 0 /\ B + C - 1 >= 0 /\ B >= 0 ] )