(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J) (RULES f0(A, B, C, D, E, F, G, H, I, J) -> Com_1(f17(0, K, L, 0, E, F, G, H, I, J)) f17(A, B, C, D, E, F, G, H, I, J) -> Com_1(f17(A, B, C, D + 1, E, F, G, H, I, J)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ E >= D + 1 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, B, C, D, E, F + 1, G, H, I, J)) [ D - F >= 0 /\ F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ E >= F + 1 ] f37(A, B, C, D, E, F, G, H, I, J) -> Com_1(f37(A, B, C, D, E, F, G + 1, H, I, J)) [ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ E >= G + 1 ] f45(A, B, C, D, E, F, G, H, I, J) -> Com_1(f45(A + 1, B, C, D, E, F, G, H, I, J)) [ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ E >= A + 1 ] f55(A, B, C, D, E, F, G, H, I, J) -> Com_1(f55(A, B, C, D, E, F, G, H + 1, I, J)) [ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ E >= H + 1 ] f65(A, B, C, D, E, F, G, H, I, J) -> Com_1(f65(A, B, C, D, E, F, G, H, I + 1, J)) [ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ D - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ D + I >= 0 /\ A + I >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ E >= I + 1 ] f75(A, B, C, D, E, F, G, H, I, J) -> Com_1(f75(A, B, C, D, E, F, G, H, I, J + 1)) [ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ D - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -E + I >= 0 /\ D + I >= 0 /\ J + I >= 0 /\ -J + I >= 0 /\ A + I >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ J + F >= 0 /\ -J + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ J + D >= 0 /\ -J + D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A - J >= 0 /\ J >= 0 /\ A + J >= 0 /\ A >= 0 /\ E >= J + 1 ] f83(A, B, C, D, E, F, G, H, I, J) -> Com_1(f83(A + 1, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ D - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -E + I >= 0 /\ D + I >= 0 /\ J + I >= 0 /\ -J + I >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ J + F >= 0 /\ -J + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ J - E >= 0 /\ D >= 0 /\ J + D >= 0 /\ -J + D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ J >= 0 /\ A + J >= 0 /\ -A + J >= 0 /\ A >= 0 /\ E >= A + 1 ] f83(A, B, C, D, E, F, G, H, I, J) -> Com_1(f93(A, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ D - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -E + I >= 0 /\ D + I >= 0 /\ J + I >= 0 /\ -J + I >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ J + F >= 0 /\ -J + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ J - E >= 0 /\ D >= 0 /\ J + D >= 0 /\ -J + D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ J >= 0 /\ A + J >= 0 /\ -A + J >= 0 /\ A >= 0 /\ A >= E ] f75(A, B, C, D, E, F, G, H, I, J) -> Com_1(f83(0, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ D - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -E + I >= 0 /\ D + I >= 0 /\ J + I >= 0 /\ -J + I >= 0 /\ A + I >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ J + F >= 0 /\ -J + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ J + D >= 0 /\ -J + D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A - J >= 0 /\ J >= 0 /\ A + J >= 0 /\ A >= 0 /\ J >= E ] f65(A, B, C, D, E, F, G, H, I, J) -> Com_1(f75(A, B, C, D, E, F, G, H, I, 0)) [ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ D - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ D + I >= 0 /\ A + I >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ I >= E ] f55(A, B, C, D, E, F, G, H, I, J) -> Com_1(f65(A, B, C, D, E, F, G, H, 0, J)) [ G - H >= 0 /\ F - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ H >= E ] f45(A, B, C, D, E, F, G, H, I, J) -> Com_1(f55(A, B, C, D, E, F, G, 0, I, J)) [ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ A >= E ] f37(A, B, C, D, E, F, G, H, I, J) -> Com_1(f45(0, B, C, D, E, F, G, H, I, J)) [ F - G >= 0 /\ D - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ D - F >= 0 /\ F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ G >= E ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f37(A, B, C, D, E, F, 0, H, I, J)) [ D - F >= 0 /\ F >= 0 /\ D + F >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ F >= E ] f17(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, B, C, D, E, 0, G, H, I, J)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ D >= E ] )