(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G) (RULES f0(A, B, C, D, E, F, G) -> Com_1(f12(H, I, J, 0, E, F, G)) f12(A, B, C, D, E, F, G) -> Com_1(f12(A, B, C, D + 1, E, F, G)) [ D >= 0 /\ C >= D + 1 ] f25(A, B, C, D, E, F, G) -> Com_1(f25(A, B, C, D, E, F + 1, G)) [ F >= 0 /\ D + F >= 0 /\ A - E >= 0 /\ -A + E >= 0 /\ D >= 0 /\ -C + D >= 0 /\ E >= F + 1 ] f25(A, B, C, D, E, F, G) -> Com_1(f34(A, B, C, D, E, F, G)) [ F >= 0 /\ D + F >= 0 /\ A - E >= 0 /\ -A + E >= 0 /\ D >= 0 /\ -C + D >= 0 /\ F >= E ] f12(A, B, C, D, E, F, G) -> Com_1(f25(A, B, C, D, A, 0, H)) [ D >= 0 /\ D >= C ] )