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