(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(f38(1, 2, C, 1, 10, F, G, H, 10, 2, L))
  f38(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f11(L, B, C, D, E, D, D, M, I, J, K)) [ -I + 10 >= 0 /\ E - I >= 0 /\ -E - I + 20 >= 0 /\ D - I + 9 >= 0 /\ -D - I + 11 >= 0 /\ B - I + 8 >= 0 /\ -B - I + 12 >= 0 /\ J - I + 8 >= 0 /\ -J - I + 12 >= 0 /\ A - I + 9 >= 0 /\ -A - I + 11 >= 0 /\ I - 10 >= 0 /\ E + I - 20 >= 0 /\ -E + I >= 0 /\ D + I - 11 >= 0 /\ -D + I - 9 >= 0 /\ B + I - 12 >= 0 /\ -B + I - 8 >= 0 /\ J + I - 12 >= 0 /\ -J + I - 8 >= 0 /\ A + I - 11 >= 0 /\ -A + I - 9 >= 0 /\ -E + 10 >= 0 /\ D - E + 9 >= 0 /\ -D - E + 11 >= 0 /\ B - E + 8 >= 0 /\ -B - E + 12 >= 0 /\ J - E + 8 >= 0 /\ -J - E + 12 >= 0 /\ A - E + 9 >= 0 /\ -A - E + 11 >= 0 /\ E - 10 >= 0 /\ D + E - 11 >= 0 /\ -D + E - 9 >= 0 /\ B + E - 12 >= 0 /\ -B + E - 8 >= 0 /\ J + E - 12 >= 0 /\ -J + E - 8 >= 0 /\ A + E - 11 >= 0 /\ -A + E - 9 >= 0 /\ -D + 1 >= 0 /\ B - D - 1 >= 0 /\ -B - D + 3 >= 0 /\ J - D - 1 >= 0 /\ -J - D + 3 >= 0 /\ A - D >= 0 /\ -A - D + 2 >= 0 /\ D - 1 >= 0 /\ B + D - 3 >= 0 /\ -B + D + 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ A + D - 2 >= 0 /\ -A + D >= 0 /\ -B + 2 >= 0 /\ J - B >= 0 /\ -J - B + 4 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 3 >= 0 /\ B - 2 >= 0 /\ J + B - 4 >= 0 /\ -J + B >= 0 /\ A + B - 3 >= 0 /\ -A + B - 1 >= 0 /\ -J + 2 >= 0 /\ A - J + 1 >= 0 /\ -A - J + 3 >= 0 /\ J - 2 >= 0 /\ A + J - 3 >= 0 /\ -A + J - 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ E >= D ]
  f11(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f54(A, B, B - A, D, E, F, G, H, I, J, K)) [ -I + 10 >= 0 /\ G - I + 9 >= 0 /\ -G - I + 11 >= 0 /\ F - I + 9 >= 0 /\ -F - I + 11 >= 0 /\ E - I >= 0 /\ -E - I + 20 >= 0 /\ D - I + 9 >= 0 /\ -D - I + 11 >= 0 /\ B - I + 8 >= 0 /\ -B - I + 12 >= 0 /\ J - I + 8 >= 0 /\ -J - I + 12 >= 0 /\ I - 10 >= 0 /\ G + I - 11 >= 0 /\ -G + I - 9 >= 0 /\ F + I - 11 >= 0 /\ -F + I - 9 >= 0 /\ E + I - 20 >= 0 /\ -E + I >= 0 /\ D + I - 11 >= 0 /\ -D + I - 9 >= 0 /\ B + I - 12 >= 0 /\ -B + I - 8 >= 0 /\ J + I - 12 >= 0 /\ -J + I - 8 >= 0 /\ -G + 1 >= 0 /\ F - G >= 0 /\ -F - G + 2 >= 0 /\ E - G - 9 >= 0 /\ -E - G + 11 >= 0 /\ D - G >= 0 /\ -D - G + 2 >= 0 /\ B - G - 1 >= 0 /\ -B - G + 3 >= 0 /\ J - G - 1 >= 0 /\ -J - G + 3 >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ -F + G >= 0 /\ E + G - 11 >= 0 /\ -E + G + 9 >= 0 /\ D + G - 2 >= 0 /\ -D + G >= 0 /\ B + G - 3 >= 0 /\ -B + G + 1 >= 0 /\ J + G - 3 >= 0 /\ -J + G + 1 >= 0 /\ -F + 1 >= 0 /\ E - F - 9 >= 0 /\ -E - F + 11 >= 0 /\ D - F >= 0 /\ -D - F + 2 >= 0 /\ B - F - 1 >= 0 /\ -B - F + 3 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 3 >= 0 /\ F - 1 >= 0 /\ E + F - 11 >= 0 /\ -E + F + 9 >= 0 /\ D + F - 2 >= 0 /\ -D + F >= 0 /\ B + F - 3 >= 0 /\ -B + F + 1 >= 0 /\ J + F - 3 >= 0 /\ -J + F + 1 >= 0 /\ -E + 10 >= 0 /\ D - E + 9 >= 0 /\ -D - E + 11 >= 0 /\ B - E + 8 >= 0 /\ -B - E + 12 >= 0 /\ J - E + 8 >= 0 /\ -J - E + 12 >= 0 /\ E - 10 >= 0 /\ D + E - 11 >= 0 /\ -D + E - 9 >= 0 /\ B + E - 12 >= 0 /\ -B + E - 8 >= 0 /\ J + E - 12 >= 0 /\ -J + E - 8 >= 0 /\ -D + 1 >= 0 /\ B - D - 1 >= 0 /\ -B - D + 3 >= 0 /\ J - D - 1 >= 0 /\ -J - D + 3 >= 0 /\ D - 1 >= 0 /\ B + D - 3 >= 0 /\ -B + D + 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ -B + 2 >= 0 /\ J - B >= 0 /\ -J - B + 4 >= 0 /\ B - 2 >= 0 /\ J + B - 4 >= 0 /\ -J + B >= 0 /\ -J + 2 >= 0 /\ J - 2 >= 0 /\ B >= A + 1 ]
  f11(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f54(A, B, B + A, D, E, F, G, H, I, J, K)) [ -I + 10 >= 0 /\ G - I + 9 >= 0 /\ -G - I + 11 >= 0 /\ F - I + 9 >= 0 /\ -F - I + 11 >= 0 /\ E - I >= 0 /\ -E - I + 20 >= 0 /\ D - I + 9 >= 0 /\ -D - I + 11 >= 0 /\ B - I + 8 >= 0 /\ -B - I + 12 >= 0 /\ J - I + 8 >= 0 /\ -J - I + 12 >= 0 /\ I - 10 >= 0 /\ G + I - 11 >= 0 /\ -G + I - 9 >= 0 /\ F + I - 11 >= 0 /\ -F + I - 9 >= 0 /\ E + I - 20 >= 0 /\ -E + I >= 0 /\ D + I - 11 >= 0 /\ -D + I - 9 >= 0 /\ B + I - 12 >= 0 /\ -B + I - 8 >= 0 /\ J + I - 12 >= 0 /\ -J + I - 8 >= 0 /\ -G + 1 >= 0 /\ F - G >= 0 /\ -F - G + 2 >= 0 /\ E - G - 9 >= 0 /\ -E - G + 11 >= 0 /\ D - G >= 0 /\ -D - G + 2 >= 0 /\ B - G - 1 >= 0 /\ -B - G + 3 >= 0 /\ J - G - 1 >= 0 /\ -J - G + 3 >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ -F + G >= 0 /\ E + G - 11 >= 0 /\ -E + G + 9 >= 0 /\ D + G - 2 >= 0 /\ -D + G >= 0 /\ B + G - 3 >= 0 /\ -B + G + 1 >= 0 /\ J + G - 3 >= 0 /\ -J + G + 1 >= 0 /\ -F + 1 >= 0 /\ E - F - 9 >= 0 /\ -E - F + 11 >= 0 /\ D - F >= 0 /\ -D - F + 2 >= 0 /\ B - F - 1 >= 0 /\ -B - F + 3 >= 0 /\ J - F - 1 >= 0 /\ -J - F + 3 >= 0 /\ F - 1 >= 0 /\ E + F - 11 >= 0 /\ -E + F + 9 >= 0 /\ D + F - 2 >= 0 /\ -D + F >= 0 /\ B + F - 3 >= 0 /\ -B + F + 1 >= 0 /\ J + F - 3 >= 0 /\ -J + F + 1 >= 0 /\ -E + 10 >= 0 /\ D - E + 9 >= 0 /\ -D - E + 11 >= 0 /\ B - E + 8 >= 0 /\ -B - E + 12 >= 0 /\ J - E + 8 >= 0 /\ -J - E + 12 >= 0 /\ E - 10 >= 0 /\ D + E - 11 >= 0 /\ -D + E - 9 >= 0 /\ B + E - 12 >= 0 /\ -B + E - 8 >= 0 /\ J + E - 12 >= 0 /\ -J + E - 8 >= 0 /\ -D + 1 >= 0 /\ B - D - 1 >= 0 /\ -B - D + 3 >= 0 /\ J - D - 1 >= 0 /\ -J - D + 3 >= 0 /\ D - 1 >= 0 /\ B + D - 3 >= 0 /\ -B + D + 1 >= 0 /\ J + D - 3 >= 0 /\ -J + D + 1 >= 0 /\ -B + 2 >= 0 /\ J - B >= 0 /\ -J - B + 4 >= 0 /\ B - 2 >= 0 /\ J + B - 4 >= 0 /\ -J + B >= 0 /\ -J + 2 >= 0 /\ J - 2 >= 0 /\ A >= B ]
)