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