(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M N O P Q R) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f10(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A >= 2 ] f10(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f73(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A - 2 >= 0 /\ B >= A ] f10(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f73(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A - 2 >= 0 /\ B >= A /\ 0 >= S + 1 ] f10(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f13(A, B, 0, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A - 2 >= 0 /\ A >= B + 1 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f10(A, B + 1, 0, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0)) [ A - B - 1 >= 0 /\ A - 2 >= 0 /\ D >= A + 1 /\ C = 0 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f13(A, B, S, D + 1, C, S, S, H, I, J, K, L, M, N, O, P, Q, R)) [ A - B - 1 >= 0 /\ A - 2 >= 0 /\ S >= C /\ A >= D ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f13(A, B, C, D + 1, C, S, S, H, I, J, K, L, M, N, O, P, Q, R)) [ A - B - 1 >= 0 /\ A - 2 >= 0 /\ C >= S + 1 /\ A >= D ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A - B - 1 >= 0 /\ A - 2 >= 0 /\ C >= 1 /\ D >= A + 1 ] f13(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ A - B - 1 >= 0 /\ A - 2 >= 0 /\ 0 >= C + 1 /\ D >= A + 1 ] f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - 2 >= 0 /\ D >= A + 1 ] f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f53(A, B, C, D, E, F, G, H, I, J, K, L, M, N, -S, T, S, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - 2 >= 0 /\ 0 >= U + 1 /\ D >= A + 1 ] f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f53(A, B, C, D, E, F, G, H, I, J, K, L, S, T, T, P, Q, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - 2 >= 0 /\ D >= A + 1 ] f53(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f10(A, B + 1, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - 2 >= 0 /\ K >= A + 1 ] f53(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f55(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - 2 >= 0 /\ A >= K ] f55(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f61(A, B, C, D, E, F, G, H, I, J, K, S, M, N, O, P, Q, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ -K + D - 1 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - K >= 0 /\ A - 2 >= 0 /\ D >= A + 1 ] f61(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R) -> Com_1(f53(A, B, C, D, E, F, G, H, I, J, K + 1, L, M, N, O, P, Q, R)) [ D - 3 >= 0 /\ -B + D - 2 >= 0 /\ -K + D - 1 >= 0 /\ A + D - 5 >= 0 /\ -A + D - 1 >= 0 /\ A - B - 1 >= 0 /\ A - K >= 0 /\ A - 2 >= 0 /\ D >= A + 1 ] )