(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J) (RULES f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ 0 >= A ] f0(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, 1, 0, 1, N, 0, M, L, K, J)) [ K >= 0 /\ L >= K /\ L >= 0 /\ M >= L /\ N >= 0 /\ M >= 0 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(0, B, C, D, E, F + 1, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ I >= 1 /\ 0 >= F /\ 0 >= E ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(N, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ I >= 1 /\ F >= 2 /\ 0 >= E /\ 1 >= N /\ N >= 0 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(1, B, C + 1, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ I >= 1 /\ 0 >= E /\ 0 >= C /\ F = 1 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(0, B, 0, D - 1, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ I >= 1 /\ 0 >= E /\ D >= 1 /\ F = 1 /\ C = 1 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(M, B + 1, 0, B + 1, N, 0, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ I >= 1 /\ 0 >= E /\ 0 >= D /\ M >= 0 /\ 1 >= M /\ N >= 0 /\ F = 1 /\ C = 1 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(N, B, C, D, E - 1, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ I >= 1 /\ E >= 1 /\ 1 >= N /\ N >= 0 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C, D, E, F + 1, G, H, I, 0)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ 0 >= F /\ 0 >= E ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C, D, E, F, G, H, I, N)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ F >= 2 /\ 0 >= E /\ 1 >= N /\ N >= 0 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C + 1, D, E, F, G, H, I, 1)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ 0 >= E /\ 0 >= C /\ F = 1 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, 0, D - 1, E, F, G, H, I, 0)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ 0 >= E /\ D >= 1 /\ F = 1 /\ C = 1 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B + 1, 0, B + 1, N, 0, G, H, I, M)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ 0 >= E /\ 0 >= D /\ M >= 0 /\ 1 >= M /\ N >= 0 /\ F = 1 /\ C = 1 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C, D, E - 1, F, G, H, I, N)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ A + I - 1 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ A + H - 1 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ E >= 1 /\ 1 >= N /\ N >= 0 ] f50(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ J + I - 1 >= 0 /\ -J + I >= 0 /\ A + I - 2 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ J + H - 1 >= 0 /\ -J + H >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ J + G - 1 >= 0 /\ -J + G >= 0 /\ A + G - 2 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ J + F >= 0 /\ -J + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ J + E >= 0 /\ -J + E + 1 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ J + C >= 0 /\ -J + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ J + B - 1 >= 0 /\ -J + B >= 0 /\ A + B - 2 >= 0 /\ -A + B >= 0 /\ -J + 1 >= 0 /\ A - J >= 0 /\ -A - J + 2 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ -A + J + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ I >= H /\ J >= 1 ] f50(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H, I + 1, J)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ J + I - 1 >= 0 /\ -J + I >= 0 /\ A + I - 2 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ J + H - 1 >= 0 /\ -J + H >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ J + G - 1 >= 0 /\ -J + G >= 0 /\ A + G - 2 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ J + F >= 0 /\ -J + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ J + E >= 0 /\ -J + E + 1 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ J + C >= 0 /\ -J + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ J + B - 1 >= 0 /\ -J + B >= 0 /\ A + B - 2 >= 0 /\ -A + B >= 0 /\ -J + 1 >= 0 /\ A - J >= 0 /\ -A - J + 2 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ -A + J + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ H >= I + 1 /\ J >= 1 ] f50(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H, I - 1, J)) [ H - I >= 0 /\ G - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 1 >= 0 /\ E + I - 1 >= 0 /\ C + I - 1 >= 0 /\ B + I - 2 >= 0 /\ J + I - 1 >= 0 /\ -J + I >= 0 /\ A + I - 2 >= 0 /\ -A + I >= 0 /\ G - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 1 >= 0 /\ -F + H >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H >= 0 /\ B + H - 2 >= 0 /\ J + H - 1 >= 0 /\ -J + H >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ G - 1 >= 0 /\ F + G - 1 >= 0 /\ -F + G >= 0 /\ E + G - 1 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ -C + G >= 0 /\ B + G - 2 >= 0 /\ J + G - 1 >= 0 /\ -J + G >= 0 /\ A + G - 2 >= 0 /\ -A + G >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ J + F >= 0 /\ -J + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ J + E >= 0 /\ -J + E + 1 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ J + C >= 0 /\ -J + C + 1 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ B - 1 >= 0 /\ J + B - 1 >= 0 /\ -J + B >= 0 /\ A + B - 2 >= 0 /\ -A + B >= 0 /\ -J + 1 >= 0 /\ A - J >= 0 /\ -A - J + 2 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ -A + J + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ 0 >= J ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f73(A, B, C, D, E, F, G, H, I, J)) [ H - I >= 0 /\ G - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ E + I >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ G - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H >= 0 /\ E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ -C + H >= 0 /\ B + H - 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G >= 0 /\ E + G >= 0 /\ D + G - 1 >= 0 /\ C + G >= 0 /\ -C + G >= 0 /\ B + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F - 1 >= 0 /\ C + F >= 0 /\ -C + F >= 0 /\ B + F - 1 >= 0 /\ E >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ B - D >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ B - 1 >= 0 /\ 0 >= I ] )