(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, C, C, L, M, N, G, H, I, J, K)) [ G - 1 >= 0 /\ A + G - 2 >= 0 /\ A - 1 >= 0 /\ A >= 1 ]
  f300(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f1(A, L, N, P, Q, F, G, L, M, O, R)) [ 0 >= G ]
  f300(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f2(A, N, N, P, Q, R, G, L, M, O, K)) [ A >= 1 /\ G >= 1 ]
  f300(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f1(A, N, N, P, Q, R, G, L, M, O, S)) [ 0 >= A /\ G >= 1 ]
)