(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f3))
(VAR A B C)
(RULES
  f2(A, B, C) -> Com_1(f2(A, B - 1, C)) [ -B + 19 >= 0 /\ 29 >= A ]
  f2(A, B, C) -> Com_1(f300(A, B - 1, C)) [ -B + 19 >= 0 /\ A >= 30 ]
  f300(A, B, C) -> Com_1(f2(A, B, C)) [ 19 >= B ]
  f300(A, B, C) -> Com_1(f1(A, B, D)) [ B >= 20 ]
  f3(A, B, C) -> Com_1(f300(A, B, C))
)