(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start0)) (VAR A B C D E F G H I J K L) (RULES start0(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(start(A, C, C, E, E, G, G, I, I, K, K, A)) start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl111(A, B, C, D, E, 1, G, 1, I, 0, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ A >= 1 /\ E >= 1 /\ C >= 1 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = A ] start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl121(A, B, C, D, E, 0, G, 1, I, 0, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ E >= 1 /\ C >= 1 /\ L = 0 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ A = 0 ] start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl131(A, B, C, D, E, F, G, 0, I, 1, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ A >= 0 /\ C >= 1 /\ D = 0 /\ B = C /\ E = 0 /\ F = G /\ H = I /\ J = K /\ L = A ] start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, 0, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ A >= 0 /\ E >= 0 /\ B = 0 /\ C = 0 /\ D = E /\ F = G /\ H = I /\ J = K /\ L = A ] start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ 0 >= C + 1 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = A ] start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ 0 >= E + 1 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = A ] start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L)) [ 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 - L >= 0 /\ -A + L >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ 0 >= A + 1 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = A ] lbl111(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl111(A, B, C, D, E, F + 1, G, H, I, J, K, L)) [ -H + 1 >= 0 /\ F - H >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ C - H >= 0 /\ B - H >= 0 /\ L - H >= 0 /\ J - H + 1 >= 0 /\ -J - H + 1 >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 2 >= 0 /\ E + H - 2 >= 0 /\ D + H - 2 >= 0 /\ C + H - 2 >= 0 /\ B + H - 2 >= 0 /\ L + H - 2 >= 0 /\ J + H - 1 >= 0 /\ -J + H - 1 >= 0 /\ A + H - 2 >= 0 /\ L - F >= 0 /\ A - F >= 0 /\ F - 1 >= 0 /\ E + F - 2 >= 0 /\ D + F - 2 >= 0 /\ C + F - 2 >= 0 /\ B + F - 2 >= 0 /\ L + F - 2 >= 0 /\ J + F - 1 >= 0 /\ -J + F - 1 >= 0 /\ A + F - 2 >= 0 /\ D - E >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ L + E - 2 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A + E - 2 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ B + D - 2 >= 0 /\ L + D - 2 >= 0 /\ J + D - 1 >= 0 /\ -J + D - 1 >= 0 /\ A + D - 2 >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 2 >= 0 /\ J + C - 1 >= 0 /\ -J + C - 1 >= 0 /\ A + C - 2 >= 0 /\ B - 1 >= 0 /\ L + B - 2 >= 0 /\ J + B - 1 >= 0 /\ -J + B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - L >= 0 /\ L - 1 >= 0 /\ J + L - 1 >= 0 /\ -J + L - 1 >= 0 /\ A + L - 2 >= 0 /\ -A + L >= 0 /\ -J >= 0 /\ A - J - 1 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ A >= F + 1 /\ F >= J + 1 /\ E >= 1 /\ A >= F /\ C >= J + 1 /\ H = 1 /\ L = A /\ D = E /\ B = C ] lbl111(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl121(A, B, C, D, E, F, G, H, I, F, K, L)) [ -H + 1 >= 0 /\ F - H >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ C - H >= 0 /\ B - H >= 0 /\ L - H >= 0 /\ J - H + 1 >= 0 /\ -J - H + 1 >= 0 /\ A - H >= 0 /\ H - 1 >= 0 /\ F + H - 2 >= 0 /\ E + H - 2 >= 0 /\ D + H - 2 >= 0 /\ C + H - 2 >= 0 /\ B + H - 2 >= 0 /\ L + H - 2 >= 0 /\ J + H - 1 >= 0 /\ -J + H - 1 >= 0 /\ A + H - 2 >= 0 /\ L - F >= 0 /\ A - F >= 0 /\ F - 1 >= 0 /\ E + F - 2 >= 0 /\ D + F - 2 >= 0 /\ C + F - 2 >= 0 /\ B + F - 2 >= 0 /\ L + F - 2 >= 0 /\ J + F - 1 >= 0 /\ -J + F - 1 >= 0 /\ A + F - 2 >= 0 /\ D - E >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ L + E - 2 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A + E - 2 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ B + D - 2 >= 0 /\ L + D - 2 >= 0 /\ J + D - 1 >= 0 /\ -J + D - 1 >= 0 /\ A + D - 2 >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 2 >= 0 /\ J + C - 1 >= 0 /\ -J + C - 1 >= 0 /\ A + C - 2 >= 0 /\ B - 1 >= 0 /\ L + B - 2 >= 0 /\ J + B - 1 >= 0 /\ -J + B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - L >= 0 /\ L - 1 >= 0 /\ J + L - 1 >= 0 /\ -J + L - 1 >= 0 /\ A + L - 2 >= 0 /\ -A + L >= 0 /\ -J >= 0 /\ A - J - 1 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ A >= J + 1 /\ E >= 1 /\ C >= J + 1 /\ F = A /\ H = 1 /\ L = A /\ D = E /\ B = C ] lbl121(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl121(A, B, C, D, E, J, G, H + 1, I, J, K, L)) [ E - H >= 0 /\ D - H >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ D + H - 2 >= 0 /\ C + H - 2 >= 0 /\ B + H - 2 >= 0 /\ L + H - 1 >= 0 /\ J + H - 1 >= 0 /\ A + H - 1 >= 0 /\ J - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ B + F - 1 >= 0 /\ L + F >= 0 /\ -L + F >= 0 /\ J + F >= 0 /\ -J + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ L + E - 1 >= 0 /\ J + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ B + D - 2 >= 0 /\ L + D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 1 >= 0 /\ J + C - 1 >= 0 /\ A + C - 1 >= 0 /\ B - 1 >= 0 /\ L + B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ J - L >= 0 /\ A - L >= 0 /\ L >= 0 /\ J + L >= 0 /\ A + L >= 0 /\ -A + L >= 0 /\ J >= 0 /\ A + J >= 0 /\ -A + J >= 0 /\ A >= 0 /\ E >= H + 1 /\ F >= A /\ A + C >= F + 1 /\ E >= H /\ H >= 1 /\ J = F /\ L = A /\ D = E /\ B = C ] lbl121(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl131(A, B, C, D, E, F, G, H, I, J + 1, K, L)) [ E - H >= 0 /\ D - H >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ D + H - 2 >= 0 /\ C + H - 2 >= 0 /\ B + H - 2 >= 0 /\ L + H - 1 >= 0 /\ J + H - 1 >= 0 /\ A + H - 1 >= 0 /\ J - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ B + F - 1 >= 0 /\ L + F >= 0 /\ -L + F >= 0 /\ J + F >= 0 /\ -J + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ B + E - 2 >= 0 /\ L + E - 1 >= 0 /\ J + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ B + D - 2 >= 0 /\ L + D - 1 >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 1 >= 0 /\ J + C - 1 >= 0 /\ A + C - 1 >= 0 /\ B - 1 >= 0 /\ L + B - 1 >= 0 /\ J + B - 1 >= 0 /\ A + B - 1 >= 0 /\ J - L >= 0 /\ A - L >= 0 /\ L >= 0 /\ J + L >= 0 /\ A + L >= 0 /\ -A + L >= 0 /\ J >= 0 /\ A + J >= 0 /\ -A + J >= 0 /\ A >= 0 /\ A + C >= F + 1 /\ F >= A /\ E >= 1 /\ H = E /\ J = F /\ L = A /\ D = E /\ B = C ] lbl131(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl131(A, B, C, D, E, F, G, 0, I, J + 1, K, L)) [ E - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ E + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ -D + H >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ L + H >= 0 /\ J + H - 1 >= 0 /\ A + H >= 0 /\ D - E >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ L + E >= 0 /\ J + E - 1 >= 0 /\ A + E >= 0 /\ D >= 0 /\ C + D - 1 >= 0 /\ B + D - 1 >= 0 /\ L + D >= 0 /\ J + D - 1 >= 0 /\ A + D >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 1 >= 0 /\ J + C - 2 >= 0 /\ A + C - 1 >= 0 /\ B - 1 >= 0 /\ L + B - 1 >= 0 /\ J + B - 2 >= 0 /\ A + B - 1 >= 0 /\ A - L >= 0 /\ L >= 0 /\ J + L - 1 >= 0 /\ A + L >= 0 /\ -A + L >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ A >= 0 /\ C >= J + 1 /\ C >= 1 /\ A + C >= J /\ J >= 1 /\ H = 0 /\ D = 0 /\ L = A /\ E = 0 /\ B = C ] lbl131(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L)) [ E - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ E + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ -D + H >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ L + H >= 0 /\ J + H - 1 >= 0 /\ A + H >= 0 /\ D - E >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ L + E >= 0 /\ J + E - 1 >= 0 /\ A + E >= 0 /\ D >= 0 /\ C + D - 1 >= 0 /\ B + D - 1 >= 0 /\ L + D >= 0 /\ J + D - 1 >= 0 /\ A + D >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 1 >= 0 /\ J + C - 2 >= 0 /\ A + C - 1 >= 0 /\ B - 1 >= 0 /\ L + B - 1 >= 0 /\ J + B - 2 >= 0 /\ A + B - 1 >= 0 /\ A - L >= 0 /\ L >= 0 /\ J + L - 1 >= 0 /\ A + L >= 0 /\ -A + L >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ A >= 0 /\ J >= C /\ C >= 1 /\ A + C >= J /\ J >= 1 /\ H = E /\ L = A /\ D = E /\ B = C ] lbl131(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl121(A, B, C, D, E, J, G, 1, I, J, K, L)) [ E - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ E + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ -D + H >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ L + H >= 0 /\ J + H - 1 >= 0 /\ A + H >= 0 /\ D - E >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ L + E >= 0 /\ J + E - 1 >= 0 /\ A + E >= 0 /\ D >= 0 /\ C + D - 1 >= 0 /\ B + D - 1 >= 0 /\ L + D >= 0 /\ J + D - 1 >= 0 /\ A + D >= 0 /\ B - C >= 0 /\ C - 1 >= 0 /\ B + C - 2 >= 0 /\ -B + C >= 0 /\ L + C - 1 >= 0 /\ J + C - 2 >= 0 /\ A + C - 1 >= 0 /\ B - 1 >= 0 /\ L + B - 1 >= 0 /\ J + B - 2 >= 0 /\ A + B - 1 >= 0 /\ A - L >= 0 /\ L >= 0 /\ J + L - 1 >= 0 /\ A + L >= 0 /\ -A + L >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ A >= 0 /\ E >= 1 /\ C >= J + 1 /\ J >= A /\ C >= 1 /\ A + C >= J /\ J >= 1 /\ H = E /\ L = A /\ D = E /\ B = C ] )