(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D E F G H)
(RULES
  f0(A, B, C, D, E, F, G, H) -> Com_1(f15(10, 35, 285, I, I, 0, G, H))
  f15(A, B, C, D, E, F, G, H) -> Com_1(f25(A, B, C, D, E, F, I, 1)) [ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ A >= F + 1 ]
  f25(A, B, C, D, E, F, G, H) -> Com_1(f25(A, B, C, D, E, F, I, H + 1)) [ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H + 8 >= 0 /\ C + H - 286 >= 0 /\ -C + H + 284 >= 0 /\ B + H - 36 >= 0 /\ -B + H + 34 >= 0 /\ A + H - 11 >= 0 /\ -A + H + 9 >= 0 /\ -F + 9 >= 0 /\ C - F - 276 >= 0 /\ -C - F + 294 >= 0 /\ B - F - 26 >= 0 /\ -B - F + 44 >= 0 /\ A - F - 1 >= 0 /\ -A - F + 19 >= 0 /\ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ E >= H + 1 ]
  f41(A, B, C, D, E, F, G, H) -> Com_1(f15(A, B, C, D, E, F + 1, G, H)) [ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H + 8 >= 0 /\ -E + H >= 0 /\ C + H - 286 >= 0 /\ -C + H + 284 >= 0 /\ B + H - 36 >= 0 /\ -B + H + 34 >= 0 /\ A + H - 11 >= 0 /\ -A + H + 9 >= 0 /\ -F + 9 >= 0 /\ C - F - 276 >= 0 /\ -C - F + 294 >= 0 /\ B - F - 26 >= 0 /\ -B - F + 44 >= 0 /\ A - F - 1 >= 0 /\ -A - F + 19 >= 0 /\ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ E >= B ]
  f41(A, B, C, D, E, F, G, H) -> Com_1(f15(A, B, C, D, E + 1, F + 1, G, H)) [ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H + 8 >= 0 /\ -E + H >= 0 /\ C + H - 286 >= 0 /\ -C + H + 284 >= 0 /\ B + H - 36 >= 0 /\ -B + H + 34 >= 0 /\ A + H - 11 >= 0 /\ -A + H + 9 >= 0 /\ -F + 9 >= 0 /\ C - F - 276 >= 0 /\ -C - F + 294 >= 0 /\ B - F - 26 >= 0 /\ -B - F + 44 >= 0 /\ A - F - 1 >= 0 /\ -A - F + 19 >= 0 /\ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ B >= E + 1 ]
  f25(A, B, C, D, E, F, G, H) -> Com_1(f41(A, B, C, D, E, F, G, H)) [ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H + 8 >= 0 /\ C + H - 286 >= 0 /\ -C + H + 284 >= 0 /\ B + H - 36 >= 0 /\ -B + H + 34 >= 0 /\ A + H - 11 >= 0 /\ -A + H + 9 >= 0 /\ -F + 9 >= 0 /\ C - F - 276 >= 0 /\ -C - F + 294 >= 0 /\ B - F - 26 >= 0 /\ -B - F + 44 >= 0 /\ A - F - 1 >= 0 /\ -A - F + 19 >= 0 /\ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ H >= E /\ I >= J + 1 ]
  f25(A, B, C, D, E, F, G, H) -> Com_1(f41(A, B, C, D, E, F, G, H)) [ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H + 8 >= 0 /\ C + H - 286 >= 0 /\ -C + H + 284 >= 0 /\ B + H - 36 >= 0 /\ -B + H + 34 >= 0 /\ A + H - 11 >= 0 /\ -A + H + 9 >= 0 /\ -F + 9 >= 0 /\ C - F - 276 >= 0 /\ -C - F + 294 >= 0 /\ B - F - 26 >= 0 /\ -B - F + 44 >= 0 /\ A - F - 1 >= 0 /\ -A - F + 19 >= 0 /\ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ H >= E ]
  f25(A, B, C, D, E, F, G, H) -> Com_1(f15(A, B, C, D, E - 1, F + 1, G, H)) [ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H + 8 >= 0 /\ C + H - 286 >= 0 /\ -C + H + 284 >= 0 /\ B + H - 36 >= 0 /\ -B + H + 34 >= 0 /\ A + H - 11 >= 0 /\ -A + H + 9 >= 0 /\ -F + 9 >= 0 /\ C - F - 276 >= 0 /\ -C - F + 294 >= 0 /\ B - F - 26 >= 0 /\ -B - F + 44 >= 0 /\ A - F - 1 >= 0 /\ -A - F + 19 >= 0 /\ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ H >= E ]
  f15(A, B, C, D, E, F, G, H) -> Com_1(f48(A, B, C, D, E, F, G, H)) [ F >= 0 /\ C + F - 285 >= 0 /\ -C + F + 285 >= 0 /\ B + F - 35 >= 0 /\ -B + F + 35 >= 0 /\ A + F - 10 >= 0 /\ -A + F + 10 >= 0 /\ -C + 285 >= 0 /\ B - C + 250 >= 0 /\ -B - C + 320 >= 0 /\ A - C + 275 >= 0 /\ -A - C + 295 >= 0 /\ C - 285 >= 0 /\ B + C - 320 >= 0 /\ -B + C - 250 >= 0 /\ A + C - 295 >= 0 /\ -A + C - 275 >= 0 /\ -B + 35 >= 0 /\ A - B + 25 >= 0 /\ -A - B + 45 >= 0 /\ B - 35 >= 0 /\ A + B - 45 >= 0 /\ -A + B - 25 >= 0 /\ -A + 10 >= 0 /\ A - 10 >= 0 /\ F >= A ]
)