(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D E F G H I J K)
(RULES
  f0(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f32(1, B, C, D, E, F, L, 0, 1, M, M)) [ 0 >= M /\ N >= 1 ]
  f0(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f18(1, B, C, D, E, F, L, 0, 1, M, M)) [ M >= 1 /\ N >= 1 ]
  f0(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f18(1, B, C, D, E, F, L, M, I, J, K)) [ 0 >= M ]
  f32(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f32(A, B, C, D, E, F, G, H, I, J, K)) [ -H >= 0 /\ A - H >= 0 /\ -A - H + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 ]
  f18(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f24(0, B, L, D, E, L, G, H, I, J, K)) [ -H >= 0 /\ A - H - 1 >= 0 /\ -A - H + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ A >= 1 ]
  f24(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f32(1, M, C, L, L, F, G, H, I, J, K)) [ -H >= 0 /\ A - H >= 0 /\ -A - H >= 0 /\ -A >= 0 /\ A >= 0 /\ 0 >= A /\ L >= C + 1000 ]
  f24(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f32(A, M, C, L, L, F, G, H, I, J, K)) [ -H >= 0 /\ A - H >= 0 /\ -A - H >= 0 /\ -A >= 0 /\ A >= 0 /\ 0 >= A /\ C + 999 >= L ]
)