(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G) (RULES f0(A, B, C, D, E, F, G) -> Com_1(f9(0, 0, H, D, E, F, G)) f9(A, B, C, D, E, F, G) -> Com_1(f10(A, B, C, C, E, F, G)) [ A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ A >= 0 /\ 0 >= C + 1 ] f9(A, B, C, D, E, F, G) -> Com_1(f10(A, B, C, C, E, F, G)) [ A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ A >= 0 /\ C >= 1 ] f10(A, B, C, D, E, F, G) -> Com_1(f9(A + 1, A + 1, H, D, E, F, G)) [ C - D >= 0 /\ -C + D >= 0 /\ A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ A >= 0 /\ 9 >= A ] f16(A, B, C, D, E, F, G) -> Com_1(f28(A, B, C, D, E, F, G)) [ C - D >= 0 /\ -C + D >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ A >= 10 ] f16(A, B, C, D, E, F, G) -> Com_1(f16(A + 1, B, C, D, A, H, H)) [ C - D >= 0 /\ -C + D >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ 9 >= A /\ 0 >= H + 1 ] f16(A, B, C, D, E, F, G) -> Com_1(f16(A + 1, B, C, D, A, H, H)) [ C - D >= 0 /\ -C + D >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ 9 >= A /\ H >= 1 ] f16(A, B, C, D, E, F, G) -> Com_1(f28(A, B, C, D, A, 0, 0)) [ C - D >= 0 /\ -C + D >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ 9 >= A ] f10(A, B, C, D, E, F, G) -> Com_1(f16(0, B, C, D, E, F, G)) [ C - D >= 0 /\ -C + D >= 0 /\ A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ A >= 0 /\ A >= 10 ] f9(A, B, C, D, E, F, G) -> Com_1(f16(0, B, 0, 0, E, F, G)) [ A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ A >= 0 /\ C = 0 ] )