(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(f0(A, B, C, D, E, F, G, H)) f0(A, B, C, D, E, F, G, H) -> Com_1(f58(A, B, C, D, E, F, G, H)) [ B >= A ] f0(A, B, C, D, E, F, G, H) -> Com_1(f12(A, B, 0, B, E, F, G, H)) [ A >= B + 1 ] f12(A, B, C, D, E, F, G, H) -> Com_1(f35(A, B, C, B, E, F, G, H)) [ A - B - 1 >= 0 /\ E >= A + 1 /\ B = D ] f12(A, B, C, D, E, F, G, H) -> Com_1(f12(A, B, J, E, E + 1, I, K, H)) [ A - B - 1 >= 0 /\ A >= E /\ I >= K + 1 ] f12(A, B, C, D, E, F, G, H) -> Com_1(f12(A, B, C, D, E + 1, J, I, H)) [ A - B - 1 >= 0 /\ A >= E /\ I >= J ] f35(A, B, C, D, E, F, G, H) -> Com_1(f0(A, B + 1, 0, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ C = 0 ] f35(A, B, C, D, E, F, G, H) -> Com_1(f37(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ C >= 1 ] f35(A, B, C, D, E, F, G, H) -> Com_1(f37(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ 0 >= C + 1 ] f12(A, B, C, D, E, F, G, H) -> Com_1(f22(A, B, C, D, E, F, G, H)) [ A - B - 1 >= 0 /\ D >= B + 1 /\ E >= A + 1 ] f12(A, B, C, D, E, F, G, H) -> Com_1(f22(A, B, C, D, E, F, G, H)) [ A - B - 1 >= 0 /\ B >= D + 1 /\ E >= A + 1 ] f22(A, B, C, D, E, F, G, H) -> Com_1(f29(A, B, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ E >= A + 1 ] f37(A, B, C, D, E, F, G, H) -> Com_1(f0(A, B + 1, C, D, E, F, G, H)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ D >= A + 1 ] f37(A, B, C, D, E, F, G, H) -> Com_1(f37(A, B, C, D + 1, E, F, G, 0)) [ -B + E - 2 >= 0 /\ -A + E - 1 >= 0 /\ A - B - 1 >= 0 /\ A >= D ] f37(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 ] f37(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 ] f29(A, B, C, D, E, F, G, H) -> Com_1(f35(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(f48(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 ] f48(A, B, C, D, E, F, G, H) -> Com_1(f37(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 ] )