(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start0)) (VAR A B C D E F G H I J) (RULES start(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, 0, C, 0, E, F, G, 0, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ A - J >= 0 /\ -A + J >= 0 /\ 0 >= A /\ B = C /\ D = E /\ F = G /\ H = I /\ J = A ] start(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, 0, C, 0, E, K, G, 1, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ A - J >= 0 /\ -A + J >= 0 /\ A >= 1 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = A ] lbl21(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A + D + B >= 1 /\ A + D >= B + 1 /\ A + B >= D + 1 /\ A >= D + B + 1 /\ H = A /\ J = A ] lbl21(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D, E, K, G, H + 1, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A >= H + 1 /\ A >= H /\ H + D + B >= 1 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ J = A ] lbl121(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ D + H - 2 >= 0 /\ -D + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F >= 0 /\ J - F - 1 >= 0 /\ A - F - 1 >= 0 /\ F >= 0 /\ J + F - 1 >= 0 /\ A + F - 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ J + D - 2 >= 0 /\ A + D - 2 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A + D + B >= 2 /\ A + D >= B + 2 /\ A + B >= D /\ A >= D + B /\ H = A /\ F = 0 /\ J = A ] lbl121(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D, E, K, G, H + 1, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ D + H - 2 >= 0 /\ -D + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F >= 0 /\ J - F - 1 >= 0 /\ A - F - 1 >= 0 /\ F >= 0 /\ J + F - 1 >= 0 /\ A + F - 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ J + D - 2 >= 0 /\ A + D - 2 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A >= H + 1 /\ A >= H /\ H + D + B >= 2 /\ H + D >= B + 2 /\ H + B >= D /\ H >= D + B /\ F = 0 /\ J = A ] lbl141(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 2 >= 0 /\ -F + H >= 0 /\ D + H >= 0 /\ -D + H - 2 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F - 1 >= 0 /\ J + F - 2 >= 0 /\ A + F - 2 >= 0 /\ J - D - 2 >= 0 /\ A - D - 2 >= 0 /\ J + D >= 0 /\ A + D >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A + D + B >= 0 /\ A + D >= B /\ A + B >= D + 2 /\ A >= D + B + 2 /\ H = A /\ F = 1 /\ J = A ] lbl141(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D, E, K, G, H + 1, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 2 >= 0 /\ -F + H >= 0 /\ D + H >= 0 /\ -D + H - 2 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F - 1 >= 0 /\ J + F - 2 >= 0 /\ A + F - 2 >= 0 /\ J - D - 2 >= 0 /\ A - D - 2 >= 0 /\ J + D >= 0 /\ A + D >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A >= H + 1 /\ A >= H /\ H + D + B >= 0 /\ H + D >= B /\ H + B >= D + 2 /\ H >= D + B + 2 /\ F = 1 /\ J = A ] lbl171(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 3 >= 0 /\ -F + H + 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F + 2 >= 0 /\ J - F + 1 >= 0 /\ A - F + 1 >= 0 /\ F - 2 >= 0 /\ J + F - 3 >= 0 /\ A + F - 3 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B >= 0 /\ A - B >= 0 /\ J + B - 2 >= 0 /\ A + B - 2 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A + D + B >= 2 /\ A + D >= B /\ A + B >= D + 2 /\ A >= D + B /\ H = A /\ F = 2 /\ J = A ] lbl171(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D, E, K, G, H + 1, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 3 >= 0 /\ -F + H + 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F + 2 >= 0 /\ J - F + 1 >= 0 /\ A - F + 1 >= 0 /\ F - 2 >= 0 /\ J + F - 3 >= 0 /\ A + F - 3 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B >= 0 /\ A - B >= 0 /\ J + B - 2 >= 0 /\ A + B - 2 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A >= H + 1 /\ A >= H /\ H + D + B >= 2 /\ H + D >= B /\ H + B >= D + 2 /\ H >= D + B /\ F = 2 /\ J = A ] lbl191(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 4 >= 0 /\ -F + H + 2 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H >= 0 /\ -B + H - 2 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F + 3 >= 0 /\ J - F + 2 >= 0 /\ A - F + 2 >= 0 /\ F - 3 >= 0 /\ J + F - 4 >= 0 /\ A + F - 4 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 2 >= 0 /\ A - B - 2 >= 0 /\ J + B >= 0 /\ A + B >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A + D + B >= 0 /\ A + D >= B + 2 /\ A + B >= D /\ A >= D + B + 2 /\ H = A /\ F = 3 /\ J = A ] lbl191(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D, E, K, G, H + 1, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 4 >= 0 /\ -F + H + 2 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H >= 0 /\ -B + H - 2 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ -F + 3 >= 0 /\ J - F + 2 >= 0 /\ A - F + 2 >= 0 /\ F - 3 >= 0 /\ J + F - 4 >= 0 /\ A + F - 4 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 2 >= 0 /\ A - B - 2 >= 0 /\ J + B >= 0 /\ A + B >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A >= H + 1 /\ A >= H /\ H + D + B >= 0 /\ H + D >= B + 2 /\ H + B >= D /\ H >= D + B + 2 /\ F = 3 /\ J = A ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl21(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ 0 >= F + 1 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ H + D + B >= 1 /\ A >= H /\ J = A ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl21(A, B, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ F >= 4 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ H + D + B >= 1 /\ A >= H /\ J = A ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl121(A, B, C, D + 1, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ H + D + B >= 1 /\ A >= H /\ F = 0 /\ J = A ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl141(A, B, C, D - 1, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ H + D + B >= 1 /\ A >= H /\ F = 1 /\ J = A ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl171(A, B + 1, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ H + D + B >= 1 /\ A >= H /\ F = 2 /\ J = A ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl191(A, B - 1, C, D, E, F, G, H, I, J)) [ J - H >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ J - B - 1 >= 0 /\ A - B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ H + D >= B + 1 /\ H + B >= D + 1 /\ H >= D + B + 1 /\ H + D + B >= 1 /\ A >= H /\ F = 3 /\ J = A ] start0(A, B, C, D, E, F, G, H, I, J) -> Com_1(start(A, C, C, E, E, G, G, I, I, A)) )