(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f26)) (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 B1 C1 D1 E1) (RULES f11(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, B1, C1, D1, E1) -> Com_1(f11(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, B1, C1, D1, E1)) [ -I + 4 >= 0 /\ H - I + 3 >= 0 /\ -H - I + 5 >= 0 /\ G - I >= 0 /\ -G - I + 8 >= 0 /\ D1 - I >= 0 /\ -D1 - I + 8 >= 0 /\ U - I + 4 >= 0 /\ -U - I + 4 >= 0 /\ S - I >= 0 /\ -S - I + 8 >= 0 /\ P - I + 1 >= 0 /\ -P - I + 7 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 6 >= 0 /\ J - I + 3 >= 0 /\ -J - I + 5 >= 0 /\ I - 1 >= 0 /\ H + I - 5 >= 0 /\ -H + I + 3 >= 0 /\ G + I - 2 >= 0 /\ -G + I >= 0 /\ D1 + I - 5 >= 0 /\ -D1 + I + 3 >= 0 /\ U + I - 1 >= 0 /\ -U + I - 1 >= 0 /\ S + I - 5 >= 0 /\ -S + I + 3 >= 0 /\ P + I - 4 >= 0 /\ -P + I + 2 >= 0 /\ O + I - 3 >= 0 /\ -O + I + 1 >= 0 /\ J + I - 5 >= 0 /\ -J + I + 3 >= 0 /\ -H + 4 >= 0 /\ G - H + 3 >= 0 /\ -G - H + 5 >= 0 /\ D1 - H >= 0 /\ -D1 - H + 8 >= 0 /\ U - H + 4 >= 0 /\ -U - H + 4 >= 0 /\ S - H >= 0 /\ -S - H + 8 >= 0 /\ P - H + 1 >= 0 /\ -P - H + 7 >= 0 /\ O - H + 2 >= 0 /\ -O - H + 6 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H - 1 >= 0 /\ G + H - 5 >= 0 /\ -G + H + 3 >= 0 /\ D1 + H - 5 >= 0 /\ -D1 + H + 3 >= 0 /\ U + H - 1 >= 0 /\ -U + H - 1 >= 0 /\ S + H - 5 >= 0 /\ -S + H + 3 >= 0 /\ P + H - 4 >= 0 /\ -P + H + 2 >= 0 /\ O + H - 3 >= 0 /\ -O + H + 1 >= 0 /\ J + H - 2 >= 0 /\ -J + H >= 0 /\ -G + 4 >= 0 /\ D1 - G >= 0 /\ -D1 - G + 8 >= 0 /\ U - G + 4 >= 0 /\ -U - G + 4 >= 0 /\ S - G >= 0 /\ -S - G + 8 >= 0 /\ P - G + 1 >= 0 /\ -P - G + 7 >= 0 /\ O - G + 2 >= 0 /\ -O - G + 6 >= 0 /\ J - G + 3 >= 0 /\ -J - G + 5 >= 0 /\ G - 1 >= 0 /\ D1 + G - 5 >= 0 /\ -D1 + G + 3 >= 0 /\ U + G - 1 >= 0 /\ -U + G - 1 >= 0 /\ S + G - 5 >= 0 /\ -S + G + 3 >= 0 /\ P + G - 4 >= 0 /\ -P + G + 2 >= 0 /\ O + G - 3 >= 0 /\ -O + G + 1 >= 0 /\ J + G - 5 >= 0 /\ -J + G + 3 >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ -D1 + 4 >= 0 /\ U - D1 + 4 >= 0 /\ -U - D1 + 4 >= 0 /\ S - D1 >= 0 /\ -S - D1 + 8 >= 0 /\ P - D1 + 1 >= 0 /\ -P - D1 + 7 >= 0 /\ O - D1 + 2 >= 0 /\ -O - D1 + 6 >= 0 /\ J - D1 + 3 >= 0 /\ -J - D1 + 8 >= 0 /\ D1 - 4 >= 0 /\ U + D1 - 4 >= 0 /\ -U + D1 - 4 >= 0 /\ S + D1 - 8 >= 0 /\ -S + D1 >= 0 /\ P + D1 - 7 >= 0 /\ -P + D1 - 1 >= 0 /\ O + D1 - 6 >= 0 /\ -O + D1 - 2 >= 0 /\ J + D1 - 5 >= 0 /\ -J + D1 >= 0 /\ -U >= 0 /\ S - U - 4 >= 0 /\ -S - U + 4 >= 0 /\ P - U - 3 >= 0 /\ -P - U + 3 >= 0 /\ O - U - 2 >= 0 /\ -O - U + 2 >= 0 /\ J - U - 1 >= 0 /\ -J - U + 4 >= 0 /\ U >= 0 /\ S + U - 4 >= 0 /\ -S + U + 4 >= 0 /\ P + U - 3 >= 0 /\ -P + U + 3 >= 0 /\ O + U - 2 >= 0 /\ -O + U + 2 >= 0 /\ J + U - 1 >= 0 /\ -J + U + 4 >= 0 /\ -S + 4 >= 0 /\ P - S + 1 >= 0 /\ -P - S + 7 >= 0 /\ O - S + 2 >= 0 /\ -O - S + 6 >= 0 /\ J - S + 3 >= 0 /\ -J - S + 8 >= 0 /\ S - 4 >= 0 /\ P + S - 7 >= 0 /\ -P + S - 1 >= 0 /\ O + S - 6 >= 0 /\ -O + S - 2 >= 0 /\ J + S - 5 >= 0 /\ -J + S >= 0 /\ -P + 3 >= 0 /\ O - P + 1 >= 0 /\ -O - P + 5 >= 0 /\ J - P + 2 >= 0 /\ -J - P + 7 >= 0 /\ P - 3 >= 0 /\ O + P - 5 >= 0 /\ -O + P - 1 >= 0 /\ J + P - 4 >= 0 /\ -J + P + 1 >= 0 /\ -O + 2 >= 0 /\ J - O + 1 >= 0 /\ -J - O + 6 >= 0 /\ O - 2 >= 0 /\ J + O - 3 >= 0 /\ -J + O + 2 >= 0 /\ -J + 4 >= 0 /\ J - 1 >= 0 /\ A >= B + 1 ] f11(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, B1, C1, D1, E1) -> Com_1(f11(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, B1, C1, D1, E1)) [ -I + 4 >= 0 /\ H - I + 3 >= 0 /\ -H - I + 5 >= 0 /\ G - I >= 0 /\ -G - I + 8 >= 0 /\ D1 - I >= 0 /\ -D1 - I + 8 >= 0 /\ U - I + 4 >= 0 /\ -U - I + 4 >= 0 /\ S - I >= 0 /\ -S - I + 8 >= 0 /\ P - I + 1 >= 0 /\ -P - I + 7 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 6 >= 0 /\ J - I + 3 >= 0 /\ -J - I + 5 >= 0 /\ I - 1 >= 0 /\ H + I - 5 >= 0 /\ -H + I + 3 >= 0 /\ G + I - 2 >= 0 /\ -G + I >= 0 /\ D1 + I - 5 >= 0 /\ -D1 + I + 3 >= 0 /\ U + I - 1 >= 0 /\ -U + I - 1 >= 0 /\ S + I - 5 >= 0 /\ -S + I + 3 >= 0 /\ P + I - 4 >= 0 /\ -P + I + 2 >= 0 /\ O + I - 3 >= 0 /\ -O + I + 1 >= 0 /\ J + I - 5 >= 0 /\ -J + I + 3 >= 0 /\ -H + 4 >= 0 /\ G - H + 3 >= 0 /\ -G - H + 5 >= 0 /\ D1 - H >= 0 /\ -D1 - H + 8 >= 0 /\ U - H + 4 >= 0 /\ -U - H + 4 >= 0 /\ S - H >= 0 /\ -S - H + 8 >= 0 /\ P - H + 1 >= 0 /\ -P - H + 7 >= 0 /\ O - H + 2 >= 0 /\ -O - H + 6 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H - 1 >= 0 /\ G + H - 5 >= 0 /\ -G + H + 3 >= 0 /\ D1 + H - 5 >= 0 /\ -D1 + H + 3 >= 0 /\ U + H - 1 >= 0 /\ -U + H - 1 >= 0 /\ S + H - 5 >= 0 /\ -S + H + 3 >= 0 /\ P + H - 4 >= 0 /\ -P + H + 2 >= 0 /\ O + H - 3 >= 0 /\ -O + H + 1 >= 0 /\ J + H - 2 >= 0 /\ -J + H >= 0 /\ -G + 4 >= 0 /\ D1 - G >= 0 /\ -D1 - G + 8 >= 0 /\ U - G + 4 >= 0 /\ -U - G + 4 >= 0 /\ S - G >= 0 /\ -S - G + 8 >= 0 /\ P - G + 1 >= 0 /\ -P - G + 7 >= 0 /\ O - G + 2 >= 0 /\ -O - G + 6 >= 0 /\ J - G + 3 >= 0 /\ -J - G + 5 >= 0 /\ G - 1 >= 0 /\ D1 + G - 5 >= 0 /\ -D1 + G + 3 >= 0 /\ U + G - 1 >= 0 /\ -U + G - 1 >= 0 /\ S + G - 5 >= 0 /\ -S + G + 3 >= 0 /\ P + G - 4 >= 0 /\ -P + G + 2 >= 0 /\ O + G - 3 >= 0 /\ -O + G + 1 >= 0 /\ J + G - 5 >= 0 /\ -J + G + 3 >= 0 /\ E - F >= 0 /\ -E + F >= 0 /\ -D1 + 4 >= 0 /\ U - D1 + 4 >= 0 /\ -U - D1 + 4 >= 0 /\ S - D1 >= 0 /\ -S - D1 + 8 >= 0 /\ P - D1 + 1 >= 0 /\ -P - D1 + 7 >= 0 /\ O - D1 + 2 >= 0 /\ -O - D1 + 6 >= 0 /\ J - D1 + 3 >= 0 /\ -J - D1 + 8 >= 0 /\ D1 - 4 >= 0 /\ U + D1 - 4 >= 0 /\ -U + D1 - 4 >= 0 /\ S + D1 - 8 >= 0 /\ -S + D1 >= 0 /\ P + D1 - 7 >= 0 /\ -P + D1 - 1 >= 0 /\ O + D1 - 6 >= 0 /\ -O + D1 - 2 >= 0 /\ J + D1 - 5 >= 0 /\ -J + D1 >= 0 /\ -U >= 0 /\ S - U - 4 >= 0 /\ -S - U + 4 >= 0 /\ P - U - 3 >= 0 /\ -P - U + 3 >= 0 /\ O - U - 2 >= 0 /\ -O - U + 2 >= 0 /\ J - U - 1 >= 0 /\ -J - U + 4 >= 0 /\ U >= 0 /\ S + U - 4 >= 0 /\ -S + U + 4 >= 0 /\ P + U - 3 >= 0 /\ -P + U + 3 >= 0 /\ O + U - 2 >= 0 /\ -O + U + 2 >= 0 /\ J + U - 1 >= 0 /\ -J + U + 4 >= 0 /\ -S + 4 >= 0 /\ P - S + 1 >= 0 /\ -P - S + 7 >= 0 /\ O - S + 2 >= 0 /\ -O - S + 6 >= 0 /\ J - S + 3 >= 0 /\ -J - S + 8 >= 0 /\ S - 4 >= 0 /\ P + S - 7 >= 0 /\ -P + S - 1 >= 0 /\ O + S - 6 >= 0 /\ -O + S - 2 >= 0 /\ J + S - 5 >= 0 /\ -J + S >= 0 /\ -P + 3 >= 0 /\ O - P + 1 >= 0 /\ -O - P + 5 >= 0 /\ J - P + 2 >= 0 /\ -J - P + 7 >= 0 /\ P - 3 >= 0 /\ O + P - 5 >= 0 /\ -O + P - 1 >= 0 /\ J + P - 4 >= 0 /\ -J + P + 1 >= 0 /\ -O + 2 >= 0 /\ J - O + 1 >= 0 /\ -J - O + 6 >= 0 /\ O - 2 >= 0 /\ J + O - 3 >= 0 /\ -J + O + 2 >= 0 /\ -J + 4 >= 0 /\ J - 1 >= 0 /\ B >= A + 1 ] f6(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, B1, C1, D1, E1) -> Com_1(f6(A, B, C, D, E, H1, G + 1, H - 1, G + 1, H - 1, F1, G1, H - 1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1)) [ -H - I + 5 >= 0 /\ G - I >= 0 /\ -J - I + 5 >= 0 /\ I - 1 >= 0 /\ H + I - 5 >= 0 /\ -H + I + 3 >= 0 /\ G + I - 2 >= 0 /\ -G + I >= 0 /\ D1 + I - 5 >= 0 /\ -D1 + I + 3 >= 0 /\ U + I - 1 >= 0 /\ -U + I - 1 >= 0 /\ S + I - 5 >= 0 /\ -S + I + 3 >= 0 /\ P + I - 4 >= 0 /\ -P + I + 2 >= 0 /\ O + I - 3 >= 0 /\ -O + I + 1 >= 0 /\ J + I - 5 >= 0 /\ -J + I + 3 >= 0 /\ -H + 4 >= 0 /\ G - H + 3 >= 0 /\ -G - H + 5 >= 0 /\ D1 - H >= 0 /\ -D1 - H + 8 >= 0 /\ U - H + 4 >= 0 /\ -U - H + 4 >= 0 /\ S - H >= 0 /\ -S - H + 8 >= 0 /\ P - H + 1 >= 0 /\ -P - H + 7 >= 0 /\ O - H + 2 >= 0 /\ -O - H + 6 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ G + H - 5 >= 0 /\ -J + H >= 0 /\ -J - G + 5 >= 0 /\ G - 1 >= 0 /\ D1 + G - 5 >= 0 /\ -D1 + G + 3 >= 0 /\ U + G - 1 >= 0 /\ -U + G - 1 >= 0 /\ S + G - 5 >= 0 /\ -S + G + 3 >= 0 /\ P + G - 4 >= 0 /\ -P + G + 2 >= 0 /\ O + G - 3 >= 0 /\ -O + G + 1 >= 0 /\ J + G - 5 >= 0 /\ -J + G + 3 >= 0 /\ -D1 + 4 >= 0 /\ U - D1 + 4 >= 0 /\ -U - D1 + 4 >= 0 /\ S - D1 >= 0 /\ -S - D1 + 8 >= 0 /\ P - D1 + 1 >= 0 /\ -P - D1 + 7 >= 0 /\ O - D1 + 2 >= 0 /\ -O - D1 + 6 >= 0 /\ -J - D1 + 8 >= 0 /\ D1 - 4 >= 0 /\ U + D1 - 4 >= 0 /\ -U + D1 - 4 >= 0 /\ S + D1 - 8 >= 0 /\ -S + D1 >= 0 /\ P + D1 - 7 >= 0 /\ -P + D1 - 1 >= 0 /\ O + D1 - 6 >= 0 /\ -O + D1 - 2 >= 0 /\ -J + D1 >= 0 /\ -U >= 0 /\ S - U - 4 >= 0 /\ -S - U + 4 >= 0 /\ P - U - 3 >= 0 /\ -P - U + 3 >= 0 /\ O - U - 2 >= 0 /\ -O - U + 2 >= 0 /\ -J - U + 4 >= 0 /\ U >= 0 /\ S + U - 4 >= 0 /\ -S + U + 4 >= 0 /\ P + U - 3 >= 0 /\ -P + U + 3 >= 0 /\ O + U - 2 >= 0 /\ -O + U + 2 >= 0 /\ -J + U + 4 >= 0 /\ -S + 4 >= 0 /\ P - S + 1 >= 0 /\ -P - S + 7 >= 0 /\ O - S + 2 >= 0 /\ -O - S + 6 >= 0 /\ -J - S + 8 >= 0 /\ S - 4 >= 0 /\ P + S - 7 >= 0 /\ -P + S - 1 >= 0 /\ O + S - 6 >= 0 /\ -O + S - 2 >= 0 /\ -J + S >= 0 /\ -P + 3 >= 0 /\ O - P + 1 >= 0 /\ -O - P + 5 >= 0 /\ -J - P + 7 >= 0 /\ P - 3 >= 0 /\ O + P - 5 >= 0 /\ -O + P - 1 >= 0 /\ -J + P + 1 >= 0 /\ -O + 2 >= 0 /\ -J - O + 6 >= 0 /\ O - 2 >= 0 /\ -J + O + 2 >= 0 /\ -J + 4 >= 0 /\ E >= F + 1 /\ G >= 0 /\ H >= 1 ] f6(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, B1, C1, D1, E1) -> Com_1(f6(A, B, C, D, E, H1, G + 1, H - 1, G + 1, H - 1, F1, G1, H - 1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1)) [ -H - I + 5 >= 0 /\ G - I >= 0 /\ -J - I + 5 >= 0 /\ I - 1 >= 0 /\ H + I - 5 >= 0 /\ -H + I + 3 >= 0 /\ G + I - 2 >= 0 /\ -G + I >= 0 /\ D1 + I - 5 >= 0 /\ -D1 + I + 3 >= 0 /\ U + I - 1 >= 0 /\ -U + I - 1 >= 0 /\ S + I - 5 >= 0 /\ -S + I + 3 >= 0 /\ P + I - 4 >= 0 /\ -P + I + 2 >= 0 /\ O + I - 3 >= 0 /\ -O + I + 1 >= 0 /\ J + I - 5 >= 0 /\ -J + I + 3 >= 0 /\ -H + 4 >= 0 /\ G - H + 3 >= 0 /\ -G - H + 5 >= 0 /\ D1 - H >= 0 /\ -D1 - H + 8 >= 0 /\ U - H + 4 >= 0 /\ -U - H + 4 >= 0 /\ S - H >= 0 /\ -S - H + 8 >= 0 /\ P - H + 1 >= 0 /\ -P - H + 7 >= 0 /\ O - H + 2 >= 0 /\ -O - H + 6 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ G + H - 5 >= 0 /\ -J + H >= 0 /\ -J - G + 5 >= 0 /\ G - 1 >= 0 /\ D1 + G - 5 >= 0 /\ -D1 + G + 3 >= 0 /\ U + G - 1 >= 0 /\ -U + G - 1 >= 0 /\ S + G - 5 >= 0 /\ -S + G + 3 >= 0 /\ P + G - 4 >= 0 /\ -P + G + 2 >= 0 /\ O + G - 3 >= 0 /\ -O + G + 1 >= 0 /\ J + G - 5 >= 0 /\ -J + G + 3 >= 0 /\ -D1 + 4 >= 0 /\ U - D1 + 4 >= 0 /\ -U - D1 + 4 >= 0 /\ S - D1 >= 0 /\ -S - D1 + 8 >= 0 /\ P - D1 + 1 >= 0 /\ -P - D1 + 7 >= 0 /\ O - D1 + 2 >= 0 /\ -O - D1 + 6 >= 0 /\ -J - D1 + 8 >= 0 /\ D1 - 4 >= 0 /\ U + D1 - 4 >= 0 /\ -U + D1 - 4 >= 0 /\ S + D1 - 8 >= 0 /\ -S + D1 >= 0 /\ P + D1 - 7 >= 0 /\ -P + D1 - 1 >= 0 /\ O + D1 - 6 >= 0 /\ -O + D1 - 2 >= 0 /\ -J + D1 >= 0 /\ -U >= 0 /\ S - U - 4 >= 0 /\ -S - U + 4 >= 0 /\ P - U - 3 >= 0 /\ -P - U + 3 >= 0 /\ O - U - 2 >= 0 /\ -O - U + 2 >= 0 /\ -J - U + 4 >= 0 /\ U >= 0 /\ S + U - 4 >= 0 /\ -S + U + 4 >= 0 /\ P + U - 3 >= 0 /\ -P + U + 3 >= 0 /\ O + U - 2 >= 0 /\ -O + U + 2 >= 0 /\ -J + U + 4 >= 0 /\ -S + 4 >= 0 /\ P - S + 1 >= 0 /\ -P - S + 7 >= 0 /\ O - S + 2 >= 0 /\ -O - S + 6 >= 0 /\ -J - S + 8 >= 0 /\ S - 4 >= 0 /\ P + S - 7 >= 0 /\ -P + S - 1 >= 0 /\ O + S - 6 >= 0 /\ -O + S - 2 >= 0 /\ -J + S >= 0 /\ -P + 3 >= 0 /\ O - P + 1 >= 0 /\ -O - P + 5 >= 0 /\ -J - P + 7 >= 0 /\ P - 3 >= 0 /\ O + P - 5 >= 0 /\ -O + P - 1 >= 0 /\ -J + P + 1 >= 0 /\ -O + 2 >= 0 /\ -J - O + 6 >= 0 /\ O - 2 >= 0 /\ -J + O + 2 >= 0 /\ -J + 4 >= 0 /\ F >= E + 1 /\ G >= 0 /\ H >= 1 ] f26(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, B1, C1, D1, E1) -> Com_1(f6(A, B, C, D, E, L1, 1, 4, 1, 4, K, L, M, F1, 2, 3, G1, H1, 4, J1, 0, K1, M1, M1, M1, M1, N1, O1, P1, 4, E1)) [ E >= I1 + 1 ] f26(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, B1, C1, D1, E1) -> Com_1(f6(A, B, C, D, E, L1, 1, 4, 1, 4, K, L, M, F1, 2, 3, G1, H1, 4, J1, 0, K1, M1, M1, M1, M1, N1, O1, P1, 4, E1)) [ I1 >= E + 1 ] f6(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, B1, C1, D1, E1) -> Com_1(f11(A, J1, J1, J1, F, F, G, H, I, J, K, L, M, F1, O, P, Q, R, S, T, U, V, W, X, Y, G1, A1, B1, C1, D1, H1)) [ -H - I + 5 >= 0 /\ G - I >= 0 /\ -J - I + 5 >= 0 /\ I - 1 >= 0 /\ H + I - 5 >= 0 /\ -H + I + 3 >= 0 /\ G + I - 2 >= 0 /\ -G + I >= 0 /\ D1 + I - 5 >= 0 /\ -D1 + I + 3 >= 0 /\ U + I - 1 >= 0 /\ -U + I - 1 >= 0 /\ S + I - 5 >= 0 /\ -S + I + 3 >= 0 /\ P + I - 4 >= 0 /\ -P + I + 2 >= 0 /\ O + I - 3 >= 0 /\ -O + I + 1 >= 0 /\ J + I - 5 >= 0 /\ -J + I + 3 >= 0 /\ -H + 4 >= 0 /\ G - H + 3 >= 0 /\ -G - H + 5 >= 0 /\ D1 - H >= 0 /\ -D1 - H + 8 >= 0 /\ U - H + 4 >= 0 /\ -U - H + 4 >= 0 /\ S - H >= 0 /\ -S - H + 8 >= 0 /\ P - H + 1 >= 0 /\ -P - H + 7 >= 0 /\ O - H + 2 >= 0 /\ -O - H + 6 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ G + H - 5 >= 0 /\ -J + H >= 0 /\ -J - G + 5 >= 0 /\ G - 1 >= 0 /\ D1 + G - 5 >= 0 /\ -D1 + G + 3 >= 0 /\ U + G - 1 >= 0 /\ -U + G - 1 >= 0 /\ S + G - 5 >= 0 /\ -S + G + 3 >= 0 /\ P + G - 4 >= 0 /\ -P + G + 2 >= 0 /\ O + G - 3 >= 0 /\ -O + G + 1 >= 0 /\ J + G - 5 >= 0 /\ -J + G + 3 >= 0 /\ -D1 + 4 >= 0 /\ U - D1 + 4 >= 0 /\ -U - D1 + 4 >= 0 /\ S - D1 >= 0 /\ -S - D1 + 8 >= 0 /\ P - D1 + 1 >= 0 /\ -P - D1 + 7 >= 0 /\ O - D1 + 2 >= 0 /\ -O - D1 + 6 >= 0 /\ -J - D1 + 8 >= 0 /\ D1 - 4 >= 0 /\ U + D1 - 4 >= 0 /\ -U + D1 - 4 >= 0 /\ S + D1 - 8 >= 0 /\ -S + D1 >= 0 /\ P + D1 - 7 >= 0 /\ -P + D1 - 1 >= 0 /\ O + D1 - 6 >= 0 /\ -O + D1 - 2 >= 0 /\ -J + D1 >= 0 /\ -U >= 0 /\ S - U - 4 >= 0 /\ -S - U + 4 >= 0 /\ P - U - 3 >= 0 /\ -P - U + 3 >= 0 /\ O - U - 2 >= 0 /\ -O - U + 2 >= 0 /\ -J - U + 4 >= 0 /\ U >= 0 /\ S + U - 4 >= 0 /\ -S + U + 4 >= 0 /\ P + U - 3 >= 0 /\ -P + U + 3 >= 0 /\ O + U - 2 >= 0 /\ -O + U + 2 >= 0 /\ -J + U + 4 >= 0 /\ -S + 4 >= 0 /\ P - S + 1 >= 0 /\ -P - S + 7 >= 0 /\ O - S + 2 >= 0 /\ -O - S + 6 >= 0 /\ -J - S + 8 >= 0 /\ S - 4 >= 0 /\ P + S - 7 >= 0 /\ -P + S - 1 >= 0 /\ O + S - 6 >= 0 /\ -O + S - 2 >= 0 /\ -J + S >= 0 /\ -P + 3 >= 0 /\ O - P + 1 >= 0 /\ -O - P + 5 >= 0 /\ -J - P + 7 >= 0 /\ P - 3 >= 0 /\ O + P - 5 >= 0 /\ -O + P - 1 >= 0 /\ -J + P + 1 >= 0 /\ -O + 2 >= 0 /\ -J - O + 6 >= 0 /\ O - 2 >= 0 /\ -J + O + 2 >= 0 /\ -J + 4 >= 0 /\ A >= J1 + 1 /\ G >= 0 /\ H >= 1 /\ F = E ] f6(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, B1, C1, D1, E1) -> Com_1(f11(A, J1, J1, J1, F, F, G, H, I, J, K, L, M, F1, O, P, Q, R, S, T, U, V, W, X, Y, G1, A1, B1, C1, D1, H1)) [ -H - I + 5 >= 0 /\ G - I >= 0 /\ -J - I + 5 >= 0 /\ I - 1 >= 0 /\ H + I - 5 >= 0 /\ -H + I + 3 >= 0 /\ G + I - 2 >= 0 /\ -G + I >= 0 /\ D1 + I - 5 >= 0 /\ -D1 + I + 3 >= 0 /\ U + I - 1 >= 0 /\ -U + I - 1 >= 0 /\ S + I - 5 >= 0 /\ -S + I + 3 >= 0 /\ P + I - 4 >= 0 /\ -P + I + 2 >= 0 /\ O + I - 3 >= 0 /\ -O + I + 1 >= 0 /\ J + I - 5 >= 0 /\ -J + I + 3 >= 0 /\ -H + 4 >= 0 /\ G - H + 3 >= 0 /\ -G - H + 5 >= 0 /\ D1 - H >= 0 /\ -D1 - H + 8 >= 0 /\ U - H + 4 >= 0 /\ -U - H + 4 >= 0 /\ S - H >= 0 /\ -S - H + 8 >= 0 /\ P - H + 1 >= 0 /\ -P - H + 7 >= 0 /\ O - H + 2 >= 0 /\ -O - H + 6 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ G + H - 5 >= 0 /\ -J + H >= 0 /\ -J - G + 5 >= 0 /\ G - 1 >= 0 /\ D1 + G - 5 >= 0 /\ -D1 + G + 3 >= 0 /\ U + G - 1 >= 0 /\ -U + G - 1 >= 0 /\ S + G - 5 >= 0 /\ -S + G + 3 >= 0 /\ P + G - 4 >= 0 /\ -P + G + 2 >= 0 /\ O + G - 3 >= 0 /\ -O + G + 1 >= 0 /\ J + G - 5 >= 0 /\ -J + G + 3 >= 0 /\ -D1 + 4 >= 0 /\ U - D1 + 4 >= 0 /\ -U - D1 + 4 >= 0 /\ S - D1 >= 0 /\ -S - D1 + 8 >= 0 /\ P - D1 + 1 >= 0 /\ -P - D1 + 7 >= 0 /\ O - D1 + 2 >= 0 /\ -O - D1 + 6 >= 0 /\ -J - D1 + 8 >= 0 /\ D1 - 4 >= 0 /\ U + D1 - 4 >= 0 /\ -U + D1 - 4 >= 0 /\ S + D1 - 8 >= 0 /\ -S + D1 >= 0 /\ P + D1 - 7 >= 0 /\ -P + D1 - 1 >= 0 /\ O + D1 - 6 >= 0 /\ -O + D1 - 2 >= 0 /\ -J + D1 >= 0 /\ -U >= 0 /\ S - U - 4 >= 0 /\ -S - U + 4 >= 0 /\ P - U - 3 >= 0 /\ -P - U + 3 >= 0 /\ O - U - 2 >= 0 /\ -O - U + 2 >= 0 /\ -J - U + 4 >= 0 /\ U >= 0 /\ S + U - 4 >= 0 /\ -S + U + 4 >= 0 /\ P + U - 3 >= 0 /\ -P + U + 3 >= 0 /\ O + U - 2 >= 0 /\ -O + U + 2 >= 0 /\ -J + U + 4 >= 0 /\ -S + 4 >= 0 /\ P - S + 1 >= 0 /\ -P - S + 7 >= 0 /\ O - S + 2 >= 0 /\ -O - S + 6 >= 0 /\ -J - S + 8 >= 0 /\ S - 4 >= 0 /\ P + S - 7 >= 0 /\ -P + S - 1 >= 0 /\ O + S - 6 >= 0 /\ -O + S - 2 >= 0 /\ -J + S >= 0 /\ -P + 3 >= 0 /\ O - P + 1 >= 0 /\ -O - P + 5 >= 0 /\ -J - P + 7 >= 0 /\ P - 3 >= 0 /\ O + P - 5 >= 0 /\ -O + P - 1 >= 0 /\ -J + P + 1 >= 0 /\ -O + 2 >= 0 /\ -J - O + 6 >= 0 /\ O - 2 >= 0 /\ -J + O + 2 >= 0 /\ -J + 4 >= 0 /\ J1 >= A + 1 /\ G >= 0 /\ H >= 1 /\ F = E ] )