(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start)) (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(f0(A, B + 1, B1, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ A >= B ] f17(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(f25(A, B, C, B1, C1, D1, E1, F1, 1, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ B >= 1 ] f25(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(f28(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)) [ B - 1 >= 0 /\ G >= J /\ I >= J + 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, X, Y, Z, A1) -> Com_1(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)) [ -J + I - 1 >= 0 /\ -J + G >= 0 /\ B - 1 >= 0 /\ J + F >= K + 2 ] 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) -> Com_1(f30(A, B, C, D, E, F, G, H, I, J, K, L + G, I + L - J, B1, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -J + I - 1 >= 0 /\ -J + G >= 0 /\ B - 1 >= 0 /\ H >= L ] f25(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, B1, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ B - 1 >= 0 /\ G >= J /\ J >= I ] 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(f44(A, B, C, D, E, F, G, H, I - O, J, K, L, M, N, B1, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -J + G >= 0 /\ B - 1 >= 0 /\ O >= F /\ I >= O + 1 ] f55(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(f64(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, B1, C1, D1, E1, F1, 1, 0, X, Y, Z, A1)) [ B - 1 >= 0 /\ G >= P + 1 ] f64(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, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -P + G - 1 >= 0 /\ B - 1 >= 0 /\ P >= L ] 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(f68(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)) [ -P + G - 1 >= 0 /\ -L + G - 1 >= 0 /\ B - 1 >= 0 /\ -L + P >= 0 /\ L + F >= K + 2 ] f68(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(f68(A, B, C, D, E, F, G, H, I, J + Q, K, L, M, B1, O, P, Q, R, S, T, U, V, W, J, J + P, C1, A1)) [ -P + G - 1 >= 0 /\ -L + G - 1 >= 0 /\ B - 1 >= 0 /\ -L + P >= 0 /\ H >= J ] f68(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 + 2, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -P + G - 1 >= 0 /\ -L + G - 1 >= 0 /\ B - 1 >= 0 /\ -L + P >= 0 /\ J >= H + 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(f64(A, B, C, D, E, F, G, H, I, J, K, L + F, M, N, O, P, Q, R, V, T, U, B1, C1, X, Y, Z, A1)) [ -P + G - 1 >= 0 /\ -L + G - 1 >= 0 /\ B - 1 >= 0 /\ -L + P >= 0 /\ K + 1 >= L + F ] f64(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(f55(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Q, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -P + G - 1 >= 0 /\ B - 1 >= 0 /\ L >= P + 1 ] f55(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(f17(A, B - 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, B1)) [ B - 1 >= 0 /\ P >= G ] 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(f25(A, B, C, D, E, F, G, H, I + O, J + F, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -J + G >= 0 /\ B - 1 >= 0 /\ O >= F /\ O >= I ] 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(f25(A, B, C, D, E, F, G, H, I + O, J + F, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -J + G >= 0 /\ B - 1 >= 0 /\ F >= O + 1 ] 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) -> Com_1(f28(A, B, C, D, E, F, G, H, I, J, K + 2, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -J + I - 1 >= 0 /\ -J + G >= 0 /\ B - 1 >= 0 /\ L >= 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, X, Y, Z, A1) -> Com_1(f44(A, B, C, D, E, F, G, H, I, J, K, L, M, N, B1, P, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ -J + I - 1 >= 0 /\ -J + G >= 0 /\ B - 1 >= 0 /\ K + 1 >= J + F ] f25(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(f55(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, F, Q, R, S, T, U, V, W, X, Y, Z, A1)) [ B - 1 >= 0 /\ J >= G + 1 ] f17(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(f93(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)) [ 0 >= B ] 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(f17(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, 1)) [ B >= A + 1 ] start(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(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)) )