(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f1)) (VAR A B C D E F G H I J K) (RULES f1(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f2(A, B, C, D, E, F, G, M, N, N, M)) f2(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f300(A, B, M, N, E, F, L, H, I, J, K)) [ A >= B ] f2(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f2(A, B, M, N, 0, F, G, H, I, J, K)) [ B >= A + 1 ] f2(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f2(A, B, M, N, L, O, G, H, I, J, K)) [ 0 >= L + 1 /\ B >= A + 1 ] f2(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f2(A, B, M, N, L, O, G, H, I, J, K)) [ L >= 1 /\ B >= A + 1 ] )