(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 T U V W) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f16(1, X, Y, Z, A1, B1, C1, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ A = 1 ] f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ -A + 1 >= 0 /\ A - 1 >= 0 /\ H >= I ] f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f18(A, B, C, D, E, F, G, H, I, J, K + 1, L + 2, M, N, O, P, Q, R, S, T, U, V, W)) [ H - I >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ J >= K ] f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f28(A, X, Y, Z, A1, B1, C1, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ 0 >= A ] f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f28(A, X, Y, Z, A1, B1, C1, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ A >= 2 ] f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f35(A, B, C, D, E, F, G, H, I, J, K, L, H - I + 2, 1, 0, P, Q, R, S, T, U, V, W)) [ 0 >= I /\ H >= I ] f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f35(A, B, C, D, E, F, G, H, I, J, K, L, H - I + 2, 1, 0, P, Q, R, S, T, U, V, W)) [ I >= 2 /\ H >= I ] f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f35(A, B, C, D, E, F, G, H, 1, J, K, L, 1, 1, 0, P, Q, R, S, T, U, V, W)) [ H >= 1 /\ I = 1 ] f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ H - I >= 0 /\ P >= 2*X /\ 3*X >= P + 1 /\ X + 1 >= Q ] f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f52(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ H - I >= 0 /\ 0 >= Q /\ J >= K ] f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f52(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ H - I >= 0 /\ Q >= 2 /\ J >= K ] f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K + 1, X, M, N, O, P, 1, Y, Z, A1, B1, V, W)) [ H - I >= 0 /\ 0 >= K /\ J >= K /\ Q = 1 ] f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K + 1, X, M, N, O, P, 1, Y, Z, A1, B1, V, W)) [ H - I >= 0 /\ J >= K /\ K >= 2 /\ Q = 1 ] f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, 2, 1, M, N, O, P, 1, X, Y, Z, A1, V, W)) [ H - I >= 0 /\ J >= 1 /\ K = 1 /\ Q = 1 ] f52(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K + 1, J - K + 2, M, N, O, P, Q, X, Y, Z, A1, B1, W)) [ H - I >= 0 /\ J - K >= 0 /\ 0 >= K ] f52(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K + 1, J - K + 2, M, N, O, P, Q, X, Y, Z, A1, B1, W)) [ H - I >= 0 /\ J - K >= 0 /\ K >= 2 ] f52(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, 2, 1, M, N, O, P, Q, X, Y, Z, A1, B1, W)) [ H - I >= 0 /\ J - K >= 0 /\ K = 1 ] f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f35(A, B, C, D, N, F, G, H, I, J, K, L, M, X, Y, P, Q + 1, R, S, T, U, V, W + 2)) [ H - I >= 0 /\ K >= J + 1 ] f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f28(A, B, C, D, E, F, G, H, I + 1, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ H - I >= 0 /\ P >= 2*X /\ 3*X >= P + 1 /\ Q >= X + 2 ] f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f76(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ 0 >= A + 2 /\ I >= H + 1 ] f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f76(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ A >= 0 /\ I >= H + 1 ] f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f76(-1, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ I >= H + 1 /\ A + 1 = 0 ] f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f16(A, B, C, D, E, F, G, H, I + 1, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ H - I >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ K >= J + 1 ] f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W) -> Com_1(f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W)) [ -A + 1 >= 0 /\ A - 1 >= 0 /\ I >= H + 1 ] )