(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M N) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N)) f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C, C, E, E, P, O, 0, 1, P, O, 7, M, N)) [ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C, C, E, E, P, O, 0, 1, P, O, 7, M, N)) [ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 1, P, 4, 7, M, N)) [ 7 >= P /\ P >= 1 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f2(0, C, C, E, E, 3, P, 0, 0, 3, P, 2, M, N)) [ 7 >= P /\ 3 >= P /\ P >= 1 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f2(0, C, C, E, E, 3, P, 0, 0, 3, P, 2, M, N)) [ 7 >= P /\ P >= 5 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f2(0, C + 1, C + 1, E + 1, E + 1, 3, 4, 1, 0, 3, 4, 2, M, N)) f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C, C, E, E, P, O, H, 1, P, O, 7, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 2 >= 0 /\ -L - I + 2 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 2 >= 0 /\ -L + I + 2 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 1 >= 0 /\ -L - H + 3 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 2 >= 0 /\ -L + H + 2 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 2 >= 0 /\ K - L + 1 >= 0 /\ -K - L + 9 >= 0 /\ A - L + 2 >= 0 /\ -A - L + 2 >= 0 /\ L - 2 >= 0 /\ K + L - 3 >= 0 /\ -K + L + 5 >= 0 /\ A + L - 2 >= 0 /\ -A + L - 2 >= 0 /\ -K + 7 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C, C, E, E, P, O, H, 1, P, O, 7, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 2 >= 0 /\ -L - I + 2 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 2 >= 0 /\ -L + I + 2 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 1 >= 0 /\ -L - H + 3 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 2 >= 0 /\ -L + H + 2 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 2 >= 0 /\ K - L + 1 >= 0 /\ -K - L + 9 >= 0 /\ A - L + 2 >= 0 /\ -A - L + 2 >= 0 /\ L - 2 >= 0 /\ K + L - 3 >= 0 /\ -K + L + 5 >= 0 /\ A + L - 2 >= 0 /\ -A + L - 2 >= 0 /\ -K + 7 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 1, P, 4, 7, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 2 >= 0 /\ -L - I + 2 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 2 >= 0 /\ -L + I + 2 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 1 >= 0 /\ -L - H + 3 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 2 >= 0 /\ -L + H + 2 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 2 >= 0 /\ K - L + 1 >= 0 /\ -K - L + 9 >= 0 /\ A - L + 2 >= 0 /\ -A - L + 2 >= 0 /\ L - 2 >= 0 /\ K + L - 3 >= 0 /\ -K + L + 5 >= 0 /\ A + L - 2 >= 0 /\ -A + L - 2 >= 0 /\ -K + 7 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= P /\ P >= 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f3(0, C, C, E, E, P, O, H, 0, P, O, 3, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 2 >= 0 /\ -L - I + 2 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 2 >= 0 /\ -L + I + 2 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 1 >= 0 /\ -L - H + 3 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 2 >= 0 /\ -L + H + 2 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 2 >= 0 /\ K - L + 1 >= 0 /\ -K - L + 9 >= 0 /\ A - L + 2 >= 0 /\ -A - L + 2 >= 0 /\ L - 2 >= 0 /\ K + L - 3 >= 0 /\ -K + L + 5 >= 0 /\ A + L - 2 >= 0 /\ -A + L - 2 >= 0 /\ -K + 7 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f3(0, C, C, E, E, P, O, H, 0, P, O, 3, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 2 >= 0 /\ -L - I + 2 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 2 >= 0 /\ -L + I + 2 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 1 >= 0 /\ -L - H + 3 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 2 >= 0 /\ -L + H + 2 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 2 >= 0 /\ K - L + 1 >= 0 /\ -K - L + 9 >= 0 /\ A - L + 2 >= 0 /\ -A - L + 2 >= 0 /\ L - 2 >= 0 /\ K + L - 3 >= 0 /\ -K + L + 5 >= 0 /\ A + L - 2 >= 0 /\ -A + L - 2 >= 0 /\ -K + 7 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 ] f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f3(0, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 0, P, 4, 3, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 2 >= 0 /\ -L - I + 2 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 2 >= 0 /\ -L + I + 2 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 1 >= 0 /\ -L - H + 3 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 2 >= 0 /\ -L + H + 2 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 2 >= 0 /\ K - L + 1 >= 0 /\ -K - L + 9 >= 0 /\ A - L + 2 >= 0 /\ -A - L + 2 >= 0 /\ L - 2 >= 0 /\ K + L - 3 >= 0 /\ -K + L + 5 >= 0 /\ A + L - 2 >= 0 /\ -A + L - 2 >= 0 /\ -K + 7 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= P /\ P >= 1 ] f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f6(1, C, C, E, E, P, O, H, 1, P, O, 6, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 3 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ J - I - 1 >= 0 /\ -J - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 3 >= 0 /\ -L + I + 3 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 2 >= 0 /\ -L - H + 4 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 3 >= 0 /\ -L + H + 3 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 3 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 10 >= 0 /\ J - L + 2 >= 0 /\ -J - L + 10 >= 0 /\ A - L + 3 >= 0 /\ -A - L + 3 >= 0 /\ L - 3 >= 0 /\ K + L - 4 >= 0 /\ -K + L + 4 >= 0 /\ J + L - 4 >= 0 /\ -J + L + 4 >= 0 /\ A + L - 3 >= 0 /\ -A + L - 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K + 6 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -J + 7 >= 0 /\ A - J + 7 >= 0 /\ -A - J + 7 >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ -A + J - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 ] f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f6(1, C, C, E, E, P, O, H, 1, P, O, 6, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 3 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ J - I - 1 >= 0 /\ -J - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 3 >= 0 /\ -L + I + 3 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 2 >= 0 /\ -L - H + 4 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 3 >= 0 /\ -L + H + 3 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 3 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 10 >= 0 /\ J - L + 2 >= 0 /\ -J - L + 10 >= 0 /\ A - L + 3 >= 0 /\ -A - L + 3 >= 0 /\ L - 3 >= 0 /\ K + L - 4 >= 0 /\ -K + L + 4 >= 0 /\ J + L - 4 >= 0 /\ -J + L + 4 >= 0 /\ A + L - 3 >= 0 /\ -A + L - 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K + 6 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -J + 7 >= 0 /\ A - J + 7 >= 0 /\ -A - J + 7 >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ -A + J - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 ] f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f6(1, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 1, P, 4, 6, M, N)) [ -I >= 0 /\ H - I >= 0 /\ -H - I + 1 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 3 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 7 >= 0 /\ J - I - 1 >= 0 /\ -J - I + 7 >= 0 /\ A - I >= 0 /\ -A - I >= 0 /\ I >= 0 /\ H + I >= 0 /\ -H + I + 1 >= 0 /\ L + I - 3 >= 0 /\ -L + I + 3 >= 0 /\ K + I - 1 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ A + I >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 2 >= 0 /\ -L - H + 4 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ A - H + 1 >= 0 /\ -A - H + 1 >= 0 /\ H >= 0 /\ L + H - 3 >= 0 /\ -L + H + 3 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 3 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 10 >= 0 /\ J - L + 2 >= 0 /\ -J - L + 10 >= 0 /\ A - L + 3 >= 0 /\ -A - L + 3 >= 0 /\ L - 3 >= 0 /\ K + L - 4 >= 0 /\ -K + L + 4 >= 0 /\ J + L - 4 >= 0 /\ -J + L + 4 >= 0 /\ A + L - 3 >= 0 /\ -A + L - 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ A - K + 7 >= 0 /\ -A - K + 7 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K + 6 >= 0 /\ A + K - 1 >= 0 /\ -A + K - 1 >= 0 /\ -J + 7 >= 0 /\ A - J + 7 >= 0 /\ -A - J + 7 >= 0 /\ J - 1 >= 0 /\ A + J - 1 >= 0 /\ -A + J - 1 >= 0 /\ -A >= 0 /\ A >= 0 /\ 7 >= P /\ P >= 1 ] f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f4(1, C, C, E, E, P, 2, 0, 1, P, 2, 4, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ L - I - 5 >= 0 /\ -L - I + 7 >= 0 /\ K - I >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ A - I >= 0 /\ -A - I + 2 >= 0 /\ I - 1 >= 0 /\ H + I - 1 >= 0 /\ -H + I >= 0 /\ L + I - 7 >= 0 /\ -L + I + 5 >= 0 /\ K + I - 2 >= 0 /\ -K + I + 6 >= 0 /\ J + I - 2 >= 0 /\ -J + I + 6 >= 0 /\ A + I - 2 >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 5 >= 0 /\ -L - H + 7 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H >= 0 /\ L + H - 6 >= 0 /\ -L + H + 6 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ A + H - 1 >= 0 /\ -A + H + 1 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 6 >= 0 /\ K - L + 5 >= 0 /\ -K - L + 13 >= 0 /\ J - L + 5 >= 0 /\ -J - L + 13 >= 0 /\ A - L + 5 >= 0 /\ -A - L + 7 >= 0 /\ L - 6 >= 0 /\ K + L - 7 >= 0 /\ -K + L + 1 >= 0 /\ J + L - 7 >= 0 /\ -J + L + 1 >= 0 /\ A + L - 7 >= 0 /\ -A + L - 5 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ A - K + 6 >= 0 /\ -A - K + 8 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K + 6 >= 0 /\ A + K - 2 >= 0 /\ -A + K >= 0 /\ -J + 7 >= 0 /\ A - J + 6 >= 0 /\ -A - J + 8 >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ P >= 1 /\ 7 >= P ] f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f4(P, C, C, E, E, O, 7, 1, P, O, 7, 4, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ L - I - 5 >= 0 /\ -L - I + 7 >= 0 /\ K - I >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ A - I >= 0 /\ -A - I + 2 >= 0 /\ I - 1 >= 0 /\ H + I - 1 >= 0 /\ -H + I >= 0 /\ L + I - 7 >= 0 /\ -L + I + 5 >= 0 /\ K + I - 2 >= 0 /\ -K + I + 6 >= 0 /\ J + I - 2 >= 0 /\ -J + I + 6 >= 0 /\ A + I - 2 >= 0 /\ -A + I >= 0 /\ -H + 1 >= 0 /\ L - H - 5 >= 0 /\ -L - H + 7 >= 0 /\ K - H >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ A - H >= 0 /\ -A - H + 2 >= 0 /\ H >= 0 /\ L + H - 6 >= 0 /\ -L + H + 6 >= 0 /\ K + H - 1 >= 0 /\ -K + H + 7 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ A + H - 1 >= 0 /\ -A + H + 1 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 6 >= 0 /\ K - L + 5 >= 0 /\ -K - L + 13 >= 0 /\ J - L + 5 >= 0 /\ -J - L + 13 >= 0 /\ A - L + 5 >= 0 /\ -A - L + 7 >= 0 /\ L - 6 >= 0 /\ K + L - 7 >= 0 /\ -K + L + 1 >= 0 /\ J + L - 7 >= 0 /\ -J + L + 1 >= 0 /\ A + L - 7 >= 0 /\ -A + L - 5 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ A - K + 6 >= 0 /\ -A - K + 8 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K + 6 >= 0 /\ A + K - 2 >= 0 /\ -A + K >= 0 /\ -J + 7 >= 0 /\ A - J + 6 >= 0 /\ -A - J + 8 >= 0 /\ J - 1 >= 0 /\ A + J - 2 >= 0 /\ -A + J >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ 7 >= O /\ 1 >= P /\ P >= 0 /\ O >= 1 /\ H = 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f2(0, C, C, E, E, P, O, 1, 0, P, O, 2, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ M >= 1 /\ M >= E + 1 /\ N >= 1 /\ N >= C + 1 /\ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 /\ H = 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f2(0, C, C, E, E, P, O, 1, 0, P, O, 2, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ M >= 1 /\ M >= E + 1 /\ N >= 1 /\ N >= C + 1 /\ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 /\ H = 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f2(0, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 0, P, 4, 2, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ M >= E + 2 /\ N >= C + 2 /\ M >= 1 /\ N >= 1 /\ 7 >= P /\ P >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(0, C, C, E, E, P, O, H, 0, P, O, 7, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ E >= M /\ C >= N /\ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(0, C, C, E, E, P, O, H, 0, P, O, 7, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ E >= M /\ C >= N /\ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(0, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 0, P, 4, 7, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ E + 1 >= M /\ C + 1 >= N /\ 7 >= P /\ P >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C, C, E, E, P, O, H, 1, P, O, 7, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ 7 >= O /\ 7 >= P /\ 3 >= O /\ O >= 1 /\ P >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C, C, E, E, P, O, H, 1, P, O, 7, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ 7 >= O /\ 7 >= P /\ O >= 5 /\ P >= 1 ] f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f7(1, C + 1, C + 1, E + 1, E + 1, P, 4, 1, 1, P, 4, 7, M, N)) [ -I + 1 >= 0 /\ H - I + 1 >= 0 /\ -H - I + 2 >= 0 /\ G - I - 1 >= 0 /\ -G - I + 8 >= 0 /\ L - I - 3 >= 0 /\ -L - I + 5 >= 0 /\ K - I - 1 >= 0 /\ -K - I + 8 >= 0 /\ J - I >= 0 /\ -J - I + 8 >= 0 /\ I >= 0 /\ H + I - 1 >= 0 /\ -H + I + 1 >= 0 /\ G + I - 3 >= 0 /\ -G + I + 7 >= 0 /\ L + I - 4 >= 0 /\ -L + I + 4 >= 0 /\ K + I - 3 >= 0 /\ -K + I + 7 >= 0 /\ J + I - 1 >= 0 /\ -J + I + 7 >= 0 /\ -H + 1 >= 0 /\ G - H - 2 >= 0 /\ -G - H + 8 >= 0 /\ L - H - 3 >= 0 /\ -L - H + 5 >= 0 /\ K - H - 2 >= 0 /\ -K - H + 8 >= 0 /\ J - H >= 0 /\ -J - H + 8 >= 0 /\ H >= 0 /\ G + H - 2 >= 0 /\ -G + H + 6 >= 0 /\ L + H - 4 >= 0 /\ -L + H + 4 >= 0 /\ K + H - 2 >= 0 /\ -K + H + 6 >= 0 /\ J + H - 1 >= 0 /\ -J + H + 7 >= 0 /\ -G + 7 >= 0 /\ L - G + 3 >= 0 /\ -L - G + 11 >= 0 /\ K - G >= 0 /\ -K - G + 14 >= 0 /\ J - G + 6 >= 0 /\ -J - G + 14 >= 0 /\ G - 2 >= 0 /\ L + G - 6 >= 0 /\ -L + G + 2 >= 0 /\ K + G - 4 >= 0 /\ -K + G >= 0 /\ J + G - 3 >= 0 /\ -J + G + 5 >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -L + 4 >= 0 /\ K - L + 2 >= 0 /\ -K - L + 11 >= 0 /\ J - L + 3 >= 0 /\ -J - L + 11 >= 0 /\ L - 4 >= 0 /\ K + L - 6 >= 0 /\ -K + L + 3 >= 0 /\ J + L - 5 >= 0 /\ -J + L + 3 >= 0 /\ -K + 7 >= 0 /\ J - K + 6 >= 0 /\ -J - K + 14 >= 0 /\ K - 2 >= 0 /\ J + K - 3 >= 0 /\ -J + K + 5 >= 0 /\ -J + 7 >= 0 /\ J - 1 >= 0 /\ 7 >= P /\ P >= 1 ] )