(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) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f0(A, B + 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ A >= B ] f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ C >= D + 1 ] f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ D >= C + 1 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f16(A, B, C, D, 0, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ A >= C ] f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f26(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ D >= A ] f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f26(A, B, C, D, E, V, W, V + W, 0, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ A >= D + 1 ] f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f16(A, B, C, D + 1, E, V, W, V + W, X, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ 0 >= X + 1 /\ A >= D + 1 ] f16(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f16(A, B, C, D + 1, E, V, W, V + W, X, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ X >= 1 /\ A >= D + 1 ] f26(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f74(A, B, C, C, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ C = D ] f26(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f29(A, B, C, D, E + 1, F, G, H, I, E, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ C >= D + 1 ] f26(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f29(A, B, C, D, E + 1, F, G, H, I, E, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ D >= C + 1 ] f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f33(A, B, C, D, E, F, G, H, I, J, V, W, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ 29 >= J ] f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f33(A, B, C, D, E, F, G, H, I, J, V, W, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ J >= 31 ] f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f33(A, B, C, D, E, F, G, H, I, 30, V, W, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ J = 30 ] f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f42(A, B, C, D, E, F, G, H, I, J, V, L, W, W, 1, 1, 0, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ K >= 0 ] f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f42(A, B, C, D, E, F, G, H, I, J, V, L, M, -W, 1, 1, 0, W, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ 0 >= K + 1 ] f42(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f68(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ C >= B + 1 ] f42(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f68(A, B, C, D, E, F, G, H, I, J, K, 0, M, N, O, P, Q, R, V, W, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ B >= C ] f42(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, V, W, M, N, X, Z, A1, R, B1, C1, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ B >= C /\ 0 >= Y + 1 ] f42(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, V, W, M, N, X, Z, A1, R, B1, C1, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ B >= C /\ Y >= 1 ] f59(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, V, T, U + 1)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ B - C >= 0 /\ A - C >= 0 /\ J >= 0 /\ A >= U ] f68(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J, K, 0, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ B >= C /\ L = 0 ] f68(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ 0 >= L + 1 ] f68(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ L >= 1 ] f68(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J, K, 0, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ A - C >= 0 /\ J >= 0 /\ C >= B + 1 /\ L = 0 ] f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f13(A, B, C + 1, C, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ E >= 0 /\ A - C >= 0 /\ C = D ] f59(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f42(A, B - 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ J - E + 1 >= 0 /\ E - 1 >= 0 /\ J + E - 1 >= 0 /\ -J + E - 1 >= 0 /\ B - C >= 0 /\ A - C >= 0 /\ J >= 0 /\ U >= A + 1 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f80(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ C >= A + 1 ] f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) [ 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) -> Com_1(f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)) )