(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 X Y Z A1) (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, X, Y, Z, A1) -> Com_1(f23(0, 0, 2*D, D, 4*D, 4*D + 3, 4*D + 4, D, B1, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) 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(f33(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)) [ D - H >= 0 /\ -D + H >= 0 /\ -B >= 0 /\ B >= 0 /\ J >= C + 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(f23(A + B1, B, C, D, E, F, G, H, I, J + 1, C1, -C1 + 1, B1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ -D + H >= 0 /\ -B >= 0 /\ B >= 0 /\ 0 >= C1 /\ C >= J ] 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(f23(A + B1, B, C, D, E, F, G, H, I, J + 1, C1, -C1 + 1, B1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ -D + H >= 0 /\ -B >= 0 /\ B >= 0 /\ C1 >= 2 /\ C >= J ] 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(f23(A, B, C, D, E, F, G, H, I, J + 1, 1, 0, 0, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ -D + H >= 0 /\ -B >= 0 /\ B >= 0 /\ C >= J ] f33(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(f44(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, 0, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ -D + H >= 0 /\ J - C - 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ J >= D + 1 /\ P = 0 ] f33(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(f39(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)) [ D - H >= 0 /\ -D + H >= 0 /\ J - C - 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ P >= 1 /\ J >= D + 1 ] f33(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(f39(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)) [ D - H >= 0 /\ -D + H >= 0 /\ J - C - 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ 0 >= P + 1 /\ J >= D + 1 ] f33(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(f33(A, B, C, D, E, F, G, H, I, J + 1, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ -D + H >= 0 /\ J - C - 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ D >= J ] f44(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(f117(A, B1, 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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ O >= N + 1 ] f44(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(f46(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ N >= O ] f39(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(f44(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ J >= D + 1 ] f117(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(f125(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -N + O - 1 >= 0 /\ J >= D + 1 ] f46(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(f72(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ N - O >= 0 /\ Q >= 1 ] f46(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(f66(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, 0, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ N - O >= 0 /\ 0 >= Q /\ P = 0 ] f46(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(f49(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ N - O >= 0 /\ P >= 1 /\ 0 >= Q ] f46(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(f49(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ N - O >= 0 /\ 0 >= P + 1 /\ 0 >= Q ] f72(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(f87(A, B, C, D, E, F, G, H, I, J, K, B1, M, N, O, P, Q, R, S, T, U, V, W, X, Y, C1, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ D1 >= 1 /\ J >= C + 1 ] f72(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(f87(A, B, C, D, E, F, G, H, I, J, K, B1, M, N, O, P, Q, R, S, T, U, V, W, X, Y, C1, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ 0 >= D1 + 1 /\ J >= C + 1 ] f72(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(f87(A, B, C, D, E, F, G, H, I, J, K, B1, M, N, O, P, Q, R, S, T, U, V, W, X, Y, 0, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ J >= C + 1 ] f66(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(f46(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q + 1, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -Q >= 0 /\ P - Q >= 0 /\ -P - Q >= 0 /\ -P >= 0 /\ P >= 0 /\ N - O >= 0 /\ J >= E + 1 ] f66(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(f66(A, B, C, D, E, F, G, H, I, J + 2, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -Q >= 0 /\ P - Q >= 0 /\ -P - Q >= 0 /\ -P >= 0 /\ P >= 0 /\ N - O >= 0 /\ E >= J ] f49(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(f54(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)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -Q >= 0 /\ N - O >= 0 /\ J >= D + 1 ] f54(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(f60(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, Q + C)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -Q >= 0 /\ N - O >= 0 /\ J >= D + 1 ] f87(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(f91(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, B1, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ L >= 1 ] f87(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(f91(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, B1, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ 0 >= L + 1 ] f87(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(f91(A, B, C, D, E, F, G, H, I, J, K, 0, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ L = 0 ] f60(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(f46(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q + 1, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ -A1 + C >= 0 /\ J - A1 - 1 >= 0 /\ -Q >= 0 /\ N - O >= 0 /\ J >= D + 1 ] f91(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(f44(A, B + A, C, D, E, F, G, H, I, J, K, L, M, N, O + 1, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ D - H >= 0 /\ J - H - 1 >= 0 /\ -D + H >= 0 /\ J - D - 1 >= 0 /\ J - C - 1 >= 0 /\ Q - 1 >= 0 /\ N - O >= 0 /\ J >= D + 1 ] )