(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f8)) (VAR A B C D E F G H I J) (RULES f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ I >= D + 1 /\ C >= H /\ D >= 1 /\ C >= 1 /\ 0 >= K + 1 /\ C + D >= 1 /\ E = 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ I >= D + 1 /\ C >= H /\ D >= 1 /\ C >= 1 /\ K >= 1 /\ C + D >= 1 /\ E = 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f28(L, 0, D - 2, D - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ I >= D + 1 /\ C >= H /\ D >= 1 /\ C + D >= 1 /\ C >= 1 /\ E = 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ H >= C + 1 /\ D >= 1 /\ C >= 1 /\ 0 >= K + 1 /\ C + D >= 1 /\ E = 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ H >= C + 1 /\ D >= 1 /\ C >= 1 /\ K >= 1 /\ C + D >= 1 /\ E = 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f28(L, 0, D - 2, D - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ H >= C + 1 /\ D >= 1 /\ C + D >= 1 /\ C >= 1 /\ E = 1 ] f30(A, B, C, D, E, F, G, H, I, J) -> Com_1(f9(A, B, C, D, E, F, G, H, I, L)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ C - D >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ C >= 0 /\ 0 >= C ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ H >= C + 1 /\ D >= 1 /\ C >= 1 /\ 0 >= K + 1 /\ C + D >= 1 /\ E = 1 ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ H >= C + 1 /\ D >= 1 /\ C >= 1 /\ K >= 1 /\ C + D >= 1 /\ E = 1 ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f28(L, 0, D - 2, D - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ H >= C + 1 /\ D >= 1 /\ C + D >= 1 /\ C >= 1 /\ E = 1 ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ I >= D + 1 /\ C >= H /\ D >= 1 /\ C >= 1 /\ 0 >= K + 1 /\ C + D >= 1 /\ E = 1 ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ I >= D + 1 /\ C >= H /\ D >= 1 /\ C >= 1 /\ K >= 1 /\ C + D >= 1 /\ E = 1 ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f28(L, 0, D - 2, D - 1, 1, F, G, H, I, J)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ I >= D + 1 /\ C >= H /\ D >= 1 /\ C + D >= 1 /\ C >= 1 /\ E = 1 ] f28(A, B, C, D, E, F, G, H, I, J) -> Com_1(f9(A, B, C, D, E, F, G, H, I, L)) [ I - 1 >= 0 /\ H + I - 2 >= 0 /\ F + I - 1 >= 0 /\ -F + I - 1 >= 0 /\ E + I - 2 >= 0 /\ -E + I >= 0 /\ D + I - 1 >= 0 /\ C + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ H - 1 >= 0 /\ F + H - 1 >= 0 /\ -F + H - 1 >= 0 /\ E + H - 2 >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ C + H >= 0 /\ B + H - 1 >= 0 /\ -B + H - 1 >= 0 /\ -F >= 0 /\ E - F - 1 >= 0 /\ -E - F + 1 >= 0 /\ D - F >= 0 /\ C - F + 1 >= 0 /\ B - F >= 0 /\ -B - F >= 0 /\ F >= 0 /\ E + F - 1 >= 0 /\ -E + F + 1 >= 0 /\ D + F >= 0 /\ C + F + 1 >= 0 /\ B + F >= 0 /\ -B + F >= 0 /\ -E + 1 >= 0 /\ D - E + 1 >= 0 /\ C - E + 2 >= 0 /\ B - E + 1 >= 0 /\ -B - E + 1 >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E >= 0 /\ B + E - 1 >= 0 /\ -B + E - 1 >= 0 /\ C - D + 1 >= 0 /\ D >= 0 /\ C + D + 1 >= 0 /\ -C + D - 1 >= 0 /\ B + D >= 0 /\ -B + D >= 0 /\ C + 1 >= 0 /\ B + C + 1 >= 0 /\ -B + C + 1 >= 0 /\ -B >= 0 /\ B >= 0 /\ 0 >= C ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(L, 0, D - 2, D - 1, 0, F, 0, H, I, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C + D >= 1 /\ C >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(L, K, C - 1, C - 1, 0, F, 0, H, I, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ 0 >= K + 1 /\ C + D >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(L, K, C - 1, C - 1, 0, F, 0, H, I, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ K >= 1 /\ C + D >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, M, C, D, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ C + D >= 1 /\ 0 >= K + 1 /\ 0 >= M + 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, M, C, D, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ C + D >= 1 /\ 0 >= K + 1 /\ M >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, M, C, D, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ C + D >= 1 /\ K >= 1 /\ 0 >= M + 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f30(L, K, C - 1, C - 1, 1, F, M, C, D, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ C + D >= 1 /\ K >= 1 /\ M >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f28(L, 0, D - 2, D - 1, 1, F, K, C, D, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ 0 >= K + 1 /\ C + D >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f28(L, 0, D - 2, D - 1, 1, F, K, C, D, J)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ D >= 1 /\ C >= 1 /\ K >= 1 /\ C + D >= 1 /\ E = 0 ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f9(A, B, C, D, E, F, G, H, I, L)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ 0 >= C ] f27(A, B, C, D, E, F, G, H, I, J) -> Com_1(f9(A, B, C, D, E, F, G, H, I, L)) [ -F >= 0 /\ E - F >= 0 /\ -E - F >= 0 /\ F >= 0 /\ E + F >= 0 /\ -E + F >= 0 /\ -E >= 0 /\ E >= 0 /\ C >= 1 /\ 0 >= D ] f8(A, B, C, D, E, F, G, H, I, J) -> Com_1(f27(A, B, C, D, 0, 0, G, H, I, J)) )