(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G) (RULES f0(A, B, C, D, E, F, G) -> Com_1(f8(-1, -1, 1, D, E, F, G)) f8(A, B, C, D, E, F, G) -> Com_1(f8(A, B, C + 1, D, E, F, G)) [ C - 1 >= 0 /\ B + C >= 0 /\ -B + C - 2 >= 0 /\ A + C >= 0 /\ -A + C - 2 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ 100 >= C ] f18(A, B, C, D, E, F, G) -> Com_1(f22(A, B, C, D, 1, 1, G)) [ -E >= 0 /\ D - E - 1 >= 0 /\ C - E - 101 >= 0 /\ B - E + 1 >= 0 /\ -B - E - 1 >= 0 /\ A - E + 1 >= 0 /\ -A - E - 1 >= 0 /\ E >= 0 /\ D + E - 1 >= 0 /\ C + E - 101 >= 0 /\ B + E + 1 >= 0 /\ -B + E - 1 >= 0 /\ A + E + 1 >= 0 /\ -A + E - 1 >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ 99 >= D ] f22(A, B, C, D, E, F, G) -> Com_1(f33(A, B, C, D, E, F, G)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ F >= 100 ] f22(A, B, C, D, E, F, G) -> Com_1(f33(A, B, C, D, E, F, G)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ 99 >= F /\ F + D >= 101 ] f22(A, B, C, D, E, F, G) -> Com_1(f22(A, B, C, D, E, F + 1, G)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ 99 >= F /\ 100 >= D + F ] f22(A, B, C, D, E, F, G) -> Com_1(f22(A, B, C, D, 0, F + 1, H)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ 99 >= F /\ 100 >= D + F ] f33(A, B, C, D, E, F, G) -> Com_1(f18(A, B, C, D + 1, 0, F, G)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 101 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ E = 0 ] f18(A, B, C, D, E, F, G) -> Com_1(f40(A, B, C, D, E, F, G)) [ -E >= 0 /\ D - E - 1 >= 0 /\ C - E - 101 >= 0 /\ B - E + 1 >= 0 /\ -B - E - 1 >= 0 /\ A - E + 1 >= 0 /\ -A - E - 1 >= 0 /\ E >= 0 /\ D + E - 1 >= 0 /\ C + E - 101 >= 0 /\ B + E + 1 >= 0 /\ -B + E - 1 >= 0 /\ A + E + 1 >= 0 /\ -A + E - 1 >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ D >= 100 ] f33(A, B, C, D, E, F, G) -> Com_1(f40(A, B, C, D, E, F, G)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 101 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ 0 >= E + 1 ] f33(A, B, C, D, E, F, G) -> Com_1(f40(A, B, C, D, E, F, G)) [ F - 1 >= 0 /\ E + F - 2 >= 0 /\ -E + F >= 0 /\ D + F - 101 >= 0 /\ C + F - 102 >= 0 /\ B + F >= 0 /\ -B + F - 2 >= 0 /\ A + F >= 0 /\ -A + F - 2 >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ C - E - 100 >= 0 /\ B - E + 2 >= 0 /\ -B - E >= 0 /\ A - E + 2 >= 0 /\ -A - E >= 0 /\ D - 1 >= 0 /\ C + D - 102 >= 0 /\ B + D >= 0 /\ -B + D - 2 >= 0 /\ A + D >= 0 /\ -A + D - 2 >= 0 /\ C - 101 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 102 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 102 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ E >= 1 ] f8(A, B, C, D, E, F, G) -> Com_1(f18(A, B, C, 1, 0, F, G)) [ C - 1 >= 0 /\ B + C >= 0 /\ -B + C - 2 >= 0 /\ A + C >= 0 /\ -A + C - 2 >= 0 /\ -B - 1 >= 0 /\ A - B >= 0 /\ -A - B - 2 >= 0 /\ B + 1 >= 0 /\ A + B + 2 >= 0 /\ -A + B >= 0 /\ -A - 1 >= 0 /\ A + 1 >= 0 /\ C >= 101 ] )