(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start0)) (VAR A B C D E F) (RULES start0(A, B, C, D, E, F) -> Com_1(start(B, B, D, D, F, F)) start(A, B, C, D, E, F) -> Com_1(lbl111(A, B, 100, D, 2, F)) [ E - F >= 0 /\ -E + F >= 0 /\ C - D >= 0 /\ -C + D >= 0 /\ A - B >= 0 /\ -A + B >= 0 /\ B >= 1 /\ A = B /\ C = D /\ E = F ] start(A, B, C, D, E, F) -> Com_1(lbl111(A, B, 100, D, 2, F)) [ E - F >= 0 /\ -E + F >= 0 /\ C - D >= 0 /\ -C + D >= 0 /\ A - B >= 0 /\ -A + B >= 0 /\ 0 >= B + 1 /\ A = B /\ C = D /\ E = F ] start(A, B, C, D, E, F) -> Com_1(lbl91(A, B, 100, D, 1, F)) [ E - F >= 0 /\ -E + F >= 0 /\ C - D >= 0 /\ -C + D >= 0 /\ A - B >= 0 /\ -A + B >= 0 /\ A = 0 /\ B = 0 /\ C = D /\ E = F ] lbl111(A, B, C, D, E, F) -> Com_1(lbl111(A, B, C, D, E + 2, F)) [ E - 2 >= 0 /\ C + E - 102 >= 0 /\ -C + E + 98 >= 0 /\ -C + 100 >= 0 /\ C - 100 >= 0 /\ A - B >= 0 /\ -A + B >= 0 /\ B >= 1 /\ 39 >= E /\ E >= 2 /\ 41 >= E /\ C = 100 /\ A = B ] lbl111(A, B, C, D, E, F) -> Com_1(lbl111(A, B, C, D, E + 2, F)) [ E - 2 >= 0 /\ C + E - 102 >= 0 /\ -C + E + 98 >= 0 /\ -C + 100 >= 0 /\ C - 100 >= 0 /\ A - B >= 0 /\ -A + B >= 0 /\ 0 >= B + 1 /\ 39 >= E /\ E >= 2 /\ 41 >= E /\ C = 100 /\ A = B ] lbl91(A, B, C, D, E, F) -> Com_1(lbl91(A, B, C, D, E + 1, F)) [ E - 1 >= 0 /\ C + E - 101 >= 0 /\ -C + E + 99 >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ -A + E - 1 >= 0 /\ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ -B - C + 100 >= 0 /\ A - C + 100 >= 0 /\ -A - C + 100 >= 0 /\ C - 100 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 100 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 100 >= 0 /\ -B >= 0 /\ A - B >= 0 /\ -A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ -A >= 0 /\ A >= 0 /\ 39 >= E /\ E >= 1 /\ 40 >= E /\ A = 0 /\ C = 100 /\ B = 0 ] lbl111(A, B, C, D, E, F) -> Com_1(stop(A, B, C, D, E, F)) [ E - 2 >= 0 /\ C + E - 102 >= 0 /\ -C + E + 98 >= 0 /\ -C + 100 >= 0 /\ C - 100 >= 0 /\ A - B >= 0 /\ -A + B >= 0 /\ E >= 40 /\ E >= 2 /\ 41 >= E /\ C = 100 /\ A = B ] lbl91(A, B, C, D, E, F) -> Com_1(stop(A, B, C, D, E, F)) [ E - 1 >= 0 /\ C + E - 101 >= 0 /\ -C + E + 99 >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ -A + E - 1 >= 0 /\ -C + 100 >= 0 /\ B - C + 100 >= 0 /\ -B - C + 100 >= 0 /\ A - C + 100 >= 0 /\ -A - C + 100 >= 0 /\ C - 100 >= 0 /\ B + C - 100 >= 0 /\ -B + C - 100 >= 0 /\ A + C - 100 >= 0 /\ -A + C - 100 >= 0 /\ -B >= 0 /\ A - B >= 0 /\ -A - B >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B >= 0 /\ -A >= 0 /\ A >= 0 /\ E = 40 /\ C = 100 /\ A = 0 /\ B = 0 ] )