(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, B, C, D, 1, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -C + G >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ B - D >= 0 /\ -B + D >= 0 /\ A - J >= 0 /\ -A + J >= 0 /\ A >= 1 /\ B >= C + 1 /\ D = B /\ E = F /\ G = C /\ H = I /\ J = A ] start(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl71(A, B, C, D + 1, 1, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -C + G >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ B - D >= 0 /\ -B + D >= 0 /\ A - J >= 0 /\ -A + J >= 0 /\ A >= 1 /\ C >= B /\ D = B /\ E = F /\ G = C /\ H = I /\ J = A ] start(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, -1, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -C + G >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ B - D >= 0 /\ -B + D >= 0 /\ A - J >= 0 /\ -A + J >= 0 /\ B >= C + 1 /\ 0 >= A /\ D = B /\ E = F /\ G = C /\ H = I /\ J = A ] start(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D + 1, -1, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -C + G >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ B - D >= 0 /\ -B + D >= 0 /\ A - J >= 0 /\ -A + J >= 0 /\ C >= B /\ 0 >= A /\ D = B /\ E = F /\ G = C /\ H = I /\ J = A ] lbl71(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -D + G + 1 >= 0 /\ -C + G >= 0 /\ -B + G >= 0 /\ -E + 1 >= 0 /\ J - E >= 0 /\ A - E >= 0 /\ E - 1 >= 0 /\ J + E - 2 >= 0 /\ A + E - 2 >= 0 /\ C - D + 1 >= 0 /\ -B + D - 1 >= 0 /\ -B + C >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ C >= B /\ A >= 1 /\ D = C + 1 /\ E = 1 /\ J = A /\ H = I /\ G = C ] lbl71(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl71(A, B, C, E + D, E, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -D + G + 1 >= 0 /\ -C + G >= 0 /\ -B + G >= 0 /\ -E + 1 >= 0 /\ J - E >= 0 /\ A - E >= 0 /\ E - 1 >= 0 /\ J + E - 2 >= 0 /\ A + E - 2 >= 0 /\ C - D + 1 >= 0 /\ -B + D - 1 >= 0 /\ -B + C >= 0 /\ A - J >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ A - 1 >= 0 /\ A >= 1 /\ C >= D /\ D >= B + 1 /\ C + 1 >= D /\ E = 1 /\ J = A /\ H = I /\ G = C ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -D + G + 1 >= 0 /\ -C + G >= 0 /\ -B + G >= 0 /\ -E - 1 >= 0 /\ -J - E - 1 >= 0 /\ -A - E - 1 >= 0 /\ E + 1 >= 0 /\ -J + E + 1 >= 0 /\ -A + E + 1 >= 0 /\ C - D + 1 >= 0 /\ -B + D - 1 >= 0 /\ -B + C >= 0 /\ -J >= 0 /\ A - J >= 0 /\ -A - J >= 0 /\ -A + J >= 0 /\ -A >= 0 /\ 0 >= A /\ C >= B /\ D = C + 1 /\ E + 1 = 0 /\ J = A /\ H = I /\ G = C ] lbl81(A, B, C, D, E, F, G, H, I, J) -> Com_1(lbl81(A, B, C, D - E, E, F, G, H, I, J)) [ H - I >= 0 /\ -H + I >= 0 /\ C - G >= 0 /\ -D + G + 1 >= 0 /\ -C + G >= 0 /\ -B + G >= 0 /\ -E - 1 >= 0 /\ -J - E - 1 >= 0 /\ -A - E - 1 >= 0 /\ E + 1 >= 0 /\ -J + E + 1 >= 0 /\ -A + E + 1 >= 0 /\ C - D + 1 >= 0 /\ -B + D - 1 >= 0 /\ -B + C >= 0 /\ -J >= 0 /\ A - J >= 0 /\ -A - J >= 0 /\ -A + J >= 0 /\ -A >= 0 /\ C >= D /\ 0 >= A /\ D >= B + 1 /\ C + 1 >= D /\ E + 1 = 0 /\ J = A /\ H = I /\ G = C ] start0(A, B, C, D, E, F, G, H, I, J) -> Com_1(start(A, B, C, B, F, F, C, I, I, A)) )