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