(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f23)) (VAR A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1) (RULES f8(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f8(A, B, B, B, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -I + 2 >= 0 /\ H - I >= 0 /\ -H - I + 4 >= 0 /\ G - I + 1 >= 0 /\ -G - I + 3 >= 0 /\ Z - I + 2 >= 0 /\ -Z - I + 2 >= 0 /\ X - I >= 0 /\ -X - I + 4 >= 0 /\ N - I >= 0 /\ -N - I + 4 >= 0 /\ J - I + 1 >= 0 /\ -J - I + 3 >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ -H + I >= 0 /\ G + I - 3 >= 0 /\ -G + I + 1 >= 0 /\ Z + I - 1 >= 0 /\ -Z + I - 1 >= 0 /\ X + I - 3 >= 0 /\ -X + I + 1 >= 0 /\ N + I - 3 >= 0 /\ -N + I + 1 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 1 >= 0 /\ -H + 2 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 3 >= 0 /\ Z - H + 2 >= 0 /\ -Z - H + 2 >= 0 /\ X - H >= 0 /\ -X - H + 4 >= 0 /\ N - H >= 0 /\ -N - H + 4 >= 0 /\ J - H + 1 >= 0 /\ -J - H + 3 >= 0 /\ H - 1 >= 0 /\ G + H - 3 >= 0 /\ -G + H + 1 >= 0 /\ Z + H - 1 >= 0 /\ -Z + H - 1 >= 0 /\ X + H - 3 >= 0 /\ -X + H + 1 >= 0 /\ N + H - 3 >= 0 /\ -N + H + 1 >= 0 /\ J + H - 3 >= 0 /\ -J + H + 1 >= 0 /\ -G + 2 >= 0 /\ Z - G + 2 >= 0 /\ -Z - G + 2 >= 0 /\ X - G >= 0 /\ -X - G + 4 >= 0 /\ N - G >= 0 /\ -N - G + 4 >= 0 /\ J - G >= 0 /\ -J - G + 4 >= 0 /\ G - 1 >= 0 /\ Z + G - 1 >= 0 /\ -Z + G - 1 >= 0 /\ X + G - 3 >= 0 /\ -X + G + 1 >= 0 /\ N + G - 3 >= 0 /\ -N + G + 1 >= 0 /\ J + G - 2 >= 0 /\ -J + G >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ -Z >= 0 /\ X - Z - 2 >= 0 /\ -X - Z + 2 >= 0 /\ N - Z - 2 >= 0 /\ -N - Z + 2 >= 0 /\ J - Z - 1 >= 0 /\ -J - Z + 2 >= 0 /\ Z >= 0 /\ X + Z - 2 >= 0 /\ -X + Z + 2 >= 0 /\ N + Z - 2 >= 0 /\ -N + Z + 2 >= 0 /\ J + Z - 1 >= 0 /\ -J + Z + 2 >= 0 /\ -X + 2 >= 0 /\ N - X >= 0 /\ -N - X + 4 >= 0 /\ J - X + 1 >= 0 /\ -J - X + 4 >= 0 /\ X - 2 >= 0 /\ N + X - 4 >= 0 /\ -N + X >= 0 /\ J + X - 3 >= 0 /\ -J + X >= 0 /\ -N + 2 >= 0 /\ J - N + 1 >= 0 /\ -J - N + 4 >= 0 /\ N - 2 >= 0 /\ J + N - 3 >= 0 /\ -J + N >= 0 /\ -J + 2 >= 0 /\ J - 1 >= 0 /\ A >= B + 1 ] f8(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f8(A, B, B, B, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -I + 2 >= 0 /\ H - I >= 0 /\ -H - I + 4 >= 0 /\ G - I + 1 >= 0 /\ -G - I + 3 >= 0 /\ Z - I + 2 >= 0 /\ -Z - I + 2 >= 0 /\ X - I >= 0 /\ -X - I + 4 >= 0 /\ N - I >= 0 /\ -N - I + 4 >= 0 /\ J - I + 1 >= 0 /\ -J - I + 3 >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ -H + I >= 0 /\ G + I - 3 >= 0 /\ -G + I + 1 >= 0 /\ Z + I - 1 >= 0 /\ -Z + I - 1 >= 0 /\ X + I - 3 >= 0 /\ -X + I + 1 >= 0 /\ N + I - 3 >= 0 /\ -N + I + 1 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 1 >= 0 /\ -H + 2 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 3 >= 0 /\ Z - H + 2 >= 0 /\ -Z - H + 2 >= 0 /\ X - H >= 0 /\ -X - H + 4 >= 0 /\ N - H >= 0 /\ -N - H + 4 >= 0 /\ J - H + 1 >= 0 /\ -J - H + 3 >= 0 /\ H - 1 >= 0 /\ G + H - 3 >= 0 /\ -G + H + 1 >= 0 /\ Z + H - 1 >= 0 /\ -Z + H - 1 >= 0 /\ X + H - 3 >= 0 /\ -X + H + 1 >= 0 /\ N + H - 3 >= 0 /\ -N + H + 1 >= 0 /\ J + H - 3 >= 0 /\ -J + H + 1 >= 0 /\ -G + 2 >= 0 /\ Z - G + 2 >= 0 /\ -Z - G + 2 >= 0 /\ X - G >= 0 /\ -X - G + 4 >= 0 /\ N - G >= 0 /\ -N - G + 4 >= 0 /\ J - G >= 0 /\ -J - G + 4 >= 0 /\ G - 1 >= 0 /\ Z + G - 1 >= 0 /\ -Z + G - 1 >= 0 /\ X + G - 3 >= 0 /\ -X + G + 1 >= 0 /\ N + G - 3 >= 0 /\ -N + G + 1 >= 0 /\ J + G - 2 >= 0 /\ -J + G >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ -Z >= 0 /\ X - Z - 2 >= 0 /\ -X - Z + 2 >= 0 /\ N - Z - 2 >= 0 /\ -N - Z + 2 >= 0 /\ J - Z - 1 >= 0 /\ -J - Z + 2 >= 0 /\ Z >= 0 /\ X + Z - 2 >= 0 /\ -X + Z + 2 >= 0 /\ N + Z - 2 >= 0 /\ -N + Z + 2 >= 0 /\ J + Z - 1 >= 0 /\ -J + Z + 2 >= 0 /\ -X + 2 >= 0 /\ N - X >= 0 /\ -N - X + 4 >= 0 /\ J - X + 1 >= 0 /\ -J - X + 4 >= 0 /\ X - 2 >= 0 /\ N + X - 4 >= 0 /\ -N + X >= 0 /\ J + X - 3 >= 0 /\ -J + X >= 0 /\ -N + 2 >= 0 /\ J - N + 1 >= 0 /\ -J - N + 4 >= 0 /\ N - 2 >= 0 /\ J + N - 3 >= 0 /\ -J + N >= 0 /\ -J + 2 >= 0 /\ J - 1 >= 0 /\ B >= A + 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f2(A, B, C, D, E, B1, G - 1, H + 1, H + 1, G - 1, C1, D1, G - 1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ H - I >= 0 /\ -G - I + 3 >= 0 /\ -J - I + 3 >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ -H + I >= 0 /\ G + I - 3 >= 0 /\ -G + I + 1 >= 0 /\ Z + I - 1 >= 0 /\ -Z + I - 1 >= 0 /\ X + I - 3 >= 0 /\ -X + I + 1 >= 0 /\ N + I - 3 >= 0 /\ -N + I + 1 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 1 >= 0 /\ -G - H + 3 >= 0 /\ -J - H + 3 >= 0 /\ H - 1 >= 0 /\ G + H - 3 >= 0 /\ -G + H + 1 >= 0 /\ Z + H - 1 >= 0 /\ -Z + H - 1 >= 0 /\ X + H - 3 >= 0 /\ -X + H + 1 >= 0 /\ N + H - 3 >= 0 /\ -N + H + 1 >= 0 /\ J + H - 3 >= 0 /\ -J + H + 1 >= 0 /\ -G + 2 >= 0 /\ Z - G + 2 >= 0 /\ -Z - G + 2 >= 0 /\ X - G >= 0 /\ -X - G + 4 >= 0 /\ N - G >= 0 /\ -N - G + 4 >= 0 /\ J - G >= 0 /\ -J - G + 4 >= 0 /\ -J + G >= 0 /\ -Z >= 0 /\ X - Z - 2 >= 0 /\ -X - Z + 2 >= 0 /\ N - Z - 2 >= 0 /\ -N - Z + 2 >= 0 /\ -J - Z + 2 >= 0 /\ Z >= 0 /\ X + Z - 2 >= 0 /\ -X + Z + 2 >= 0 /\ N + Z - 2 >= 0 /\ -N + Z + 2 >= 0 /\ -J + Z + 2 >= 0 /\ -X + 2 >= 0 /\ N - X >= 0 /\ -N - X + 4 >= 0 /\ -J - X + 4 >= 0 /\ X - 2 >= 0 /\ N + X - 4 >= 0 /\ -N + X >= 0 /\ -J + X >= 0 /\ -N + 2 >= 0 /\ -J - N + 4 >= 0 /\ N - 2 >= 0 /\ -J + N >= 0 /\ -J + 2 >= 0 /\ E >= F + 1 /\ G >= 1 /\ H >= 0 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f2(A, B, C, D, E, B1, G - 1, H + 1, H + 1, G - 1, C1, D1, G - 1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ H - I >= 0 /\ -G - I + 3 >= 0 /\ -J - I + 3 >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ -H + I >= 0 /\ G + I - 3 >= 0 /\ -G + I + 1 >= 0 /\ Z + I - 1 >= 0 /\ -Z + I - 1 >= 0 /\ X + I - 3 >= 0 /\ -X + I + 1 >= 0 /\ N + I - 3 >= 0 /\ -N + I + 1 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 1 >= 0 /\ -G - H + 3 >= 0 /\ -J - H + 3 >= 0 /\ H - 1 >= 0 /\ G + H - 3 >= 0 /\ -G + H + 1 >= 0 /\ Z + H - 1 >= 0 /\ -Z + H - 1 >= 0 /\ X + H - 3 >= 0 /\ -X + H + 1 >= 0 /\ N + H - 3 >= 0 /\ -N + H + 1 >= 0 /\ J + H - 3 >= 0 /\ -J + H + 1 >= 0 /\ -G + 2 >= 0 /\ Z - G + 2 >= 0 /\ -Z - G + 2 >= 0 /\ X - G >= 0 /\ -X - G + 4 >= 0 /\ N - G >= 0 /\ -N - G + 4 >= 0 /\ J - G >= 0 /\ -J - G + 4 >= 0 /\ -J + G >= 0 /\ -Z >= 0 /\ X - Z - 2 >= 0 /\ -X - Z + 2 >= 0 /\ N - Z - 2 >= 0 /\ -N - Z + 2 >= 0 /\ -J - Z + 2 >= 0 /\ Z >= 0 /\ X + Z - 2 >= 0 /\ -X + Z + 2 >= 0 /\ N + Z - 2 >= 0 /\ -N + Z + 2 >= 0 /\ -J + Z + 2 >= 0 /\ -X + 2 >= 0 /\ N - X >= 0 /\ -N - X + 4 >= 0 /\ -J - X + 4 >= 0 /\ X - 2 >= 0 /\ N + X - 4 >= 0 /\ -N + X >= 0 /\ -J + X >= 0 /\ -N + 2 >= 0 /\ -J - N + 4 >= 0 /\ N - 2 >= 0 /\ -J + N >= 0 /\ -J + 2 >= 0 /\ F >= E + 1 /\ G >= 1 /\ H >= 0 ] f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f2(A, B, C, D, E, B1, 2, 1, 1, 2, K, L, M, 2, C1, D1, F1, G1, G1, G1, G1, H1, I1, 2, J1, 0, A1)) [ E >= E1 + 1 ] f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f2(A, B, C, D, E, B1, 2, 1, 1, 2, K, L, M, 2, C1, D1, F1, G1, G1, G1, G1, H1, I1, 2, J1, 0, A1)) [ E1 >= E + 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f8(A, C1, C1, C1, F, F, G, H, I, J, K, L, M, N, O, P, B1, R, S, T, D1, V, W, X, Y, Z, F1)) [ H - I >= 0 /\ -G - I + 3 >= 0 /\ -J - I + 3 >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ -H + I >= 0 /\ G + I - 3 >= 0 /\ -G + I + 1 >= 0 /\ Z + I - 1 >= 0 /\ -Z + I - 1 >= 0 /\ X + I - 3 >= 0 /\ -X + I + 1 >= 0 /\ N + I - 3 >= 0 /\ -N + I + 1 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 1 >= 0 /\ -G - H + 3 >= 0 /\ -J - H + 3 >= 0 /\ H - 1 >= 0 /\ G + H - 3 >= 0 /\ -G + H + 1 >= 0 /\ Z + H - 1 >= 0 /\ -Z + H - 1 >= 0 /\ X + H - 3 >= 0 /\ -X + H + 1 >= 0 /\ N + H - 3 >= 0 /\ -N + H + 1 >= 0 /\ J + H - 3 >= 0 /\ -J + H + 1 >= 0 /\ -G + 2 >= 0 /\ Z - G + 2 >= 0 /\ -Z - G + 2 >= 0 /\ X - G >= 0 /\ -X - G + 4 >= 0 /\ N - G >= 0 /\ -N - G + 4 >= 0 /\ J - G >= 0 /\ -J - G + 4 >= 0 /\ -J + G >= 0 /\ -Z >= 0 /\ X - Z - 2 >= 0 /\ -X - Z + 2 >= 0 /\ N - Z - 2 >= 0 /\ -N - Z + 2 >= 0 /\ -J - Z + 2 >= 0 /\ Z >= 0 /\ X + Z - 2 >= 0 /\ -X + Z + 2 >= 0 /\ N + Z - 2 >= 0 /\ -N + Z + 2 >= 0 /\ -J + Z + 2 >= 0 /\ -X + 2 >= 0 /\ N - X >= 0 /\ -N - X + 4 >= 0 /\ -J - X + 4 >= 0 /\ X - 2 >= 0 /\ N + X - 4 >= 0 /\ -N + X >= 0 /\ -J + X >= 0 /\ -N + 2 >= 0 /\ -J - N + 4 >= 0 /\ N - 2 >= 0 /\ -J + N >= 0 /\ -J + 2 >= 0 /\ A >= C1 + 1 /\ G >= 1 /\ H >= 0 /\ F = E ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1) -> Com_1(f8(A, C1, C1, C1, F, F, G, H, I, J, K, L, M, N, O, P, B1, R, S, T, D1, V, W, X, Y, Z, F1)) [ H - I >= 0 /\ -G - I + 3 >= 0 /\ -J - I + 3 >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ -H + I >= 0 /\ G + I - 3 >= 0 /\ -G + I + 1 >= 0 /\ Z + I - 1 >= 0 /\ -Z + I - 1 >= 0 /\ X + I - 3 >= 0 /\ -X + I + 1 >= 0 /\ N + I - 3 >= 0 /\ -N + I + 1 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 1 >= 0 /\ -G - H + 3 >= 0 /\ -J - H + 3 >= 0 /\ H - 1 >= 0 /\ G + H - 3 >= 0 /\ -G + H + 1 >= 0 /\ Z + H - 1 >= 0 /\ -Z + H - 1 >= 0 /\ X + H - 3 >= 0 /\ -X + H + 1 >= 0 /\ N + H - 3 >= 0 /\ -N + H + 1 >= 0 /\ J + H - 3 >= 0 /\ -J + H + 1 >= 0 /\ -G + 2 >= 0 /\ Z - G + 2 >= 0 /\ -Z - G + 2 >= 0 /\ X - G >= 0 /\ -X - G + 4 >= 0 /\ N - G >= 0 /\ -N - G + 4 >= 0 /\ J - G >= 0 /\ -J - G + 4 >= 0 /\ -J + G >= 0 /\ -Z >= 0 /\ X - Z - 2 >= 0 /\ -X - Z + 2 >= 0 /\ N - Z - 2 >= 0 /\ -N - Z + 2 >= 0 /\ -J - Z + 2 >= 0 /\ Z >= 0 /\ X + Z - 2 >= 0 /\ -X + Z + 2 >= 0 /\ N + Z - 2 >= 0 /\ -N + Z + 2 >= 0 /\ -J + Z + 2 >= 0 /\ -X + 2 >= 0 /\ N - X >= 0 /\ -N - X + 4 >= 0 /\ -J - X + 4 >= 0 /\ X - 2 >= 0 /\ N + X - 4 >= 0 /\ -N + X >= 0 /\ -J + X >= 0 /\ -N + 2 >= 0 /\ -J - N + 4 >= 0 /\ N - 2 >= 0 /\ -J + N >= 0 /\ -J + 2 >= 0 /\ C1 >= A + 1 /\ G >= 1 /\ H >= 0 /\ F = E ] )