(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start0)) (VAR A B C D E F G H I J K L M N) (RULES start(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, 0, M, N)) [ 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 - N >= 0 /\ -A + N >= 0 /\ L - M >= 0 /\ -L + M >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ 1 >= A /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = M /\ N = A ] start(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(lbl53(A, B, C, 1, E, F, G, 0, I, 2, K, 0, M, N)) [ 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 - N >= 0 /\ -A + N >= 0 /\ L - M >= 0 /\ -L + M >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ A >= 2 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = M /\ N = A ] start(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(lbl53(A, B, C, 1, E, F, G, 1, I, 2, K, 0, M, N)) [ 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 - N >= 0 /\ -A + N >= 0 /\ L - M >= 0 /\ -L + M >= 0 /\ J - K >= 0 /\ -J + K >= 0 /\ A >= 2 /\ B = C /\ D = E /\ F = G /\ H = I /\ J = K /\ L = M /\ N = A ] lbl91(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(lbl13(A, L, C, D, E, F, G, H, I, J, K, L + 1, M, N)) [ -H + 1 >= 0 /\ D - H >= 0 /\ -D - H + 2 >= 0 /\ N - H - 1 >= 0 /\ -N - H + 3 >= 0 /\ L - H + 1 >= 0 /\ -L - H + 1 >= 0 /\ J - H - 1 >= 0 /\ -J - H + 3 >= 0 /\ A - H - 1 >= 0 /\ -A - H + 3 >= 0 /\ H >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ N + H - 2 >= 0 /\ -N + H + 2 >= 0 /\ L + H >= 0 /\ -L + H >= 0 /\ J + H - 2 >= 0 /\ -J + H + 2 >= 0 /\ A + H - 2 >= 0 /\ -A + H + 2 >= 0 /\ -D + 1 >= 0 /\ N - D - 1 >= 0 /\ -N - D + 3 >= 0 /\ L - D + 1 >= 0 /\ -L - D + 1 >= 0 /\ J - D - 1 >= 0 /\ -J - D + 3 >= 0 /\ A - D - 1 >= 0 /\ -A - D + 3 >= 0 /\ D - 1 >= 0 /\ N + D - 3 >= 0 /\ -N + D + 1 >= 0 /\ L + D - 1 >= 0 /\ -L + D - 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ A + D - 3 >= 0 /\ -A + D + 1 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -N + 2 >= 0 /\ L - N + 2 >= 0 /\ -L - N + 2 >= 0 /\ J - N >= 0 /\ -J - N + 4 >= 0 /\ A - N >= 0 /\ -A - N + 4 >= 0 /\ N - 2 >= 0 /\ L + N - 2 >= 0 /\ -L + N - 2 >= 0 /\ J + N - 4 >= 0 /\ -J + N >= 0 /\ A + N - 4 >= 0 /\ -A + N >= 0 /\ -L >= 0 /\ J - L - 2 >= 0 /\ -J - L + 2 >= 0 /\ A - L - 2 >= 0 /\ -A - L + 2 >= 0 /\ L >= 0 /\ J + L - 2 >= 0 /\ -J + L + 2 >= 0 /\ A + L - 2 >= 0 /\ -A + L + 2 >= 0 /\ -J + 2 >= 0 /\ A - J >= 0 /\ -A - J + 4 >= 0 /\ J - 2 >= 0 /\ A + J - 4 >= 0 /\ -A + J >= 0 /\ -A + 2 >= 0 /\ A - 2 >= 0 /\ D >= H /\ D >= 1 /\ H + 1 >= D /\ A >= D + 1 /\ N = A /\ L + 1 = D /\ J = A ] lbl53(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(lbl91(A, B, C, D, E, O, G, H, I, J, K, L, M, N)) [ D - H >= 0 /\ N - H - 1 >= 0 /\ J - H - 1 >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ D + H - 1 >= 0 /\ N + H - 2 >= 0 /\ L + H >= 0 /\ -L + H >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ N - D - 1 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ D - 1 >= 0 /\ N + D - 3 >= 0 /\ L + D - 1 >= 0 /\ -L + D - 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ A + D - 3 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ A - N >= 0 /\ N - 2 >= 0 /\ L + N - 2 >= 0 /\ -L + N - 2 >= 0 /\ J + N - 4 >= 0 /\ -J + N >= 0 /\ A + N - 4 >= 0 /\ -A + N >= 0 /\ -L >= 0 /\ J - L - 2 >= 0 /\ A - L - 2 >= 0 /\ L >= 0 /\ J + L - 2 >= 0 /\ A + L - 2 >= 0 /\ A - J >= 0 /\ J - 2 >= 0 /\ A + J - 4 >= 0 /\ A - 2 >= 0 /\ D >= H /\ D >= 1 /\ A >= D + 1 /\ H + 1 >= D /\ J = A /\ L + 1 = D /\ N = A ] lbl53(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(lbl53(A, B, C, J, E, F, G, H, I, J + 1, K, L, M, N)) [ D - H >= 0 /\ N - H - 1 >= 0 /\ J - H - 1 >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ D + H - 1 >= 0 /\ N + H - 2 >= 0 /\ L + H >= 0 /\ -L + H >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ N - D - 1 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ D - 1 >= 0 /\ N + D - 3 >= 0 /\ L + D - 1 >= 0 /\ -L + D - 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ A + D - 3 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ A - N >= 0 /\ N - 2 >= 0 /\ L + N - 2 >= 0 /\ -L + N - 2 >= 0 /\ J + N - 4 >= 0 /\ -J + N >= 0 /\ A + N - 4 >= 0 /\ -A + N >= 0 /\ -L >= 0 /\ J - L - 2 >= 0 /\ A - L - 2 >= 0 /\ L >= 0 /\ J + L - 2 >= 0 /\ A + L - 2 >= 0 /\ A - J >= 0 /\ J - 2 >= 0 /\ A + J - 4 >= 0 /\ A - 2 >= 0 /\ A >= J + 1 /\ D >= H /\ D >= 1 /\ A >= J /\ J >= D + 1 /\ H + 1 >= D /\ L + 1 = D /\ N = A ] lbl53(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(lbl53(A, B, C, J, E, F, G, J, I, J + 1, K, L, M, N)) [ D - H >= 0 /\ N - H - 1 >= 0 /\ J - H - 1 >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ D + H - 1 >= 0 /\ N + H - 2 >= 0 /\ L + H >= 0 /\ -L + H >= 0 /\ J + H - 2 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ N - D - 1 >= 0 /\ J - D - 1 >= 0 /\ A - D - 1 >= 0 /\ D - 1 >= 0 /\ N + D - 3 >= 0 /\ L + D - 1 >= 0 /\ -L + D - 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ A + D - 3 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ A - N >= 0 /\ N - 2 >= 0 /\ L + N - 2 >= 0 /\ -L + N - 2 >= 0 /\ J + N - 4 >= 0 /\ -J + N >= 0 /\ A + N - 4 >= 0 /\ -A + N >= 0 /\ -L >= 0 /\ J - L - 2 >= 0 /\ A - L - 2 >= 0 /\ L >= 0 /\ J + L - 2 >= 0 /\ A + L - 2 >= 0 /\ A - J >= 0 /\ J - 2 >= 0 /\ A + J - 4 >= 0 /\ A - 2 >= 0 /\ A >= J + 1 /\ D >= H /\ D >= 1 /\ A >= J /\ J >= D + 1 /\ H + 1 >= D /\ L + 1 = D /\ N = A ] lbl13(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L, M, N)) [ -H + 1 >= 0 /\ D - H >= 0 /\ -D - H + 2 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 1 >= 0 /\ N - H - 1 >= 0 /\ -N - H + 3 >= 0 /\ L - H >= 0 /\ -L - H + 2 >= 0 /\ J - H - 1 >= 0 /\ -J - H + 3 >= 0 /\ A - H - 1 >= 0 /\ -A - H + 3 >= 0 /\ H >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ B + H >= 0 /\ -B + H >= 0 /\ N + H - 2 >= 0 /\ -N + H + 2 >= 0 /\ L + H - 1 >= 0 /\ -L + H + 1 >= 0 /\ J + H - 2 >= 0 /\ -J + H + 2 >= 0 /\ A + H - 2 >= 0 /\ -A + H + 2 >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ -B - D + 1 >= 0 /\ N - D - 1 >= 0 /\ -N - D + 3 >= 0 /\ L - D >= 0 /\ -L - D + 2 >= 0 /\ J - D - 1 >= 0 /\ -J - D + 3 >= 0 /\ A - D - 1 >= 0 /\ -A - D + 3 >= 0 /\ D - 1 >= 0 /\ B + D - 1 >= 0 /\ -B + D - 1 >= 0 /\ N + D - 3 >= 0 /\ -N + D + 1 >= 0 /\ L + D - 2 >= 0 /\ -L + D >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ A + D - 3 >= 0 /\ -A + D + 1 >= 0 /\ -B >= 0 /\ N - B - 2 >= 0 /\ -N - B + 2 >= 0 /\ L - B - 1 >= 0 /\ -L - B + 1 >= 0 /\ J - B - 2 >= 0 /\ -J - B + 2 >= 0 /\ A - B - 2 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ N + B - 2 >= 0 /\ -N + B + 2 >= 0 /\ L + B - 1 >= 0 /\ -L + B + 1 >= 0 /\ J + B - 2 >= 0 /\ -J + B + 2 >= 0 /\ A + B - 2 >= 0 /\ -A + B + 2 >= 0 /\ -N + 2 >= 0 /\ L - N + 1 >= 0 /\ -L - N + 3 >= 0 /\ J - N >= 0 /\ -J - N + 4 >= 0 /\ A - N >= 0 /\ -A - N + 4 >= 0 /\ N - 2 >= 0 /\ L + N - 3 >= 0 /\ -L + N - 1 >= 0 /\ J + N - 4 >= 0 /\ -J + N >= 0 /\ A + N - 4 >= 0 /\ -A + N >= 0 /\ -L + 1 >= 0 /\ J - L - 1 >= 0 /\ -J - L + 3 >= 0 /\ A - L - 1 >= 0 /\ -A - L + 3 >= 0 /\ L - 1 >= 0 /\ J + L - 3 >= 0 /\ -J + L + 1 >= 0 /\ A + L - 3 >= 0 /\ -A + L + 1 >= 0 /\ -J + 2 >= 0 /\ A - J >= 0 /\ -A - J + 4 >= 0 /\ J - 2 >= 0 /\ A + J - 4 >= 0 /\ -A + J >= 0 /\ -A + 2 >= 0 /\ A - 2 >= 0 /\ H + 2 >= A /\ A >= 2 /\ A >= H + 1 /\ L + 1 = A /\ B + 2 = A /\ D + 1 = A /\ N = A /\ J = A ] start0(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(start(A, C, C, E, E, G, G, I, I, K, K, M, M, A)) )