(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D) (RULES f0(A,B,C) -> Com_1(f9(0,D,0)) f9(A,B,C) -> Com_1(f9(A,B,C + 1)) :|: 49 >= C f17(A,B,C) -> Com_1(f17(A + 1,B,C)) :|: 49 >= A f17(A,B,C) -> Com_1(f24(A,B,C)) :|: A >= 50 f9(A,B,C) -> Com_1(f17(0,B,C)) :|: C >= 50 )