(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(f16(1, 0, 1, N, 0, M, L, K, I, 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(A, B, C, D, E + 1, F, G, H, 0, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 /\ 0 >= E /\ 0 >= D ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(A, B, C, D, E, F, G, H, N, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 /\ E >= 2 /\ 0 >= D /\ 1 >= N /\ N >= 0 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(A, B + 1, C, D, E, F, G, H, 1, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 /\ 0 >= D /\ 0 >= B /\ E = 1 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(A, 0, C - 1, D, E, F, G, H, 0, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 /\ 0 >= D /\ C >= 1 /\ E = 1 /\ B = 1 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(A + 1, 0, A + 1, N, 0, F, G, H, M, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 /\ 0 >= D /\ 0 >= C /\ M >= 0 /\ 1 >= M /\ N >= 0 /\ E = 1 /\ B = 1 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f25(A, B, C, D - 1, E, F, G, H, N, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 /\ D >= 1 /\ 1 >= N /\ N >= 0 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C, D, E + 1, F, G, H, I, 0)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 /\ 0 >= E /\ 0 >= D ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C, D, E, F, G, H, I, N)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 /\ E >= 2 /\ 0 >= D /\ 1 >= N /\ N >= 0 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B + 1, C, D, E, F, G, H, I, 1)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 /\ 0 >= D /\ 0 >= B /\ E = 1 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, 0, C - 1, D, E, F, G, H, I, 0)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 /\ 0 >= D /\ C >= 1 /\ E = 1 /\ B = 1 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A + 1, 0, A + 1, N, 0, F, G, H, I, M)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 /\ 0 >= D /\ 0 >= C /\ M >= 0 /\ 1 >= M /\ N >= 0 /\ E = 1 /\ B = 1 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f50(A, B, C, D - 1, E, F, G, H, I, N)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 /\ D >= 1 /\ 1 >= N /\ N >= 0 ] f25(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H, I, J)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ G + I - 1 >= 0 /\ F + I - 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ B + I >= 0 /\ A + I - 1 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 2 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 2 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ F + 1 >= A /\ 0 >= I ] f50(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H, I, J)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ J - I + 1 >= 0 /\ -J - I + 2 >= 0 /\ A - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 2 >= 0 /\ E + I - 1 >= 0 /\ D + I - 1 >= 0 /\ B + I - 1 >= 0 /\ J + I - 1 >= 0 /\ -J + I >= 0 /\ A + I - 2 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ J + H - 1 >= 0 /\ -J + H >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ J + G - 1 >= 0 /\ -J + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 3 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ J + F - 1 >= 0 /\ -J + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 3 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ J + E >= 0 /\ -J + E + 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ J + D >= 0 /\ -J + D + 1 >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ J + B >= 0 /\ -J + B + 1 >= 0 /\ A + B - 1 >= 0 /\ -J + 1 >= 0 /\ A - J >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ J >= 1 /\ F + 1 >= A /\ H >= G ] f50(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H + 1, I, J)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ J - I + 1 >= 0 /\ -J - I + 2 >= 0 /\ A - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 2 >= 0 /\ E + I - 1 >= 0 /\ D + I - 1 >= 0 /\ B + I - 1 >= 0 /\ J + I - 1 >= 0 /\ -J + I >= 0 /\ A + I - 2 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ J + H - 1 >= 0 /\ -J + H >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ J + G - 1 >= 0 /\ -J + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 3 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ J + F - 1 >= 0 /\ -J + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 3 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ J + E >= 0 /\ -J + E + 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ J + D >= 0 /\ -J + D + 1 >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ J + B >= 0 /\ -J + B + 1 >= 0 /\ A + B - 1 >= 0 /\ -J + 1 >= 0 /\ A - J >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ J >= 1 /\ F + 1 >= A /\ G >= H + 1 ] f50(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C, D, E, F, G, H - 1, I, J)) [ -I + 1 >= 0 /\ H - I >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ B - I + 1 >= 0 /\ J - I + 1 >= 0 /\ -J - I + 2 >= 0 /\ A - I >= 0 /\ I - 1 >= 0 /\ H + I - 2 >= 0 /\ G + I - 2 >= 0 /\ F + I - 2 >= 0 /\ E + I - 1 >= 0 /\ D + I - 1 >= 0 /\ B + I - 1 >= 0 /\ J + I - 1 >= 0 /\ -J + I >= 0 /\ A + I - 2 >= 0 /\ G - H >= 0 /\ F - H >= 0 /\ H - 1 >= 0 /\ G + H - 2 >= 0 /\ F + H - 2 >= 0 /\ E + H - 1 >= 0 /\ D + H - 1 >= 0 /\ B + H - 1 >= 0 /\ J + H - 1 >= 0 /\ -J + H >= 0 /\ A + H - 2 >= 0 /\ F - G >= 0 /\ G - 1 >= 0 /\ F + G - 2 >= 0 /\ E + G - 1 >= 0 /\ -E + G >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ J + G - 1 >= 0 /\ -J + G >= 0 /\ A + G - 2 >= 0 /\ F - 1 >= 0 /\ E + F - 1 >= 0 /\ -E + F >= 0 /\ D + F - 1 >= 0 /\ C + F - 1 >= 0 /\ -C + F + 3 >= 0 /\ B + F - 1 >= 0 /\ -B + F >= 0 /\ J + F - 1 >= 0 /\ -J + F >= 0 /\ A + F - 2 >= 0 /\ -A + F + 3 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ J + E >= 0 /\ -J + E + 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ J + D >= 0 /\ -J + D + 1 >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ J + B >= 0 /\ -J + B + 1 >= 0 /\ A + B - 1 >= 0 /\ -J + 1 >= 0 /\ A - J >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ F + 1 >= A /\ 0 >= J ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J)) [ G - H >= 0 /\ F - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ B + H >= 0 /\ A + H - 1 >= 0 /\ F - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G >= 0 /\ C + G - 1 >= 0 /\ B + G >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ D + F >= 0 /\ C + F - 1 >= 0 /\ -C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ C + E - 1 >= 0 /\ B + E >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ A + D - 1 >= 0 /\ A - C >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ A - 1 >= 0 /\ 0 >= H ] )