(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(f11(100, O, 0, D, E, F, G, H, I, J, K, L, M, N)) f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f11(100, O, 1, D, E, F, G, H, I, J, K, L, M, N)) f11(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f36(A, B, C, C, C, F, G, H, I, 100, K, L, M, N)) [ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C >= 0 /\ A + C - 100 >= 0 /\ -A + C + 100 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ 0 >= C ] f11(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f23(A, B, 1, 1, 1, 100, O, 0, I, J, K, L, M, N)) [ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C >= 0 /\ A + C - 100 >= 0 /\ -A + C + 100 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ C = 1 ] f11(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f23(A, B, 1, 1, 1, 100, O, 1, I, J, K, L, M, N)) [ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C >= 0 /\ A + C - 100 >= 0 /\ -A + C + 100 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ C = 1 ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, E, F, G, H, I, J, K, L, M, N)) [ -E >= 0 /\ D - E >= 0 /\ -D - E >= 0 /\ C - E >= 0 /\ -C - E >= 0 /\ J - E - 100 >= 0 /\ -J - E + 100 >= 0 /\ A - E - 100 >= 0 /\ -A - E + 100 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E >= 0 /\ C + E >= 0 /\ -C + E >= 0 /\ J + E - 100 >= 0 /\ -J + E + 100 >= 0 /\ A + E - 100 >= 0 /\ -A + E + 100 >= 0 /\ -D >= 0 /\ C - D >= 0 /\ -C - D >= 0 /\ J - D - 100 >= 0 /\ -J - D + 100 >= 0 /\ A - D - 100 >= 0 /\ -A - D + 100 >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ J + D - 100 >= 0 /\ -J + D + 100 >= 0 /\ A + D - 100 >= 0 /\ -A + D + 100 >= 0 /\ -C >= 0 /\ J - C - 100 >= 0 /\ -J - C + 100 >= 0 /\ A - C - 100 >= 0 /\ -A - C + 100 >= 0 /\ C >= 0 /\ J + C - 100 >= 0 /\ -J + C + 100 >= 0 /\ A + C - 100 >= 0 /\ -A + C + 100 >= 0 /\ -J + 100 >= 0 /\ A - J >= 0 /\ -A - J + 200 >= 0 /\ J - 100 >= 0 /\ A + J - 200 >= 0 /\ -A + J >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, E, F, G, H, I, J, K, L, M, N)) [ -E >= 0 /\ D - E >= 0 /\ -D - E >= 0 /\ C - E >= 0 /\ -C - E >= 0 /\ J - E - 100 >= 0 /\ -J - E + 100 >= 0 /\ A - E - 100 >= 0 /\ -A - E + 100 >= 0 /\ E >= 0 /\ D + E >= 0 /\ -D + E >= 0 /\ C + E >= 0 /\ -C + E >= 0 /\ J + E - 100 >= 0 /\ -J + E + 100 >= 0 /\ A + E - 100 >= 0 /\ -A + E + 100 >= 0 /\ -D >= 0 /\ C - D >= 0 /\ -C - D >= 0 /\ J - D - 100 >= 0 /\ -J - D + 100 >= 0 /\ A - D - 100 >= 0 /\ -A - D + 100 >= 0 /\ D >= 0 /\ C + D >= 0 /\ -C + D >= 0 /\ J + D - 100 >= 0 /\ -J + D + 100 >= 0 /\ A + D - 100 >= 0 /\ -A + D + 100 >= 0 /\ -C >= 0 /\ J - C - 100 >= 0 /\ -J - C + 100 >= 0 /\ A - C - 100 >= 0 /\ -A - C + 100 >= 0 /\ C >= 0 /\ J + C - 100 >= 0 /\ -J + C + 100 >= 0 /\ A + C - 100 >= 0 /\ -A + C + 100 >= 0 /\ -J + 100 >= 0 /\ A - J >= 0 /\ -A - J + 200 >= 0 /\ J - 100 >= 0 /\ A + J - 200 >= 0 /\ -A + J >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ 0 >= O + 1 ] f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f26(A, B, C, D, H, F, G, H, 100, J, K, L, M, N)) [ -H + 1 >= 0 /\ F - H - 99 >= 0 /\ -F - H + 101 >= 0 /\ E - H >= 0 /\ -E - H + 2 >= 0 /\ D - H >= 0 /\ -D - H + 2 >= 0 /\ C - H >= 0 /\ -C - H + 2 >= 0 /\ A - H - 99 >= 0 /\ -A - H + 101 >= 0 /\ H >= 0 /\ F + H - 100 >= 0 /\ -F + H + 100 >= 0 /\ E + H - 1 >= 0 /\ -E + H + 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H + 1 >= 0 /\ A + H - 100 >= 0 /\ -A + H + 100 >= 0 /\ -F + 100 >= 0 /\ E - F + 99 >= 0 /\ -E - F + 101 >= 0 /\ D - F + 99 >= 0 /\ -D - F + 101 >= 0 /\ C - F + 99 >= 0 /\ -C - F + 101 >= 0 /\ A - F >= 0 /\ -A - F + 200 >= 0 /\ F - 100 >= 0 /\ E + F - 101 >= 0 /\ -E + F - 99 >= 0 /\ D + F - 101 >= 0 /\ -D + F - 99 >= 0 /\ C + F - 101 >= 0 /\ -C + F - 99 >= 0 /\ A + F - 200 >= 0 /\ -A + F >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ -D - E + 2 >= 0 /\ C - E >= 0 /\ -C - E + 2 >= 0 /\ A - E - 99 >= 0 /\ -A - E + 101 >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ -C + E >= 0 /\ A + E - 101 >= 0 /\ -A + E + 99 >= 0 /\ -D + 1 >= 0 /\ C - D >= 0 /\ -C - D + 2 >= 0 /\ A - D - 99 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ -C + D >= 0 /\ A + D - 101 >= 0 /\ -A + D + 99 >= 0 /\ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C - 1 >= 0 /\ A + C - 101 >= 0 /\ -A + C + 99 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ 0 >= H ] f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, 1, F, G, 1, I, J, -1, L, 100, O)) [ -H + 1 >= 0 /\ F - H - 99 >= 0 /\ -F - H + 101 >= 0 /\ E - H >= 0 /\ -E - H + 2 >= 0 /\ D - H >= 0 /\ -D - H + 2 >= 0 /\ C - H >= 0 /\ -C - H + 2 >= 0 /\ A - H - 99 >= 0 /\ -A - H + 101 >= 0 /\ H >= 0 /\ F + H - 100 >= 0 /\ -F + H + 100 >= 0 /\ E + H - 1 >= 0 /\ -E + H + 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H + 1 >= 0 /\ A + H - 100 >= 0 /\ -A + H + 100 >= 0 /\ -F + 100 >= 0 /\ E - F + 99 >= 0 /\ -E - F + 101 >= 0 /\ D - F + 99 >= 0 /\ -D - F + 101 >= 0 /\ C - F + 99 >= 0 /\ -C - F + 101 >= 0 /\ A - F >= 0 /\ -A - F + 200 >= 0 /\ F - 100 >= 0 /\ E + F - 101 >= 0 /\ -E + F - 99 >= 0 /\ D + F - 101 >= 0 /\ -D + F - 99 >= 0 /\ C + F - 101 >= 0 /\ -C + F - 99 >= 0 /\ A + F - 200 >= 0 /\ -A + F >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ -D - E + 2 >= 0 /\ C - E >= 0 /\ -C - E + 2 >= 0 /\ A - E - 99 >= 0 /\ -A - E + 101 >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ -C + E >= 0 /\ A + E - 101 >= 0 /\ -A + E + 99 >= 0 /\ -D + 1 >= 0 /\ C - D >= 0 /\ -C - D + 2 >= 0 /\ A - D - 99 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ -C + D >= 0 /\ A + D - 101 >= 0 /\ -A + D + 99 >= 0 /\ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C - 1 >= 0 /\ A + C - 101 >= 0 /\ -A + C + 99 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ H = 1 ] f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, 1, F, G, 1, I, J, O, P, M, N)) [ -H + 1 >= 0 /\ F - H - 99 >= 0 /\ -F - H + 101 >= 0 /\ E - H >= 0 /\ -E - H + 2 >= 0 /\ D - H >= 0 /\ -D - H + 2 >= 0 /\ C - H >= 0 /\ -C - H + 2 >= 0 /\ A - H - 99 >= 0 /\ -A - H + 101 >= 0 /\ H >= 0 /\ F + H - 100 >= 0 /\ -F + H + 100 >= 0 /\ E + H - 1 >= 0 /\ -E + H + 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H + 1 >= 0 /\ A + H - 100 >= 0 /\ -A + H + 100 >= 0 /\ -F + 100 >= 0 /\ E - F + 99 >= 0 /\ -E - F + 101 >= 0 /\ D - F + 99 >= 0 /\ -D - F + 101 >= 0 /\ C - F + 99 >= 0 /\ -C - F + 101 >= 0 /\ A - F >= 0 /\ -A - F + 200 >= 0 /\ F - 100 >= 0 /\ E + F - 101 >= 0 /\ -E + F - 99 >= 0 /\ D + F - 101 >= 0 /\ -D + F - 99 >= 0 /\ C + F - 101 >= 0 /\ -C + F - 99 >= 0 /\ A + F - 200 >= 0 /\ -A + F >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ -D - E + 2 >= 0 /\ C - E >= 0 /\ -C - E + 2 >= 0 /\ A - E - 99 >= 0 /\ -A - E + 101 >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ -C + E >= 0 /\ A + E - 101 >= 0 /\ -A + E + 99 >= 0 /\ -D + 1 >= 0 /\ C - D >= 0 /\ -C - D + 2 >= 0 /\ A - D - 99 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ -C + D >= 0 /\ A + D - 101 >= 0 /\ -A + D + 99 >= 0 /\ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C - 1 >= 0 /\ A + C - 101 >= 0 /\ -A + C + 99 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ O >= 0 /\ H = 1 ] f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, 1, F, G, 1, I, J, O, P, M, N)) [ -H + 1 >= 0 /\ F - H - 99 >= 0 /\ -F - H + 101 >= 0 /\ E - H >= 0 /\ -E - H + 2 >= 0 /\ D - H >= 0 /\ -D - H + 2 >= 0 /\ C - H >= 0 /\ -C - H + 2 >= 0 /\ A - H - 99 >= 0 /\ -A - H + 101 >= 0 /\ H >= 0 /\ F + H - 100 >= 0 /\ -F + H + 100 >= 0 /\ E + H - 1 >= 0 /\ -E + H + 1 >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H + 1 >= 0 /\ A + H - 100 >= 0 /\ -A + H + 100 >= 0 /\ -F + 100 >= 0 /\ E - F + 99 >= 0 /\ -E - F + 101 >= 0 /\ D - F + 99 >= 0 /\ -D - F + 101 >= 0 /\ C - F + 99 >= 0 /\ -C - F + 101 >= 0 /\ A - F >= 0 /\ -A - F + 200 >= 0 /\ F - 100 >= 0 /\ E + F - 101 >= 0 /\ -E + F - 99 >= 0 /\ D + F - 101 >= 0 /\ -D + F - 99 >= 0 /\ C + F - 101 >= 0 /\ -C + F - 99 >= 0 /\ A + F - 200 >= 0 /\ -A + F >= 0 /\ -E + 1 >= 0 /\ D - E >= 0 /\ -D - E + 2 >= 0 /\ C - E >= 0 /\ -C - E + 2 >= 0 /\ A - E - 99 >= 0 /\ -A - E + 101 >= 0 /\ E - 1 >= 0 /\ D + E - 2 >= 0 /\ -D + E >= 0 /\ C + E - 2 >= 0 /\ -C + E >= 0 /\ A + E - 101 >= 0 /\ -A + E + 99 >= 0 /\ -D + 1 >= 0 /\ C - D >= 0 /\ -C - D + 2 >= 0 /\ A - D - 99 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ -C + D >= 0 /\ A + D - 101 >= 0 /\ -A + D + 99 >= 0 /\ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C - 1 >= 0 /\ A + C - 101 >= 0 /\ -A + C + 99 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ 0 >= O + 2 /\ H = 1 ] f26(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, E, F, G, H, I, J, K, L, M, N)) [ -I + 100 >= 0 /\ H - I + 100 >= 0 /\ -H - I + 100 >= 0 /\ F - I >= 0 /\ -F - I + 200 >= 0 /\ E - I + 100 >= 0 /\ -E - I + 100 >= 0 /\ D - I + 99 >= 0 /\ -D - I + 101 >= 0 /\ C - I + 99 >= 0 /\ -C - I + 101 >= 0 /\ A - I >= 0 /\ -A - I + 200 >= 0 /\ I - 100 >= 0 /\ H + I - 100 >= 0 /\ -H + I - 100 >= 0 /\ F + I - 200 >= 0 /\ -F + I >= 0 /\ E + I - 100 >= 0 /\ -E + I - 100 >= 0 /\ D + I - 101 >= 0 /\ -D + I - 99 >= 0 /\ C + I - 101 >= 0 /\ -C + I - 99 >= 0 /\ A + I - 200 >= 0 /\ -A + I >= 0 /\ -H >= 0 /\ F - H - 100 >= 0 /\ -F - H + 100 >= 0 /\ E - H >= 0 /\ -E - H >= 0 /\ D - H - 1 >= 0 /\ -D - H + 1 >= 0 /\ C - H - 1 >= 0 /\ -C - H + 1 >= 0 /\ A - H - 100 >= 0 /\ -A - H + 100 >= 0 /\ H >= 0 /\ F + H - 100 >= 0 /\ -F + H + 100 >= 0 /\ E + H >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H + 1 >= 0 /\ A + H - 100 >= 0 /\ -A + H + 100 >= 0 /\ -F + 100 >= 0 /\ E - F + 100 >= 0 /\ -E - F + 100 >= 0 /\ D - F + 99 >= 0 /\ -D - F + 101 >= 0 /\ C - F + 99 >= 0 /\ -C - F + 101 >= 0 /\ A - F >= 0 /\ -A - F + 200 >= 0 /\ F - 100 >= 0 /\ E + F - 100 >= 0 /\ -E + F - 100 >= 0 /\ D + F - 101 >= 0 /\ -D + F - 99 >= 0 /\ C + F - 101 >= 0 /\ -C + F - 99 >= 0 /\ A + F - 200 >= 0 /\ -A + F >= 0 /\ -E >= 0 /\ D - E - 1 >= 0 /\ -D - E + 1 >= 0 /\ C - E - 1 >= 0 /\ -C - E + 1 >= 0 /\ A - E - 100 >= 0 /\ -A - E + 100 >= 0 /\ E >= 0 /\ D + E - 1 >= 0 /\ -D + E + 1 >= 0 /\ C + E - 1 >= 0 /\ -C + E + 1 >= 0 /\ A + E - 100 >= 0 /\ -A + E + 100 >= 0 /\ -D + 1 >= 0 /\ C - D >= 0 /\ -C - D + 2 >= 0 /\ A - D - 99 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ -C + D >= 0 /\ A + D - 101 >= 0 /\ -A + D + 99 >= 0 /\ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C - 1 >= 0 /\ A + C - 101 >= 0 /\ -A + C + 99 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 ] f26(A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> Com_1(f32(A, B, C, D, E, F, G, H, I, J, K, L, M, N)) [ -I + 100 >= 0 /\ H - I + 100 >= 0 /\ -H - I + 100 >= 0 /\ F - I >= 0 /\ -F - I + 200 >= 0 /\ E - I + 100 >= 0 /\ -E - I + 100 >= 0 /\ D - I + 99 >= 0 /\ -D - I + 101 >= 0 /\ C - I + 99 >= 0 /\ -C - I + 101 >= 0 /\ A - I >= 0 /\ -A - I + 200 >= 0 /\ I - 100 >= 0 /\ H + I - 100 >= 0 /\ -H + I - 100 >= 0 /\ F + I - 200 >= 0 /\ -F + I >= 0 /\ E + I - 100 >= 0 /\ -E + I - 100 >= 0 /\ D + I - 101 >= 0 /\ -D + I - 99 >= 0 /\ C + I - 101 >= 0 /\ -C + I - 99 >= 0 /\ A + I - 200 >= 0 /\ -A + I >= 0 /\ -H >= 0 /\ F - H - 100 >= 0 /\ -F - H + 100 >= 0 /\ E - H >= 0 /\ -E - H >= 0 /\ D - H - 1 >= 0 /\ -D - H + 1 >= 0 /\ C - H - 1 >= 0 /\ -C - H + 1 >= 0 /\ A - H - 100 >= 0 /\ -A - H + 100 >= 0 /\ H >= 0 /\ F + H - 100 >= 0 /\ -F + H + 100 >= 0 /\ E + H >= 0 /\ -E + H >= 0 /\ D + H - 1 >= 0 /\ -D + H + 1 >= 0 /\ C + H - 1 >= 0 /\ -C + H + 1 >= 0 /\ A + H - 100 >= 0 /\ -A + H + 100 >= 0 /\ -F + 100 >= 0 /\ E - F + 100 >= 0 /\ -E - F + 100 >= 0 /\ D - F + 99 >= 0 /\ -D - F + 101 >= 0 /\ C - F + 99 >= 0 /\ -C - F + 101 >= 0 /\ A - F >= 0 /\ -A - F + 200 >= 0 /\ F - 100 >= 0 /\ E + F - 100 >= 0 /\ -E + F - 100 >= 0 /\ D + F - 101 >= 0 /\ -D + F - 99 >= 0 /\ C + F - 101 >= 0 /\ -C + F - 99 >= 0 /\ A + F - 200 >= 0 /\ -A + F >= 0 /\ -E >= 0 /\ D - E - 1 >= 0 /\ -D - E + 1 >= 0 /\ C - E - 1 >= 0 /\ -C - E + 1 >= 0 /\ A - E - 100 >= 0 /\ -A - E + 100 >= 0 /\ E >= 0 /\ D + E - 1 >= 0 /\ -D + E + 1 >= 0 /\ C + E - 1 >= 0 /\ -C + E + 1 >= 0 /\ A + E - 100 >= 0 /\ -A + E + 100 >= 0 /\ -D + 1 >= 0 /\ C - D >= 0 /\ -C - D + 2 >= 0 /\ A - D - 99 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ C + D - 2 >= 0 /\ -C + D >= 0 /\ A + D - 101 >= 0 /\ -A + D + 99 >= 0 /\ -C + 1 >= 0 /\ A - C - 99 >= 0 /\ -A - C + 101 >= 0 /\ C - 1 >= 0 /\ A + C - 101 >= 0 /\ -A + C + 99 >= 0 /\ -A + 100 >= 0 /\ A - 100 >= 0 /\ 0 >= O + 1 ] )