(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M N O P Q R S) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f12(3, T, 3, 1, 0, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)) f12(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f12(A, B, C, T, E + 1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)) [ E >= 0 /\ C + E - 3 >= 0 /\ -C + E + 3 >= 0 /\ A + E - 3 >= 0 /\ -A + E + 3 >= 0 /\ -C + 3 >= 0 /\ A - C >= 0 /\ -A - C + 6 >= 0 /\ C - 3 >= 0 /\ A + C - 6 >= 0 /\ -A + C >= 0 /\ -A + 3 >= 0 /\ A - 3 >= 0 /\ C >= E + 1 ] f24(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f24(A, B, C, D, E, F, G + 1, T, I, J, K, L, M, N, O, P, Q, R, S)) [ G >= 0 /\ F + G - 3 >= 0 /\ -F + G + 3 >= 0 /\ E + G - 3 >= 0 /\ C + G - 3 >= 0 /\ -C + G + 3 >= 0 /\ A + G - 3 >= 0 /\ -A + G + 3 >= 0 /\ -F + 3 >= 0 /\ E - F >= 0 /\ C - F >= 0 /\ -C - F + 6 >= 0 /\ A - F >= 0 /\ -A - F + 6 >= 0 /\ F - 3 >= 0 /\ E + F - 6 >= 0 /\ C + F - 6 >= 0 /\ -C + F >= 0 /\ A + F - 6 >= 0 /\ -A + F >= 0 /\ E - 3 >= 0 /\ C + E - 6 >= 0 /\ -C + E >= 0 /\ A + E - 6 >= 0 /\ -A + E >= 0 /\ R - D >= 0 /\ Q - D >= 0 /\ -R + D >= 0 /\ -Q + D >= 0 /\ -C + 3 >= 0 /\ A - C >= 0 /\ -A - C + 6 >= 0 /\ C - 3 >= 0 /\ A + C - 6 >= 0 /\ -A + C >= 0 /\ Q - R >= 0 /\ -Q + R >= 0 /\ -A + 3 >= 0 /\ A - 3 >= 0 /\ F >= G + 1 ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f36(A, B, C, D, E, F, G, H, I, J + 1, T, L, M, N, O, P, Q, R, S)) [ -I + 3 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 6 >= 0 /\ E - I >= 0 /\ C - I >= 0 /\ -C - I + 6 >= 0 /\ J - I + 3 >= 0 /\ A - I >= 0 /\ -A - I + 6 >= 0 /\ I - 3 >= 0 /\ G + I - 6 >= 0 /\ F + I - 6 >= 0 /\ -F + I >= 0 /\ E + I - 6 >= 0 /\ C + I - 6 >= 0 /\ -C + I >= 0 /\ J + I - 3 >= 0 /\ A + I - 6 >= 0 /\ -A + I >= 0 /\ O - H >= 0 /\ N - H >= 0 /\ -O + H >= 0 /\ -N + H >= 0 /\ G - 3 >= 0 /\ F + G - 6 >= 0 /\ -F + G >= 0 /\ E + G - 6 >= 0 /\ C + G - 6 >= 0 /\ -C + G >= 0 /\ J + G - 3 >= 0 /\ A + G - 6 >= 0 /\ -A + G >= 0 /\ -F + 3 >= 0 /\ E - F >= 0 /\ C - F >= 0 /\ -C - F + 6 >= 0 /\ J - F + 3 >= 0 /\ A - F >= 0 /\ -A - F + 6 >= 0 /\ F - 3 >= 0 /\ E + F - 6 >= 0 /\ C + F - 6 >= 0 /\ -C + F >= 0 /\ J + F - 3 >= 0 /\ A + F - 6 >= 0 /\ -A + F >= 0 /\ E - 3 >= 0 /\ C + E - 6 >= 0 /\ -C + E >= 0 /\ J + E - 3 >= 0 /\ A + E - 6 >= 0 /\ -A + E >= 0 /\ R - D >= 0 /\ Q - D >= 0 /\ -R + D >= 0 /\ -Q + D >= 0 /\ -C + 3 >= 0 /\ J - C + 3 >= 0 /\ A - C >= 0 /\ -A - C + 6 >= 0 /\ C - 3 >= 0 /\ J + C - 3 >= 0 /\ A + C - 6 >= 0 /\ -A + C >= 0 /\ Q - R >= 0 /\ -Q + R >= 0 /\ N - O >= 0 /\ -N + O >= 0 /\ J >= 0 /\ A + J - 3 >= 0 /\ -A + J + 3 >= 0 /\ -A + 3 >= 0 /\ A - 3 >= 0 /\ I >= J + 1 ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f46(A, B, C, D, E, F, G, H, I, J, K, K, K, N, O, P, Q, R, S)) [ -I + 3 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 6 >= 0 /\ E - I >= 0 /\ C - I >= 0 /\ -C - I + 6 >= 0 /\ J - I + 3 >= 0 /\ A - I >= 0 /\ -A - I + 6 >= 0 /\ I - 3 >= 0 /\ G + I - 6 >= 0 /\ F + I - 6 >= 0 /\ -F + I >= 0 /\ E + I - 6 >= 0 /\ C + I - 6 >= 0 /\ -C + I >= 0 /\ J + I - 3 >= 0 /\ A + I - 6 >= 0 /\ -A + I >= 0 /\ O - H >= 0 /\ N - H >= 0 /\ -O + H >= 0 /\ -N + H >= 0 /\ G - 3 >= 0 /\ F + G - 6 >= 0 /\ -F + G >= 0 /\ E + G - 6 >= 0 /\ C + G - 6 >= 0 /\ -C + G >= 0 /\ J + G - 3 >= 0 /\ A + G - 6 >= 0 /\ -A + G >= 0 /\ -F + 3 >= 0 /\ E - F >= 0 /\ C - F >= 0 /\ -C - F + 6 >= 0 /\ J - F + 3 >= 0 /\ A - F >= 0 /\ -A - F + 6 >= 0 /\ F - 3 >= 0 /\ E + F - 6 >= 0 /\ C + F - 6 >= 0 /\ -C + F >= 0 /\ J + F - 3 >= 0 /\ A + F - 6 >= 0 /\ -A + F >= 0 /\ E - 3 >= 0 /\ C + E - 6 >= 0 /\ -C + E >= 0 /\ J + E - 3 >= 0 /\ A + E - 6 >= 0 /\ -A + E >= 0 /\ R - D >= 0 /\ Q - D >= 0 /\ -R + D >= 0 /\ -Q + D >= 0 /\ -C + 3 >= 0 /\ J - C + 3 >= 0 /\ A - C >= 0 /\ -A - C + 6 >= 0 /\ C - 3 >= 0 /\ J + C - 3 >= 0 /\ A + C - 6 >= 0 /\ -A + C >= 0 /\ Q - R >= 0 /\ -Q + R >= 0 /\ N - O >= 0 /\ -N + O >= 0 /\ J >= 0 /\ A + J - 3 >= 0 /\ -A + J + 3 >= 0 /\ -A + 3 >= 0 /\ A - 3 >= 0 /\ J >= I ] f24(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f36(A, B, C, D, E, F, G, H, A, 0, 1, L, M, H, H, T, Q, R, S)) [ G >= 0 /\ F + G - 3 >= 0 /\ -F + G + 3 >= 0 /\ E + G - 3 >= 0 /\ C + G - 3 >= 0 /\ -C + G + 3 >= 0 /\ A + G - 3 >= 0 /\ -A + G + 3 >= 0 /\ -F + 3 >= 0 /\ E - F >= 0 /\ C - F >= 0 /\ -C - F + 6 >= 0 /\ A - F >= 0 /\ -A - F + 6 >= 0 /\ F - 3 >= 0 /\ E + F - 6 >= 0 /\ C + F - 6 >= 0 /\ -C + F >= 0 /\ A + F - 6 >= 0 /\ -A + F >= 0 /\ E - 3 >= 0 /\ C + E - 6 >= 0 /\ -C + E >= 0 /\ A + E - 6 >= 0 /\ -A + E >= 0 /\ R - D >= 0 /\ Q - D >= 0 /\ -R + D >= 0 /\ -Q + D >= 0 /\ -C + 3 >= 0 /\ A - C >= 0 /\ -A - C + 6 >= 0 /\ C - 3 >= 0 /\ A + C - 6 >= 0 /\ -A + C >= 0 /\ Q - R >= 0 /\ -Q + R >= 0 /\ -A + 3 >= 0 /\ A - 3 >= 0 /\ G >= F ] f12(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S) -> Com_1(f24(A, B, C, D, E, A, 0, 1, I, J, K, L, M, N, O, P, D, D, T)) [ E >= 0 /\ C + E - 3 >= 0 /\ -C + E + 3 >= 0 /\ A + E - 3 >= 0 /\ -A + E + 3 >= 0 /\ -C + 3 >= 0 /\ A - C >= 0 /\ -A - C + 6 >= 0 /\ C - 3 >= 0 /\ A + C - 6 >= 0 /\ -A + C >= 0 /\ -A + 3 >= 0 /\ A - 3 >= 0 /\ E >= C ] )