(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f1))
(VAR A B C D E F)
(RULES
  f2(A, B, C, D, E, F) -> Com_1(f300(A, B, C, D, E, G)) [ C >= D ]
  f2(A, B, C, D, E, F) -> Com_1(f2(A, B, C, D, G, F)) [ D >= C + 1 ]
  f1(A, B, C, D, E, F) -> Com_1(f2(G, G, C, D, E, F))
)