(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F) (RULES f18(A, B, C, D, E, F) -> Com_1(f18(A, B + 1, C, D, E, F)) [ -E + 10 >= 0 /\ C - E >= 0 /\ -C - E + 20 >= 0 /\ B - E + 10 >= 0 /\ A - E >= 0 /\ -A - E + 20 >= 0 /\ E - 10 >= 0 /\ C + E - 20 >= 0 /\ -C + E >= 0 /\ B + E - 10 >= 0 /\ A + E - 20 >= 0 /\ -A + E >= 0 /\ -C + 10 >= 0 /\ B - C + 10 >= 0 /\ A - C >= 0 /\ -A - C + 20 >= 0 /\ C - 10 >= 0 /\ B + C - 10 >= 0 /\ A + C - 20 >= 0 /\ -A + C >= 0 /\ B >= 0 /\ A + B - 10 >= 0 /\ -A + B + 10 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ A >= B + 1 ] f24(A, B, C, D, E, F) -> Com_1(f24(A, B + 1, C, D, E, F)) [ -E + 10 >= 0 /\ C - E >= 0 /\ -C - E + 20 >= 0 /\ B - E + 10 >= 0 /\ A - E >= 0 /\ -A - E + 20 >= 0 /\ E - 10 >= 0 /\ C + E - 20 >= 0 /\ -C + E >= 0 /\ B + E - 10 >= 0 /\ A + E - 20 >= 0 /\ -A + E >= 0 /\ -C + 10 >= 0 /\ B - C + 10 >= 0 /\ A - C >= 0 /\ -A - C + 20 >= 0 /\ C - 10 >= 0 /\ B + C - 10 >= 0 /\ A + C - 20 >= 0 /\ -A + C >= 0 /\ B >= 0 /\ A + B - 10 >= 0 /\ -A + B + 10 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ A >= B + 1 ] f31(A, B, C, D, E, F) -> Com_1(f31(A, B + 1, C, D, E, F)) [ -E + 10 >= 0 /\ C - E >= 0 /\ -C - E + 20 >= 0 /\ B - E + 10 >= 0 /\ A - E >= 0 /\ -A - E + 20 >= 0 /\ E - 10 >= 0 /\ C + E - 20 >= 0 /\ -C + E >= 0 /\ B + E - 10 >= 0 /\ A + E - 20 >= 0 /\ -A + E >= 0 /\ -C + 10 >= 0 /\ B - C + 10 >= 0 /\ A - C >= 0 /\ -A - C + 20 >= 0 /\ C - 10 >= 0 /\ B + C - 10 >= 0 /\ A + C - 20 >= 0 /\ -A + C >= 0 /\ B >= 0 /\ A + B - 10 >= 0 /\ -A + B + 10 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ A >= B + 1 ] f31(A, B, C, D, E, F) -> Com_1(f39(A, B, C, D, E, F)) [ -E + 10 >= 0 /\ C - E >= 0 /\ -C - E + 20 >= 0 /\ B - E + 10 >= 0 /\ A - E >= 0 /\ -A - E + 20 >= 0 /\ E - 10 >= 0 /\ C + E - 20 >= 0 /\ -C + E >= 0 /\ B + E - 10 >= 0 /\ A + E - 20 >= 0 /\ -A + E >= 0 /\ -C + 10 >= 0 /\ B - C + 10 >= 0 /\ A - C >= 0 /\ -A - C + 20 >= 0 /\ C - 10 >= 0 /\ B + C - 10 >= 0 /\ A + C - 20 >= 0 /\ -A + C >= 0 /\ B >= 0 /\ A + B - 10 >= 0 /\ -A + B + 10 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ B >= A ] f24(A, B, C, D, E, F) -> Com_1(f31(A, 0, C, D, E, F)) [ -E + 10 >= 0 /\ C - E >= 0 /\ -C - E + 20 >= 0 /\ B - E + 10 >= 0 /\ A - E >= 0 /\ -A - E + 20 >= 0 /\ E - 10 >= 0 /\ C + E - 20 >= 0 /\ -C + E >= 0 /\ B + E - 10 >= 0 /\ A + E - 20 >= 0 /\ -A + E >= 0 /\ -C + 10 >= 0 /\ B - C + 10 >= 0 /\ A - C >= 0 /\ -A - C + 20 >= 0 /\ C - 10 >= 0 /\ B + C - 10 >= 0 /\ A + C - 20 >= 0 /\ -A + C >= 0 /\ B >= 0 /\ A + B - 10 >= 0 /\ -A + B + 10 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ B >= A ] f18(A, B, C, D, E, F) -> Com_1(f24(A, 0, C, D, E, F)) [ -E + 10 >= 0 /\ C - E >= 0 /\ -C - E + 20 >= 0 /\ B - E + 10 >= 0 /\ A - E >= 0 /\ -A - E + 20 >= 0 /\ E - 10 >= 0 /\ C + E - 20 >= 0 /\ -C + E >= 0 /\ B + E - 10 >= 0 /\ A + E - 20 >= 0 /\ -A + E >= 0 /\ -C + 10 >= 0 /\ B - C + 10 >= 0 /\ A - C >= 0 /\ -A - C + 20 >= 0 /\ C - 10 >= 0 /\ B + C - 10 >= 0 /\ A + C - 20 >= 0 /\ -A + C >= 0 /\ B >= 0 /\ A + B - 10 >= 0 /\ -A + B + 10 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ B >= A ] f0(A, B, C, D, E, F) -> Com_1(f18(10, 0, 10, G, 10, H)) )