(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F) (RULES f0(A,B,C) -> Com_1(f15(2,B,C)) f15(A,B,C) -> Com_1(f18(A,A,C)) :|: 10 >= A f18(A,B,C) -> Com_1(f18(A,B - 1,F)) :|: D >= E + 1 f18(A,B,C) -> Com_1(f15(A + 1,B,C)) f15(A,B,C) -> Com_1(f28(A,B,C)) :|: A >= 11 )