(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(f15(1, 4, K, 0, L, 0, 0, 0, 0, 0)) [ K >= 0 /\ L >= 0 ] f15(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C, D + 1, E, 0, 0, 0, 0, 0)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 1 >= 0 /\ G - I + 1 >= 0 /\ F - I + 1 >= 0 /\ -F - I + 2 >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ -D - I + 2 >= 0 /\ C - I + 1 >= 0 /\ J - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ -B + E + 4 >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ 0 >= D /\ 0 >= C /\ B >= 1 /\ I = 0 ] f15(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B - 1, C, 0, E, K, 0, 0, 0, 0)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 1 >= 0 /\ G - I + 1 >= 0 /\ F - I + 1 >= 0 /\ -F - I + 2 >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ -D - I + 2 >= 0 /\ C - I + 1 >= 0 /\ J - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ -B + E + 4 >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ D >= 1 /\ 0 >= C /\ K >= 0 /\ B >= 1 /\ 1 >= K /\ I = 0 ] f15(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A + 1, A + 4, K, 0, E, L, 0, 0, 0, 0)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 1 >= 0 /\ G - I + 1 >= 0 /\ F - I + 1 >= 0 /\ -F - I + 2 >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ -D - I + 2 >= 0 /\ C - I + 1 >= 0 /\ J - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ -B + E + 4 >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ 0 >= C /\ L >= 0 /\ 1 >= L /\ 0 >= B /\ K >= 0 /\ I = 0 ] f15(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C - 1, D, E, K, 0, 0, 0, 0)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 1 >= 0 /\ G - I + 1 >= 0 /\ F - I + 1 >= 0 /\ -F - I + 2 >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ -D - I + 2 >= 0 /\ C - I + 1 >= 0 /\ J - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ -B + E + 4 >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ C >= 1 /\ 1 >= K /\ K >= 0 /\ I = 0 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f78(A, B, C, D, E, F, G, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ 0 >= H /\ J >= E + 1 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f78(A, B, C, D, E, F, G, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ H >= 1 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f48(A, B, C, D + 1, E, F, 0, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ E >= J /\ 0 >= H /\ 0 >= D /\ 0 >= C /\ B >= 1 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f48(A, B - 1, C, 0, E, F, K, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ E >= J /\ 0 >= H /\ D >= 1 /\ 0 >= C /\ K >= 0 /\ B >= 1 /\ 1 >= K ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f48(A + 1, A + 4, K, 0, E, F, L, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ E >= J /\ 0 >= H /\ 0 >= C /\ L >= 0 /\ 1 >= L /\ 0 >= B /\ K >= 0 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f48(A, B, C - 1, D, E, F, K, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ E >= J /\ 0 >= H /\ C >= 1 /\ 1 >= K /\ K >= 0 ] f48(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C, D, E, F, G, H, I, J + 1)) [ -I >= 0 /\ H - I >= 0 /\ -H - I >= 0 /\ G - I >= 0 /\ -G - I + 1 >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I >= 0 /\ G + I >= 0 /\ -G + I + 1 >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H >= 0 /\ G - H >= 0 /\ -G - H + 1 >= 0 /\ F - H >= 0 /\ -F - H + 1 >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ -D - H + 1 >= 0 /\ C - H >= 0 /\ J - H >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ -G + 1 >= 0 /\ F - G + 1 >= 0 /\ -F - G + 2 >= 0 /\ E - G + 1 >= 0 /\ D - G + 1 >= 0 /\ -D - G + 2 >= 0 /\ C - G + 1 >= 0 /\ J - G + 1 >= 0 /\ A - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ -J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ E + 1 >= A /\ 0 >= G ] f48(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C, D, E, F, G, H, I, J + 1)) [ -I >= 0 /\ H - I >= 0 /\ -H - I >= 0 /\ G - I >= 0 /\ -G - I + 1 >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I >= 0 /\ G + I >= 0 /\ -G + I + 1 >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H >= 0 /\ G - H >= 0 /\ -G - H + 1 >= 0 /\ F - H >= 0 /\ -F - H + 1 >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ -D - H + 1 >= 0 /\ C - H >= 0 /\ J - H >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ -G + 1 >= 0 /\ F - G + 1 >= 0 /\ -F - G + 2 >= 0 /\ E - G + 1 >= 0 /\ D - G + 1 >= 0 /\ -D - G + 2 >= 0 /\ C - G + 1 >= 0 /\ J - G + 1 >= 0 /\ A - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ -J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ G >= 1 /\ E + 1 >= A /\ F >= 1 ] f48(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C, D + 1, E, F, G, 0, I, J + 1)) [ -I >= 0 /\ H - I >= 0 /\ -H - I >= 0 /\ G - I >= 0 /\ -G - I + 1 >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I >= 0 /\ G + I >= 0 /\ -G + I + 1 >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H >= 0 /\ G - H >= 0 /\ -G - H + 1 >= 0 /\ F - H >= 0 /\ -F - H + 1 >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ -D - H + 1 >= 0 /\ C - H >= 0 /\ J - H >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ -G + 1 >= 0 /\ F - G + 1 >= 0 /\ -F - G + 2 >= 0 /\ E - G + 1 >= 0 /\ D - G + 1 >= 0 /\ -D - G + 2 >= 0 /\ C - G + 1 >= 0 /\ J - G + 1 >= 0 /\ A - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ -J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ G >= 1 /\ 0 >= F /\ E + 1 >= A /\ 0 >= D /\ 0 >= C /\ B >= 1 ] f48(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B - 1, C, 0, E, F, G, K, I, J + 1)) [ -I >= 0 /\ H - I >= 0 /\ -H - I >= 0 /\ G - I >= 0 /\ -G - I + 1 >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I >= 0 /\ G + I >= 0 /\ -G + I + 1 >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H >= 0 /\ G - H >= 0 /\ -G - H + 1 >= 0 /\ F - H >= 0 /\ -F - H + 1 >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ -D - H + 1 >= 0 /\ C - H >= 0 /\ J - H >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ -G + 1 >= 0 /\ F - G + 1 >= 0 /\ -F - G + 2 >= 0 /\ E - G + 1 >= 0 /\ D - G + 1 >= 0 /\ -D - G + 2 >= 0 /\ C - G + 1 >= 0 /\ J - G + 1 >= 0 /\ A - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ -J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ G >= 1 /\ 0 >= F /\ E + 1 >= A /\ D >= 1 /\ 0 >= C /\ K >= 0 /\ B >= 1 /\ 1 >= K ] f48(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A + 1, A + 4, K, 0, E, F, G, L, I, J + 1)) [ -I >= 0 /\ H - I >= 0 /\ -H - I >= 0 /\ G - I >= 0 /\ -G - I + 1 >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I >= 0 /\ G + I >= 0 /\ -G + I + 1 >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H >= 0 /\ G - H >= 0 /\ -G - H + 1 >= 0 /\ F - H >= 0 /\ -F - H + 1 >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ -D - H + 1 >= 0 /\ C - H >= 0 /\ J - H >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ -G + 1 >= 0 /\ F - G + 1 >= 0 /\ -F - G + 2 >= 0 /\ E - G + 1 >= 0 /\ D - G + 1 >= 0 /\ -D - G + 2 >= 0 /\ C - G + 1 >= 0 /\ J - G + 1 >= 0 /\ A - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ -J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ G >= 1 /\ 0 >= F /\ E >= A /\ 0 >= C /\ L >= 0 /\ 1 >= L /\ 0 >= B /\ K >= 0 ] f48(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C - 1, D, E, F, G, K, I, J + 1)) [ -I >= 0 /\ H - I >= 0 /\ -H - I >= 0 /\ G - I >= 0 /\ -G - I + 1 >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I >= 0 /\ G + I >= 0 /\ -G + I + 1 >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H >= 0 /\ G - H >= 0 /\ -G - H + 1 >= 0 /\ F - H >= 0 /\ -F - H + 1 >= 0 /\ E - H >= 0 /\ D - H >= 0 /\ -D - H + 1 >= 0 /\ C - H >= 0 /\ J - H >= 0 /\ A - H - 1 >= 0 /\ H >= 0 /\ G + H >= 0 /\ -G + H + 1 >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ -G + 1 >= 0 /\ F - G + 1 >= 0 /\ -F - G + 2 >= 0 /\ E - G + 1 >= 0 /\ D - G + 1 >= 0 /\ -D - G + 2 >= 0 /\ C - G + 1 >= 0 /\ J - G + 1 >= 0 /\ A - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F + 1 >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E >= 0 /\ -J + E >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D + 1 >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ G >= 1 /\ 0 >= F /\ E + 1 >= A /\ C >= 1 /\ 1 >= K /\ K >= 0 ] f78(A, B, C, D, E, F, G, H, I, J) -> Com_1(f15(A, B, C, D, E, F, G, H, I, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I - 1 >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I - 1 >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H - 1 >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G - 1 >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F - 1 >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E - 1 >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C - 1 >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ A - 1 >= 0 /\ E + 1 >= A /\ H >= 1 ] f78(A, B, C, D, E, F, G, H, I, J) -> Com_1(f15(A, B, C, D, E, F, G, H, 1, J)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ G - I >= 0 /\ F - I >= 0 /\ -F - I + 1 >= 0 /\ E - I >= 0 /\ D - I >= 0 /\ -D - I + 1 >= 0 /\ C - I >= 0 /\ J - I - 1 >= 0 /\ A - I - 1 >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I + 1 >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I - 1 >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H - 1 >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G - 1 >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F - 1 >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ J + E - 1 >= 0 /\ A + E - 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D - 1 >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C - 1 >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ A - 1 >= 0 /\ E + 1 >= A /\ 0 >= H ] f15(A, B, C, D, E, F, G, H, I, J) -> Com_1(f83(A, B, C, D, E, F, G, H, I, J)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 1 >= 0 /\ G - I + 1 >= 0 /\ F - I + 1 >= 0 /\ -F - I + 2 >= 0 /\ E - I + 1 >= 0 /\ D - I + 1 >= 0 /\ -D - I + 2 >= 0 /\ C - I + 1 >= 0 /\ J - I >= 0 /\ A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ G + I >= 0 /\ F + I >= 0 /\ -F + I >= 0 /\ E + I >= 0 /\ D + I >= 0 /\ -D + I + 1 >= 0 /\ C + I >= 0 /\ J + I >= 0 /\ A + I - 1 >= 0 /\ -H + 1 >= 0 /\ G - H >= 0 /\ F - H + 1 >= 0 /\ -F - H + 1 >= 0 /\ E - H + 1 >= 0 /\ D - H + 1 >= 0 /\ -D - H + 2 >= 0 /\ C - H + 1 >= 0 /\ J - H >= 0 /\ A - H >= 0 /\ H >= 0 /\ G + H >= 0 /\ F + H >= 0 /\ -F + H + 1 >= 0 /\ E + H >= 0 /\ D + H >= 0 /\ -D + H + 1 >= 0 /\ C + H >= 0 /\ J + H >= 0 /\ A + H - 1 >= 0 /\ J - G >= 0 /\ G >= 0 /\ F + G >= 0 /\ -F + G + 1 >= 0 /\ E + G >= 0 /\ D + G >= 0 /\ -D + G + 1 >= 0 /\ C + G >= 0 /\ J + G >= 0 /\ A + G - 1 >= 0 /\ -F + 1 >= 0 /\ E - F + 1 >= 0 /\ D - F + 1 >= 0 /\ -D - F + 2 >= 0 /\ C - F + 1 >= 0 /\ J - F >= 0 /\ A - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ D + F >= 0 /\ -D + F + 1 >= 0 /\ C + F >= 0 /\ J + F >= 0 /\ A + F - 1 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E + 1 >= 0 /\ C + E >= 0 /\ -B + E + 4 >= 0 /\ J + E >= 0 /\ A + E - 1 >= 0 /\ -A + E + 1 >= 0 /\ -D + 1 >= 0 /\ C - D + 1 >= 0 /\ J - D >= 0 /\ A - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ J + D >= 0 /\ A + D - 1 >= 0 /\ C >= 0 /\ J + C >= 0 /\ A + C - 1 >= 0 /\ A - B + 3 >= 0 /\ J >= 0 /\ A + J - 1 >= 0 /\ A - 1 >= 0 /\ I >= 1 ] )