(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(A, B, C, D, E, F, G, H, I, J, K, L, M)) f1(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f2(0, O, P, 3, N, 0, O, P, 3, N, 2, L, M)) [ 7 >= N /\ N >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f2(0, O, P, N, Q, 0, O, P, N, Q, 2, L, M)) [ -I + 7 >= 0 /\ F - I + 7 >= 0 /\ -F - I + 8 >= 0 /\ E - I + 5 >= 0 /\ -E - I + 14 >= 0 /\ K - I + 3 >= 0 /\ -K - I + 11 >= 0 /\ J - I + 5 >= 0 /\ -J - I + 14 >= 0 /\ I - 1 >= 0 /\ F + I - 1 >= 0 /\ -F + I >= 0 /\ E + I - 3 >= 0 /\ -E + I + 6 >= 0 /\ K + I - 5 >= 0 /\ -K + I + 3 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 6 >= 0 /\ -F + 1 >= 0 /\ E - F - 1 >= 0 /\ -E - F + 8 >= 0 /\ K - F - 3 >= 0 /\ -K - F + 5 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 8 >= 0 /\ F >= 0 /\ E + F - 2 >= 0 /\ -E + F + 7 >= 0 /\ K + F - 4 >= 0 /\ -K + F + 4 >= 0 /\ J + F - 2 >= 0 /\ -J + F + 7 >= 0 /\ -E + 7 >= 0 /\ K - E + 3 >= 0 /\ -K - E + 11 >= 0 /\ J - E >= 0 /\ -J - E + 14 >= 0 /\ E - 2 >= 0 /\ K + E - 6 >= 0 /\ -K + E + 2 >= 0 /\ J + E - 4 >= 0 /\ -J + E >= 0 /\ -K + 4 >= 0 /\ J - K + 2 >= 0 /\ -J - K + 11 >= 0 /\ K - 4 >= 0 /\ J + K - 6 >= 0 /\ -J + K + 3 >= 0 /\ -J + 7 >= 0 /\ J - 2 >= 0 /\ L >= 1 /\ L >= P + 1 /\ M >= 1 /\ M >= O + 1 /\ 7 >= Q /\ 7 >= N /\ Q >= 1 /\ N >= 1 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(O, P, N, 2, Q, O, P, N, 2, Q, 1, L, M)) [ R >= 1 /\ 7 >= R /\ S >= 1 /\ 7 >= S /\ Q >= 1 /\ 7 >= Q /\ 1 >= O /\ O >= 0 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(O, P, N, 2, Q, O, P, N, 2, Q, 1, L, M)) [ -F >= 0 /\ K - F - 2 >= 0 /\ -K - F + 2 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 7 >= 0 /\ A - F >= 0 /\ -A - F >= 0 /\ F >= 0 /\ K + F - 2 >= 0 /\ -K + F + 2 >= 0 /\ J + F - 1 >= 0 /\ -J + F + 7 >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ -K + 2 >= 0 /\ J - K + 1 >= 0 /\ -J - K + 9 >= 0 /\ A - K + 2 >= 0 /\ -A - K + 2 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ A + K - 2 >= 0 /\ -A + K - 2 >= 0 /\ -J + 7 >= 0 /\ A - J + 7 >= 0 /\ -A - J + 7 >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ -A + J - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ R >= 1 /\ 7 >= R /\ S >= 1 /\ 7 >= S /\ Q >= 1 /\ 7 >= Q /\ 1 >= O /\ O >= 0 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(O, P, N, 2, Q, O, P, N, 2, Q, 1, L, M)) [ -I + 7 >= 0 /\ F - I + 7 >= 0 /\ -F - I + 8 >= 0 /\ E - I + 5 >= 0 /\ -E - I + 14 >= 0 /\ K - I + 3 >= 0 /\ -K - I + 11 >= 0 /\ J - I + 5 >= 0 /\ -J - I + 14 >= 0 /\ I - 1 >= 0 /\ F + I - 1 >= 0 /\ -F + I >= 0 /\ E + I - 3 >= 0 /\ -E + I + 6 >= 0 /\ K + I - 5 >= 0 /\ -K + I + 3 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 6 >= 0 /\ -F + 1 >= 0 /\ E - F - 1 >= 0 /\ -E - F + 8 >= 0 /\ K - F - 3 >= 0 /\ -K - F + 5 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 8 >= 0 /\ F >= 0 /\ E + F - 2 >= 0 /\ -E + F + 7 >= 0 /\ K + F - 4 >= 0 /\ -K + F + 4 >= 0 /\ J + F - 2 >= 0 /\ -J + F + 7 >= 0 /\ -E + 7 >= 0 /\ K - E + 3 >= 0 /\ -K - E + 11 >= 0 /\ J - E >= 0 /\ -J - E + 14 >= 0 /\ E - 2 >= 0 /\ K + E - 6 >= 0 /\ -K + E + 2 >= 0 /\ J + E - 4 >= 0 /\ -J + E >= 0 /\ -K + 4 >= 0 /\ J - K + 2 >= 0 /\ -J - K + 11 >= 0 /\ K - 4 >= 0 /\ J + K - 6 >= 0 /\ -J + K + 3 >= 0 /\ -J + 7 >= 0 /\ J - 2 >= 0 /\ R >= L /\ S >= M /\ T >= 1 /\ 7 >= T /\ U >= 1 /\ 7 >= U /\ Q >= 1 /\ 7 >= Q /\ 1 >= O /\ O >= 0 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(O, P, N, 2, Q, O, P, N, 2, Q, 1, L, M)) [ -I + 7 >= 0 /\ F - I + 7 >= 0 /\ -F - I + 8 >= 0 /\ E - I + 5 >= 0 /\ -E - I + 14 >= 0 /\ K - I + 3 >= 0 /\ -K - I + 11 >= 0 /\ J - I + 5 >= 0 /\ -J - I + 14 >= 0 /\ I - 1 >= 0 /\ F + I - 1 >= 0 /\ -F + I >= 0 /\ E + I - 3 >= 0 /\ -E + I + 6 >= 0 /\ K + I - 5 >= 0 /\ -K + I + 3 >= 0 /\ J + I - 3 >= 0 /\ -J + I + 6 >= 0 /\ -F + 1 >= 0 /\ E - F - 1 >= 0 /\ -E - F + 8 >= 0 /\ K - F - 3 >= 0 /\ -K - F + 5 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 8 >= 0 /\ F >= 0 /\ E + F - 2 >= 0 /\ -E + F + 7 >= 0 /\ K + F - 4 >= 0 /\ -K + F + 4 >= 0 /\ J + F - 2 >= 0 /\ -J + F + 7 >= 0 /\ -E + 7 >= 0 /\ K - E + 3 >= 0 /\ -K - E + 11 >= 0 /\ J - E >= 0 /\ -J - E + 14 >= 0 /\ E - 2 >= 0 /\ K + E - 6 >= 0 /\ -K + E + 2 >= 0 /\ J + E - 4 >= 0 /\ -J + E >= 0 /\ -K + 4 >= 0 /\ J - K + 2 >= 0 /\ -J - K + 11 >= 0 /\ K - 4 >= 0 /\ J + K - 6 >= 0 /\ -J + K + 3 >= 0 /\ -J + 7 >= 0 /\ J - 2 >= 0 /\ R >= 1 /\ 7 >= R /\ S >= 1 /\ 7 >= S /\ Q >= 1 /\ 7 >= Q /\ 1 >= O /\ O >= 0 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f4(O, P, N, Q, 2, O, P, N, Q, 2, 4, L, M)) [ -F >= 0 /\ K - F - 2 >= 0 /\ -K - F + 2 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 7 >= 0 /\ A - F >= 0 /\ -A - F >= 0 /\ F >= 0 /\ K + F - 2 >= 0 /\ -K + F + 2 >= 0 /\ J + F - 1 >= 0 /\ -J + F + 7 >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ -K + 2 >= 0 /\ J - K + 1 >= 0 /\ -J - K + 9 >= 0 /\ A - K + 2 >= 0 /\ -A - K + 2 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ A + K - 2 >= 0 /\ -A + K - 2 >= 0 /\ -J + 7 >= 0 /\ A - J + 7 >= 0 /\ -A - J + 7 >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ -A + J - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ R >= 1 /\ 7 >= R /\ S >= 1 /\ 7 >= S /\ T >= 1 /\ 7 >= T /\ U >= 1 /\ 7 >= U /\ Q >= 1 /\ 7 >= Q /\ 1 >= O /\ O >= 0 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f4(O, P, N, Q, 7, O, P, N, Q, 7, 4, L, M)) [ -F >= 0 /\ K - F - 2 >= 0 /\ -K - F + 2 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 7 >= 0 /\ A - F >= 0 /\ -A - F >= 0 /\ F >= 0 /\ K + F - 2 >= 0 /\ -K + F + 2 >= 0 /\ J + F - 1 >= 0 /\ -J + F + 7 >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ -K + 2 >= 0 /\ J - K + 1 >= 0 /\ -J - K + 9 >= 0 /\ A - K + 2 >= 0 /\ -A - K + 2 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ A + K - 2 >= 0 /\ -A + K - 2 >= 0 /\ -J + 7 >= 0 /\ A - J + 7 >= 0 /\ -A - J + 7 >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ -A + J - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ R >= 1 /\ 7 >= R /\ S >= 1 /\ 7 >= S /\ T >= 1 /\ 7 >= T /\ U >= 1 /\ 7 >= U /\ Q >= 1 /\ 7 >= Q /\ 1 >= O /\ O >= 0 ] )