(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f30)) (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 F1 G1 H1 I1 J1) (RULES f30(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, F1, G1, H1, I1, J1) -> Com_1(f1(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, F1, G1, H1, I1, J1)) f1(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, F1, G1, H1, I1, J1) -> Com_1(f5(A, B, C, D, E, K1, L1, M1, N1, O1, P1, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) f1(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, F1, G1, H1, I1, J1) -> Com_1(f2(K1, 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, F1, G1, H1, I1, J1)) f5(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, F1, G1, H1, I1, J1) -> Com_1(f3(A, B, C, D, E, K1, N1, O1, P1, U1, K, M1, M, R1, T1, P, Q, R, L1, 0, U, J, S1, V1, W1, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ F >= 0 /\ 0 >= J + 1 /\ Q1 >= 0 ] f5(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, F1, G1, H1, I1, J1) -> Com_1(f3(A, B, C, D, E, K1, N1, O1, P1, U1, K, M1, M, R1, T1, P, Q, R, L1, 0, U, J, S1, V1, W1, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ F >= 0 /\ J >= 1 /\ Q1 >= 0 ] f5(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, F1, G1, H1, I1, J1) -> Com_1(f18(A, B, C, D, E, K1, G, H, I, 0, K, L, M, N, O, P, Q, R, 0, 0, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ K1 >= 0 /\ F >= 0 /\ J = 0 ] f5(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, F1, G1, H1, I1, J1) -> Com_1(f16(A, B, C, D, E, F + 1, G, H, I + 1, J, K, M, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ 0 >= E /\ F >= 0 ] f5(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, F1, G1, H1, I1, J1) -> Com_1(f5(A, B, C, D + 1, E - 1, 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, F1, G1, H1, I1, J1)) [ E >= 1 ] f2(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, F1, G1, H1, I1, J1) -> Com_1(f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, M, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) f2(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, F1, G1, H1, I1, J1) -> Com_1(f3(A, 0, 0, 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, F1, G1, H1, I1, J1)) f3(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, F1, G1, H1, I1, J1) -> Com_1(f25(A, B, C, D, E, K1, G, H, I, J, K, L, M, N, O, N, 0, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ F >= 1 /\ 0 >= N + 1 /\ K1 >= 1 ] f3(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, F1, G1, H1, I1, J1) -> Com_1(f25(A, B, C, D, E, K1, G, H, I, J, K, L, M, N, O, N, 0, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ F >= 1 /\ N >= 1 /\ K1 >= 1 ] f3(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, F1, G1, H1, I1, J1) -> Com_1(f2(A, B, C, D, E, K1, G, H, I, J, K, L, O, O, O, 0, 0, O, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ L1 >= 1 /\ F >= 1 /\ N = 0 ] f3(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, F1, G1, H1, I1, J1) -> Com_1(f4(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, F1, G1, H1, I1, J1)) [ B >= A ] f3(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, F1, G1, H1, I1, J1) -> Com_1(f3(A, B + 1, C + 1, 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, F1, G1, H1, I1, J1)) [ A >= B + 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, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1) -> Com_1(f16(A, B, C, D, E, K1 + 1, M1, N1, O1 + 1, J, K, L1, L1, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, L1, L1, L1, P1, R1, S1, T1, U1, I1, J1)) [ F - 1 >= 0 /\ -E + F - 1 >= 0 /\ -E >= 0 /\ F >= 0 /\ V1 >= 0 /\ H >= I + 1 /\ K1 >= 0 ] f16(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, F1, G1, H1, I1, J1) -> Com_1(f1(A, B, C, D, E, K1, 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, F1, G1, H1, I1, J1)) [ F - 1 >= 0 /\ -E + F - 1 >= 0 /\ -E >= 0 /\ I >= H /\ F >= 0 ] f4(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, F1, G1, H1, I1, J1) -> Com_1(f21(A, B, C, D, E, F, G, H, I, 0, K, L, K1, N, O, P, Q, R, 0, 0, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ -A + B >= 0 /\ J = 0 ] f4(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, F1, G1, H1, I1, J1) -> Com_1(f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, J, 0, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ -A + B >= 0 /\ 0 >= J + 1 ] f4(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, F1, G1, H1, I1, J1) -> Com_1(f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, J, 0, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1)) [ -A + B >= 0 /\ J >= 1 ] f4(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, F1, G1, H1, I1, J1) -> Com_1(f5(A, B, C, 0, C, 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, F1, G1, H1, I1, J1)) [ -A + B >= 0 ] )