(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C)
(RULES
  f0(A,B,C) -> Com_1(f8(0,10,0))
  f8(A,B,C) -> Com_1(f8(A + 2,B,C + 1)) :|: B >= C + 1
  f8(A,B,C) -> Com_1(f6(A,B,C)) :|: 2*B >= A + 1 && C >= B
  f8(A,B,C) -> Com_1(f6(A,B,C)) :|: A >= 2*B && C >= B
)