(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J) (RULES f0(A, B, C, D, E, F, G, H, I, J) -> Com_1(f5(K, 0, 0, D, E, F, G, H, I, J)) f5(A, B, C, D, E, F, G, H, I, J) -> Com_1(f5(A, B + 1, C + 1, 1, E, F, G, H, I, J)) [ C >= 0 /\ B + C >= 0 /\ -B + C >= 0 /\ B >= 0 /\ 15 >= C ] f5(A, B, C, D, E, F, G, H, I, J) -> Com_1(f5(A, B, C + 1, 0, E, F, G, H, I, J)) [ C >= 0 /\ B + C >= 0 /\ -B + C >= 0 /\ B >= 0 /\ 15 >= C ] f5(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, B, C, D, B, B, K, L, L, L)) [ C >= 0 /\ B + C >= 0 /\ -B + C >= 0 /\ B >= 0 /\ C >= 16 ] )