(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(f10(1, B, 0, 9, 1, K, G, H, I, J)) f10(A, B, C, D, E, F, G, H, I, J) -> Com_1(f10(A, B, C + 1, D, E, F, G, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 1 >= 0 /\ A + E - 2 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ D >= C + 1 ] f10(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, 0, D, E, F, G, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 1 >= 0 /\ A + E - 2 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ C >= D ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f56(A, B, C, D, 0, F, G, H, I, 1)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ C >= D /\ E = 0 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f49(A, B, C, D, E, F, G, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ E >= 1 /\ C >= D ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, 0, C, D, 0, F, 0, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ D >= C + 1 /\ E = 0 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f19(A, B, C, D, E, F, G, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ E >= 1 /\ D >= C + 1 ] f49(A, B, C, D, E, F, G, H, I, J) -> Com_1(f56(0, B, C, D, E, F, G, H, I, 1)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E - 8 >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 10 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 18 >= 0 /\ -A + D - 8 >= 0 /\ C - 9 >= 0 /\ -A + C - 8 >= 0 /\ -A + 1 >= 0 /\ A = 0 ] f49(A, B, C, D, E, F, G, H, I, J) -> Com_1(f56(A, B, C, D, E, F, G, H, I, 0)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E - 8 >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 10 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 18 >= 0 /\ -A + D - 8 >= 0 /\ C - 9 >= 0 /\ -A + C - 8 >= 0 /\ -A + 1 >= 0 /\ A >= 1 ] f49(A, B, C, D, E, F, G, H, I, J) -> Com_1(f56(A, B, C, D, E, F, G, H, I, 0)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E - 8 >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 10 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 18 >= 0 /\ -A + D - 8 >= 0 /\ C - 9 >= 0 /\ -A + C - 8 >= 0 /\ -A + 1 >= 0 /\ 0 >= A + 1 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A, B, C + 1, D, E, F, G, H, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -A + C + 1 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ B >= D ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, C + 1, C, D, E, F, G, H, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -A + C + 1 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ D >= B + 1 /\ C = B ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(A, B, C, D, E, F, G, H, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -A + C + 1 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ C >= B + 1 /\ D >= B + 1 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(A, B, C, D, E, F, G, H, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -A + C + 1 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ D >= B + 1 /\ B >= C + 1 ] f19(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, 0, C, D, 0, F, 0, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -C - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 1 >= 0 /\ -C + E + 7 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -C - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -C + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ -C + 8 >= 0 /\ -A - C + 9 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ 0 >= K + 1 ] f19(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, 0, C, D, 0, F, 0, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -C - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 1 >= 0 /\ -C + E + 7 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -C - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -C + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ -C + 8 >= 0 /\ -A - C + 9 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 ] f19(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, 0, C, D, 1, F, 1, H, I, J)) [ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ -C - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E - 1 >= 0 /\ D + E - 10 >= 0 /\ -D + E + 8 >= 0 /\ C + E - 1 >= 0 /\ -C + E + 7 >= 0 /\ -A + E >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ -C - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ -C + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ -C + 8 >= 0 /\ -A - C + 9 >= 0 /\ C >= 0 /\ -A + C + 1 >= 0 /\ -A + 1 >= 0 /\ D >= K + 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(0, B, C, D, E, F, G, 0, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A = 0 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f31(A, B, C, D, E, F, G, H, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f31(A, B, C, D, E, F, G, H, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ 0 >= A + 1 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(0, B + 1, C, D, E, F, G, H, 0, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ E + H >= 0 /\ -E + H + 1 >= 0 /\ D + H - 9 >= 0 /\ -D + H + 9 >= 0 /\ C + H >= 0 /\ B + H >= 0 /\ -B + H + 8 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G + 1 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A = 0 ] f31(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(0, B, C, D, E, F, G, 0, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 ] f31(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(1, B, C, D, E, F, G, 1, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 ] f31(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(1, B, C, D, E, F, G, 1, I, J)) [ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ K >= L + 1 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ E + H >= 0 /\ -E + H + 1 >= 0 /\ D + H - 9 >= 0 /\ -D + H + 9 >= 0 /\ C + H >= 0 /\ B + H >= 0 /\ -B + H + 8 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G + 1 >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E + 1 >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 9 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 9 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 8 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 ] f37(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(0, B + 1, C, D, E, F, G, H, 0, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H - 1 >= 0 /\ G + H - 1 >= 0 /\ -G + H >= 0 /\ E + H - 1 >= 0 /\ -E + H >= 0 /\ D + H - 10 >= 0 /\ -D + H + 8 >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 7 >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G - 1 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 7 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 ] f37(A, B, C, D, E, F, G, H, I, J) -> Com_1(f38(A, B, C, D, E, F, G, H, I, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H - 1 >= 0 /\ G + H - 1 >= 0 /\ -G + H >= 0 /\ E + H - 1 >= 0 /\ -E + H >= 0 /\ D + H - 10 >= 0 /\ -D + H + 8 >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 7 >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G - 1 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 7 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ C + K >= B + L + 1 ] f37(A, B, C, D, E, F, G, H, I, J) -> Com_1(f38(A, B, C, D, E, F, G, H, I, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H - 1 >= 0 /\ G + H - 1 >= 0 /\ -G + H >= 0 /\ E + H - 1 >= 0 /\ -E + H >= 0 /\ D + H - 10 >= 0 /\ -D + H + 8 >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 7 >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G - 1 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 7 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ B + K >= C + L + 1 ] f38(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(0, B + 1, C, D, E, F, G, H, 0, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H - 1 >= 0 /\ G + H - 1 >= 0 /\ -G + H >= 0 /\ E + H - 1 >= 0 /\ -E + H >= 0 /\ D + H - 10 >= 0 /\ -D + H + 8 >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 7 >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G - 1 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 7 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 ] f38(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(1, B + 1, C, D, E, F, G, H, 1, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H - 1 >= 0 /\ G + H - 1 >= 0 /\ -G + H >= 0 /\ E + H - 1 >= 0 /\ -E + H >= 0 /\ D + H - 10 >= 0 /\ -D + H + 8 >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 7 >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G - 1 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 7 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ C + K >= B + L + 1 ] f38(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(1, B + 1, C, D, E, F, G, H, 1, J)) [ -H + 1 >= 0 /\ G - H + 1 >= 0 /\ -G - H + 2 >= 0 /\ E - H + 1 >= 0 /\ -E - H + 2 >= 0 /\ D - H - 8 >= 0 /\ -D - H + 10 >= 0 /\ C - H + 1 >= 0 /\ B - H + 1 >= 0 /\ -B - H + 9 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H - 1 >= 0 /\ G + H - 1 >= 0 /\ -G + H >= 0 /\ E + H - 1 >= 0 /\ -E + H >= 0 /\ D + H - 10 >= 0 /\ -D + H + 8 >= 0 /\ C + H - 1 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 7 >= 0 /\ A + H - 2 >= 0 /\ -A + H >= 0 /\ -G + 1 >= 0 /\ E - G >= 0 /\ -E - G + 2 >= 0 /\ D - G - 8 >= 0 /\ -D - G + 10 >= 0 /\ C - G + 1 >= 0 /\ B - G + 1 >= 0 /\ -B - G + 9 >= 0 /\ A - G >= 0 /\ -A - G + 2 >= 0 /\ G >= 0 /\ E + G >= 0 /\ -E + G >= 0 /\ D + G - 9 >= 0 /\ -D + G + 9 >= 0 /\ C + G >= 0 /\ B + G >= 0 /\ -B + G + 8 >= 0 /\ A + G - 1 >= 0 /\ -A + G + 1 >= 0 /\ -E + 1 >= 0 /\ D - E - 8 >= 0 /\ -D - E + 10 >= 0 /\ C - E + 1 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 9 >= 0 /\ A - E >= 0 /\ -A - E + 2 >= 0 /\ E >= 0 /\ D + E - 9 >= 0 /\ -D + E + 9 >= 0 /\ C + E >= 0 /\ B + E >= 0 /\ -B + E + 8 >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 9 >= 0 /\ C - D + 9 >= 0 /\ B - D + 9 >= 0 /\ -B - D + 17 >= 0 /\ A - D + 8 >= 0 /\ -A - D + 10 >= 0 /\ D - 9 >= 0 /\ C + D - 9 >= 0 /\ B + D - 9 >= 0 /\ -B + D - 1 >= 0 /\ A + D - 10 >= 0 /\ -A + D - 8 >= 0 /\ C >= 0 /\ B + C - 1 >= 0 /\ -B + C + 8 >= 0 /\ A + C - 1 >= 0 /\ -A + C + 1 >= 0 /\ -B + 8 >= 0 /\ A - B + 7 >= 0 /\ -A - B + 9 >= 0 /\ B >= 0 /\ A + B - 1 >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ B + K >= C + L + 1 ] )