(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f2)) (VAR A B C D E F G H I J K L M N O P Q R) (RULES f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f1(1, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A = 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f13(A, 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ 0 >= A ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f13(A, 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A >= 2 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f20(A, B, B + 1, S, T, 1, G, H, I, J, K, L, M, N, O, P, Q, R)) [ B - 1 >= 0 /\ A >= B ] f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f20(A, B, C, S, T, F + 1, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ B >= F ] f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f31(A, B, C, D, E, F + 1, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ B >= F ] f45(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f45(A, B, C, D, E, F + 1, S, T, U, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ B >= F ] f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f60(A, B, C, D, E, F + 1, G, H, I, J, K - 1, S, T, U, V, K, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ K + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ -K + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ -K + B >= 0 /\ A + B - 2 >= 0 /\ A - K >= 0 /\ A - 1 >= 0 /\ J >= F ] f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f13(A, B + 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ K + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ -K + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ -K + B >= 0 /\ A + B - 2 >= 0 /\ A - K >= 0 /\ A - 1 >= 0 /\ F >= J + 1 ] f45(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f60(A, B, C, D, E, 1, G, H, I, S, B, L, M, N, O, P, T, U)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ F >= B + 1 ] f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f1(A, B, A, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ F >= B + 1 /\ A = C ] f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f45(A, B, C, D, E, 1, S, T, U, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ A >= C + 1 /\ F >= B + 1 ] f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f45(A, B, C, D, E, 1, S, T, U, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ C >= A + 1 /\ F >= B + 1 ] f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f31(A, B, C, D, E, 1, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ 0 >= E + 1 /\ F >= B + 1 ] f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f31(A, B, C, D, E, 1, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ E >= 1 /\ F >= B + 1 ] f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f31(A, B, C, D, 0, 1, G, H, I, J, K, L, M, N, O, P, Q, R)) [ F - 1 >= 0 /\ C + F - 3 >= 0 /\ B + F - 2 >= 0 /\ A + F - 2 >= 0 /\ B - C + 1 >= 0 /\ A - C + 1 >= 0 /\ C - 2 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 1 >= 0 /\ A + C - 3 >= 0 /\ A - B >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ F >= B + 1 /\ E = 0 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ B - 1 >= 0 /\ B >= A + 1 ] )