(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D E F G H I J K)
(RULES
  f69(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ 0 >= L + 1 ]
  f69(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 ]
  f0(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f12(A, B, C, D, E, F, G, H, I, J, K))
  f12(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f15(A, B, 0, D, E, F, G, H, I, J, K)) [ A >= B ]
  f15(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f15(A, B, C, D + 1, L, L, G, H, I, J, K)) [ A - B >= 0 /\ C >= L /\ A >= D ]
  f15(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f15(A, B, L, D + 1, L, L, G, H, I, J, K)) [ A - B >= 0 /\ L >= C + 1 /\ A >= D ]
  f28(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f30(A, B, C, D, E, F, G, H, I, J, K)) [ -A + B - 1 >= 0 /\ A >= D ]
  f59(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f59(A, B, C, D, E, F, G, H + 1, L, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ A >= H ]
  f71(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f73(A, B, C, D, E, F, G, H, L, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ A >= D + 1 ]
  f71(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f28(A, B, C, A + 1, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ A = D ]
  f73(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f28(A, B, C, D + 1, E, F, G, H, I, J, K)) [ B - D - 2 >= 0 /\ A - D - 1 >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 ]
  f59(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f69(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ H >= A + 1 ]
  f42(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 /\ K >= D + 1 ]
  f42(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 /\ D >= K + 1 ]
  f42(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f69(A, B, C, D, E, F, G, H, I, J, D)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 /\ D = K ]
  f30(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f42(A, B, 0, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -A + B - 1 >= 0 /\ B >= D ]
  f28(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f82(A, B, C, D, E, F, G, H, I, J, K)) [ -A + B - 1 >= 0 /\ D >= A + 1 ]
  f15(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f12(A, B + 1, C, D, E, F, G, H, I, J, K)) [ A - B >= 0 /\ 0 >= C + 1 /\ D >= A + 1 ]
  f15(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f12(A, B + 1, C, D, E, F, G, H, I, J, K)) [ A - B >= 0 /\ C >= 1 /\ D >= A + 1 ]
  f15(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f12(A, B + 1, 0, D, E, F, G, H, I, J, K)) [ A - B >= 0 /\ D >= A + 1 /\ C = 0 ]
  f12(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f28(A, B, C, D, E, F, G, H, I, J, K)) [ B >= A + 1 ]
)