(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L) (RULES f63(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K, 0)) [ F - 9 >= 0 /\ C + F - 19 >= 0 /\ -C + F + 1 >= 0 /\ B + F - 1 >= 0 /\ -B + F - 8 >= 0 /\ A + F - 10 >= 0 /\ -A + F - 8 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 9 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 11 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ 0 >= B + 1 ] f63(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K, 0)) [ F - 9 >= 0 /\ C + F - 19 >= 0 /\ -C + F + 1 >= 0 /\ B + F - 1 >= 0 /\ -B + F - 8 >= 0 /\ A + F - 10 >= 0 /\ -A + F - 8 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 9 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 11 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ B >= 1 ] f63(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f71(A, 0, C, D, E, F, G, H, I, J, K, 1)) [ F - 9 >= 0 /\ C + F - 19 >= 0 /\ -C + F + 1 >= 0 /\ B + F - 1 >= 0 /\ -B + F - 8 >= 0 /\ A + F - 10 >= 0 /\ -A + F - 8 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 9 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 11 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ B = 0 ] f52(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f52(A, 0, C, D, E, F + 1, G, H, I, J, 0, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ C >= F + 2 /\ B = 0 ] f52(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f63(A, B, C, D, E, F, G, H, I, J, K, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= 1 /\ F + 1 >= C ] f52(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f71(0, B, C, D, E, F, G, H, I, J, K, 1)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ F + 1 >= C /\ A = 0 ] f55(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f52(A, 1, C, D, E, F + 1, G, H, I, J, 1, L)) [ -F + 8 >= 0 /\ C - F - 2 >= 0 /\ -C - F + 18 >= 0 /\ B - F + 15 >= 0 /\ -B - F + 9 >= 0 /\ A - F + 8 >= 0 /\ -A - F + 9 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 17 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B + 7 >= 0 /\ A + B + 7 >= 0 /\ -A + B + 8 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ M >= N + 1 ] f55(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f52(A, 0, C, D, E, F + 1, G, H, I, J, 0, L)) [ -F + 8 >= 0 /\ C - F - 2 >= 0 /\ -C - F + 18 >= 0 /\ B - F + 15 >= 0 /\ -B - F + 9 >= 0 /\ A - F + 8 >= 0 /\ -A - F + 9 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 17 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 3 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B + 7 >= 0 /\ A + B + 7 >= 0 /\ -A + B + 8 >= 0 /\ -A + 1 >= 0 /\ A >= 0 ] f52(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f55(A, B, C, D, E, F, G, H, I, J, K, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ B >= 1 /\ C >= F + 2 ] f44(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f29(1, B, C, D, E, F + 1, G, H, I, 1, K, L)) [ H - 10 >= 0 /\ G + H - 10 >= 0 /\ -G + H >= 0 /\ F + H - 10 >= 0 /\ C + H - 20 >= 0 /\ -C + H >= 0 /\ B + H - 11 >= 0 /\ -B + H - 9 >= 0 /\ -A + H - 9 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ G >= 1 ] f44(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f29(0, B, C, D, E, F + 1, 0, H, I, 0, K, L)) [ H - 10 >= 0 /\ G + H - 10 >= 0 /\ -G + H >= 0 /\ F + H - 10 >= 0 /\ C + H - 20 >= 0 /\ -C + H >= 0 /\ B + H - 11 >= 0 /\ -B + H - 9 >= 0 /\ -A + H - 9 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ G = 0 ] f29(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f52(A, B, C, D, E, 0, G, H, I, J, K, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ F >= C ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f33(A, B, C, D, E, F, 1, H + 1, 1, J, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ G >= 1 /\ C >= H + 1 ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f44(A, B, C, D, E, F, G, H, I, J, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ 0 >= A + 1 /\ H >= C ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f44(A, B, C, D, E, F, G, H, I, J, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 1 /\ H >= C ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f29(0, B, C, D, E, F + 1, G, H, I, 0, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ H >= C /\ A = 0 ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f33(A, B, C, D, E, F, 1, H + 1, 1, J, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ C >= H + 1 /\ G = 0 ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f33(A, B, C, D, E, F, 0, H + 1, 0, J, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ M >= N + 1 /\ C >= H + 1 /\ G = 0 ] f33(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f33(A, B, C, D, E, F, 0, H + 1, 0, J, K, L)) [ H >= 0 /\ G + H >= 0 /\ -G + H >= 0 /\ F + H >= 0 /\ C + H - 10 >= 0 /\ -C + H + 10 >= 0 /\ B + H - 1 >= 0 /\ -B + H + 1 >= 0 /\ -A + H + 1 >= 0 /\ G >= 0 /\ F + G >= 0 /\ C + G - 10 >= 0 /\ -C + G + 10 >= 0 /\ B + G - 1 >= 0 /\ -B + G + 1 >= 0 /\ -A + G + 1 >= 0 /\ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ C >= H + 1 /\ G = 0 ] f29(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f33(A, B, C, D, E, F, 0, 0, I, J, K, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 10 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 10 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ A + B - 1 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ C >= F + 1 ] f23(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f29(A, B, C, D, E, 0, G, H, I, J, K, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 9 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 11 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ F >= C ] f23(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f23(A, B, C, D, E, F + 1, G, H, I, J, K, L)) [ F >= 0 /\ C + F - 10 >= 0 /\ -C + F + 10 >= 0 /\ B + F - 1 >= 0 /\ -B + F + 1 >= 0 /\ A + F - 1 >= 0 /\ -A + F + 1 >= 0 /\ -C + 10 >= 0 /\ B - C + 9 >= 0 /\ -B - C + 11 >= 0 /\ A - C + 9 >= 0 /\ -A - C + 11 >= 0 /\ C - 10 >= 0 /\ B + C - 11 >= 0 /\ -B + C - 9 >= 0 /\ A + C - 11 >= 0 /\ -A + C - 9 >= 0 /\ -B + 1 >= 0 /\ A - B >= 0 /\ -A - B + 2 >= 0 /\ B - 1 >= 0 /\ A + B - 2 >= 0 /\ -A + B >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ C >= F + 1 ] f0(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(f23(1, 1, 10, M, N, 0, G, H, I, J, K, L)) )