(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D E F)
(RULES
  f0(A, B, C, D, E, F) -> Com_1(f17(H, -1, C, 0, G, I))
  f0(A, B, C, D, E, F) -> Com_1(f17(H, G, I, D, E, F)) [ G >= 0 ]
  f0(A, B, C, D, E, F) -> Com_1(f17(H, G, I, D, E, F)) [ 0 >= G + 2 ]
)