(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H) (RULES f0(A, B, C, D, E, F, G, H) -> Com_1(f10(I, 0, C, D, E, F, G, H)) f10(A, B, C, D, E, F, G, H) -> Com_1(f10(A, B + 1, C, D, E, F, G, H)) [ B >= 0 /\ C >= B + 1 ] f18(A, B, C, D, E, F, G, H) -> Com_1(f22(A, B, C, D, E, E, E + 1, H)) [ B - E >= 0 /\ E >= 0 /\ B + E >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ -C + D >= 0 /\ B - C >= 0 /\ B >= 0 /\ D >= E + 2 ] f22(A, B, C, D, E, F, G, H) -> Com_1(f22(A, B, C, D, E, F, G + 1, H)) [ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G - 1 >= 0 /\ E + G - 1 >= 0 /\ -E + G - 1 >= 0 /\ D + G - 3 >= 0 /\ C + G - 3 >= 0 /\ B + G - 3 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 2 >= 0 /\ B + F - 2 >= 0 /\ D - E - 2 >= 0 /\ C - E - 2 >= 0 /\ B - E - 2 >= 0 /\ E >= 0 /\ D + E - 2 >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ D - 2 >= 0 /\ C + D - 4 >= 0 /\ -C + D >= 0 /\ B + D - 4 >= 0 /\ B - C >= 0 /\ C - 2 >= 0 /\ B + C - 4 >= 0 /\ B - 2 >= 0 /\ D >= G + 1 ] f22(A, B, C, D, E, F, G, H) -> Com_1(f22(A, B, C, D, E, G, G + 1, H)) [ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G - 1 >= 0 /\ E + G - 1 >= 0 /\ -E + G - 1 >= 0 /\ D + G - 3 >= 0 /\ C + G - 3 >= 0 /\ B + G - 3 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 2 >= 0 /\ B + F - 2 >= 0 /\ D - E - 2 >= 0 /\ C - E - 2 >= 0 /\ B - E - 2 >= 0 /\ E >= 0 /\ D + E - 2 >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ D - 2 >= 0 /\ C + D - 4 >= 0 /\ -C + D >= 0 /\ B + D - 4 >= 0 /\ B - C >= 0 /\ C - 2 >= 0 /\ B + C - 4 >= 0 /\ B - 2 >= 0 /\ D >= G + 1 ] f34(A, B, C, D, E, F, G, H) -> Com_1(f34(A, B, C, D, E + 1, F, G, H)) [ B - E >= 0 /\ E >= 0 /\ B + E >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ -C + D >= 0 /\ B - C >= 0 /\ B >= 0 /\ D >= E + 2 ] f34(A, B, C, D, E, F, G, H) -> Com_1(f43(A, B, C, D, E, F, G, H)) [ B - E >= 0 /\ E >= 0 /\ B + E >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ -C + D >= 0 /\ B - C >= 0 /\ B >= 0 /\ E + 1 >= D ] f22(A, B, C, D, E, F, G, H) -> Com_1(f18(A, B, C, D, E + 1, F, G, I)) [ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G - 1 >= 0 /\ E + G - 1 >= 0 /\ -E + G - 1 >= 0 /\ D + G - 3 >= 0 /\ C + G - 3 >= 0 /\ B + G - 3 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F - 2 >= 0 /\ C + F - 2 >= 0 /\ B + F - 2 >= 0 /\ D - E - 2 >= 0 /\ C - E - 2 >= 0 /\ B - E - 2 >= 0 /\ E >= 0 /\ D + E - 2 >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ D - 2 >= 0 /\ C + D - 4 >= 0 /\ -C + D >= 0 /\ B + D - 4 >= 0 /\ B - C >= 0 /\ C - 2 >= 0 /\ B + C - 4 >= 0 /\ B - 2 >= 0 /\ G >= D ] f18(A, B, C, D, E, F, G, H) -> Com_1(f34(A, B, C, D, 0, F, G, H)) [ B - E >= 0 /\ E >= 0 /\ B + E >= 0 /\ C - D >= 0 /\ B - D >= 0 /\ -C + D >= 0 /\ B - C >= 0 /\ B >= 0 /\ E + 1 >= D ] f10(A, B, C, D, E, F, G, H) -> Com_1(f18(A, B, C, C, 0, F, G, H)) [ B >= 0 /\ B >= C ] )