(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F) (RULES f0(A, B, C, D, E, F) -> Com_1(f8(1, 1, 0, 1, 1, F)) f8(A, B, C, D, E, F) -> Com_1(f10(A, B, C, D, E, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 /\ 29 >= D ] f10(A, B, C, D, E, F) -> Com_1(f14(A, B, C, D, G, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 >= E + 1 /\ E >= 6 ] f10(A, B, C, D, E, F) -> Com_1(f14(A, B, C, D, E + 2, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 >= E + 1 /\ 5 >= E ] f14(A, B, C, D, E, F) -> Com_1(f10(A, B, C, D + 10, E, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 /\ 12 >= E /\ E >= 10 ] f14(A, B, C, D, E, F) -> Com_1(f10(A, B, C, D + 1, E, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 >= 13 ] f14(A, B, C, D, E, F) -> Com_1(f10(A, B, C, D + 1, E, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 /\ 9 >= E ] f10(A, B, C, D, E, F) -> Com_1(f8(A, B, C, D + 2, E - 10, F)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 >= D ] f8(A, B, C, D, E, F) -> Com_1(f28(A, B, 1, D, E, 1)) [ D - 1 >= 0 /\ C + D - 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D - 2 >= 0 /\ -B + D >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -C >= 0 /\ B - C - 1 >= 0 /\ -B - C + 1 >= 0 /\ A - C - 1 >= 0 /\ -A - C + 1 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 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 >= 30 ] )