(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)) [ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ F >= 0 ] 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)) [ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 0 /\ -A - F - 1 >= 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)) [ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 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 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 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 - 1 >= 0 /\ G - I - 1 >= 0 /\ E - I - 1 >= 0 /\ D - I - 1 >= 0 /\ A - I - 1 >= 0 /\ -F + I >= 0 /\ G - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ I >= 0 ] 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)) [ -I - 1 >= 0 /\ H - I - 1 >= 0 /\ G - I - 1 >= 0 /\ -F - I - 2 >= 0 /\ E - I - 1 >= 0 /\ D - I - 1 >= 0 /\ J - I - 1 >= 0 /\ A - I - 1 >= 0 /\ -F + I >= 0 /\ G - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ A + H >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ J - F - 1 >= 0 /\ A - F - 1 >= 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)) [ -I - 1 >= 0 /\ H - I - 1 >= 0 /\ G - I - 1 >= 0 /\ -F - I - 2 >= 0 /\ E - I - 1 >= 0 /\ D - I - 1 >= 0 /\ J - I - 1 >= 0 /\ A - I >= 0 /\ -F + I >= 0 /\ G - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ -A + H - 1 >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ -A + G - 1 >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ J - F - 1 >= 0 /\ A - F >= 0 /\ D - E >= 0 /\ J - E >= 0 /\ -A + E - 1 >= 0 /\ D >= 0 /\ J + D >= 0 /\ -J + D >= 0 /\ -A + D - 1 >= 0 /\ J >= 0 /\ -A + J - 1 >= 0 /\ A >= 0 ] f83(A, B, C, D, E, F, G, H, I, J) -> Com_1(f93(A, B, C, D, E, F, G, H, I, J)) [ -I - 1 >= 0 /\ H - I - 1 >= 0 /\ G - I - 1 >= 0 /\ -F - I - 2 >= 0 /\ E - I - 1 >= 0 /\ D - I - 1 >= 0 /\ J - I - 1 >= 0 /\ A - I >= 0 /\ -F + I >= 0 /\ G - H >= 0 /\ D - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ -A + H - 1 >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ -A + G - 1 >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ J - F - 1 >= 0 /\ A - F >= 0 /\ D - E >= 0 /\ J - E >= 0 /\ -A + E - 1 >= 0 /\ D >= 0 /\ J + D >= 0 /\ -J + D >= 0 /\ -A + D - 1 >= 0 /\ J >= 0 /\ -A + J - 1 >= 0 /\ 0 >= A + 1 ] f75(A, B, C, D, E, F, G, H, I, J) -> Com_1(f83(E - 1, B, C, D, E, F, G, H, I, J)) [ -I - 1 >= 0 /\ H - I - 1 >= 0 /\ G - I - 1 >= 0 /\ -F - I - 2 >= 0 /\ E - I - 1 >= 0 /\ D - I - 1 >= 0 /\ J - I - 1 >= 0 /\ A - I - 1 >= 0 /\ -F + I >= 0 /\ G - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ A + H >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ J + G >= 0 /\ -J + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ J - F - 1 >= 0 /\ A - F - 1 >= 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 - 1 >= 0 /\ G - I - 1 >= 0 /\ E - I - 1 >= 0 /\ D - I - 1 >= 0 /\ A - I - 1 >= 0 /\ -F + I >= 0 /\ G - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ -E + H >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 0 /\ D - E >= 0 /\ A - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ A >= 0 /\ 0 >= I + 1 ] f55(A, B, C, D, E, F, G, H, I, J) -> Com_1(f65(A, B, C, D, E, F, G, H, E - 1, J)) [ G - H >= 0 /\ D - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ -F + H - 1 >= 0 /\ D + H >= 0 /\ A + H >= 0 /\ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 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)) [ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 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)) [ D - G >= 0 /\ G >= 0 /\ -F + G - 1 >= 0 /\ D + G >= 0 /\ A + G >= 0 /\ -A + G >= 0 /\ -F - 1 >= 0 /\ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ A - F - 1 >= 0 /\ -A - F - 1 >= 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)) [ E - F - 1 >= 0 /\ D - F - 1 >= 0 /\ D - E >= 0 /\ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ 0 >= F + 1 ] f17(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, B, C, D, E, E - 1, G, H, I, J)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ D >= E ] )