(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS l0))
(VAR A B C D E F)
(RULES
  l0(A,B,C,D,E,F) -> Com_1(l1(A,B,C,D,E,F))
  l1(A,B,C,D,E,F) -> Com_1(l1(A + B,B + C,C + D, D + E, E + F, F - 1)) :|: A >= 1
)