(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start)) (VAR A B C D E F G H) (RULES start(A, B, C, D, E, F, G, H) -> Com_1(f2(A, B, C, D, E, F, G, H)) f2(A, B, C, D, E, F, G, H) -> Com_1(f1(A, B, C, D, E, F, G, H)) [ B >= A ] f2(A, B, C, D, E, F, G, H) -> Com_1(f8(A, B, 0, B, E, F, G, H)) [ A >= B + 1 ] f8(A, B, C, D, E, F, G, H) -> Com_1(f34(A, B, C, B, E, F, G, H)) [ A - B - 1 >= 0 /\ E >= A + 1 /\ B = D ] f8(A, B, C, D, E, F, G, H) -> Com_1(f8(A, B, J, E, E + 1, I, K, H)) [ A - B - 1 >= 0 /\ A >= E /\ I >= K + 1 ] f8(A, B, C, D, E, F, G, H) -> Com_1(f8(A, B, C, D, E + 1, J, I, H)) [ A - B - 1 >= 0 /\ A >= E /\ I >= J ] f34(A, B, C, D, E, F, G, H) -> Com_1(f2(A, B + 1, 0, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ C = 0 ] f34(A, B, C, D, E, F, G, H) -> Com_1(f36(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ C >= 1 ] f34(A, B, C, D, E, F, G, H) -> Com_1(f36(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ 0 >= C + 1 ] f8(A, B, C, D, E, F, G, H) -> Com_1(f19(A, B, C, D, E, F, G, H)) [ A - B - 1 >= 0 /\ D >= B + 1 /\ E >= A + 1 ] f8(A, B, C, D, E, F, G, H) -> Com_1(f19(A, B, C, D, E, F, G, H)) [ A - B - 1 >= 0 /\ B >= D + 1 /\ E >= A + 1 ] f19(A, B, C, D, E, F, G, H) -> Com_1(f27(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ E >= A + 1 ] f36(A, B, C, D, E, F, G, H) -> Com_1(f2(A, B + 1, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ D >= A + 1 ] f36(A, B, C, D, E, F, G, H) -> Com_1(f36(A, B, C, D + 1, E, F, G, 0)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ A >= D ] f36(A, B, C, D, E, F, G, H) -> Com_1(f43(A, B, C, D, E, F, G, J)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ A >= D /\ I >= 1 ] f36(A, B, C, D, E, F, G, H) -> Com_1(f43(A, B, C, D, E, F, G, J)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ A >= D /\ 0 >= I + 1 ] f27(A, B, C, D, E, F, G, H) -> Com_1(f34(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ E >= A + 1 ] f43(A, B, C, D, E, F, G, H) -> Com_1(f49(A, B, C, D, E, F, G, H)) [ -D + E - 1 >= 0 /\ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - D >= 0 /\ A - B - 1 >= 0 /\ E >= A + 1 ] f49(A, B, C, D, E, F, G, H) -> Com_1(f36(A, B, C, D + 1, E, F, G, H)) [ -D + E - 1 >= 0 /\ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - D >= 0 /\ A - B - 1 >= 0 /\ E >= A + 1 ] )