(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F) (RULES f0(A, B, C, D, E, F) -> Com_1(f12(G, G, G, 0, E, F)) f12(A, B, C, D, E, F) -> Com_1(f12(A, B, C, D + 1, G, F)) [ D >= 0 /\ C >= D + 1 ] f27(A, B, C, D, E, F) -> Com_1(f27(A, B, C, D, E, G)) [ D >= 0 /\ -C + D >= 0 /\ 0 >= H + 1 ] f27(A, B, C, D, E, F) -> Com_1(f27(A, B, C, D, E, G)) [ D >= 0 /\ -C + D >= 0 ] f42(A, B, C, D, E, F) -> Com_1(f42(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 /\ G >= H + 1 ] f42(A, B, C, D, E, F) -> Com_1(f42(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 ] f55(A, B, C, D, E, F) -> Com_1(f55(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 /\ G >= H + 1 ] f55(A, B, C, D, E, F) -> Com_1(f55(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 ] f55(A, B, C, D, E, F) -> Com_1(f66(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 ] f42(A, B, C, D, E, F) -> Com_1(f55(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 ] f27(A, B, C, D, E, F) -> Com_1(f42(A, B, C, D, E, F)) [ D >= 0 /\ -C + D >= 0 ] f12(A, B, C, D, E, F) -> Com_1(f27(A, B, C, D, E, F)) [ D >= 0 /\ D >= C ] )