(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D) (RULES f0(A,B,C) -> Com_1(f8(D,0,C)) f8(A,B,C) -> Com_1(f8(A,B + 1,C)) :|: 9 >= B f19(A,B,C) -> Com_1(f19(A,B,C + 1)) :|: 9 >= C f19(A,B,C) -> Com_1(f29(A,B,C)) :|: C >= 10 f8(A,B,C) -> Com_1(f19(A,B,0)) :|: B >= 10 )