(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M N O P Q) (RULES f11(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f14(A, 0, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)) [ A >= 0 /\ 9 >= A ] f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f36(A, B, C, 0, E, F, G, H, I, J, K, L, M, N, O, P, Q)) [ H >= 0 /\ F + H >= 0 /\ C + H >= 0 /\ Q + H - 1000 >= 0 /\ -Q + H + 1000 >= 0 /\ A + H - 10 >= 0 /\ F >= 0 /\ C + F >= 0 /\ Q + F - 1000 >= 0 /\ -Q + F + 1000 >= 0 /\ A + F - 10 >= 0 /\ C >= 0 /\ Q + C - 1000 >= 0 /\ -Q + C + 1000 >= 0 /\ A + C - 10 >= 0 /\ -Q + 1000 >= 0 /\ A - Q + 990 >= 0 /\ Q - 1000 >= 0 /\ A + Q - 1010 >= 0 /\ A - 10 >= 0 /\ 9 >= C ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f36(A, B, C, D + 1, E + S, F + 1, G, H, I, J, K, L, M, N, O, P, Q)) [ H >= 0 /\ F + H >= 0 /\ D + H >= 0 /\ C + H >= 0 /\ Q + H - 1000 >= 0 /\ -Q + H + 1000 >= 0 /\ A + H - 10 >= 0 /\ F >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ Q + F - 1000 >= 0 /\ -Q + F + 1000 >= 0 /\ A + F - 10 >= 0 /\ D >= 0 /\ C + D >= 0 /\ Q + D - 1000 >= 0 /\ -Q + D + 1000 >= 0 /\ A + D - 10 >= 0 /\ C >= 0 /\ Q + C - 1000 >= 0 /\ -Q + C + 1000 >= 0 /\ A + C - 10 >= 0 /\ -Q + 1000 >= 0 /\ A - Q + 990 >= 0 /\ Q - 1000 >= 0 /\ A + Q - 1010 >= 0 /\ A - 10 >= 0 /\ 9 >= D /\ 0 >= R + 1 ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f36(A, B, C, D + 1, E, F, G + S, H + 1, I, J, K, L, M, N, O, P, Q)) [ H >= 0 /\ F + H >= 0 /\ D + H >= 0 /\ C + H >= 0 /\ Q + H - 1000 >= 0 /\ -Q + H + 1000 >= 0 /\ A + H - 10 >= 0 /\ F >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ Q + F - 1000 >= 0 /\ -Q + F + 1000 >= 0 /\ A + F - 10 >= 0 /\ D >= 0 /\ C + D >= 0 /\ Q + D - 1000 >= 0 /\ -Q + D + 1000 >= 0 /\ A + D - 10 >= 0 /\ C >= 0 /\ Q + C - 1000 >= 0 /\ -Q + C + 1000 >= 0 /\ A + C - 10 >= 0 /\ -Q + 1000 >= 0 /\ A - Q + 990 >= 0 /\ Q - 1000 >= 0 /\ A + Q - 1010 >= 0 /\ A - 10 >= 0 /\ 9 >= D ] f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f33(A, B, C + 1, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)) [ H >= 0 /\ F + H >= 0 /\ D + H >= 0 /\ C + H >= 0 /\ Q + H - 1000 >= 0 /\ -Q + H + 1000 >= 0 /\ A + H - 10 >= 0 /\ F >= 0 /\ D + F >= 0 /\ C + F >= 0 /\ Q + F - 1000 >= 0 /\ -Q + F + 1000 >= 0 /\ A + F - 10 >= 0 /\ D >= 0 /\ C + D >= 0 /\ Q + D - 1000 >= 0 /\ -Q + D + 1000 >= 0 /\ A + D - 10 >= 0 /\ C >= 0 /\ Q + C - 1000 >= 0 /\ -Q + C + 1000 >= 0 /\ A + C - 10 >= 0 /\ -Q + 1000 >= 0 /\ A - Q + 990 >= 0 /\ Q - 1000 >= 0 /\ A + Q - 1010 >= 0 /\ A - 10 >= 0 /\ D >= 10 ] f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f58(A, B, C, D, E, F, G, H, E, F, G, H, 1500, S, O, P, Q)) [ H >= 0 /\ F + H >= 0 /\ C + H >= 0 /\ Q + H - 1000 >= 0 /\ -Q + H + 1000 >= 0 /\ A + H - 10 >= 0 /\ F >= 0 /\ C + F >= 0 /\ Q + F - 1000 >= 0 /\ -Q + F + 1000 >= 0 /\ A + F - 10 >= 0 /\ C >= 0 /\ Q + C - 1000 >= 0 /\ -Q + C + 1000 >= 0 /\ A + C - 10 >= 0 /\ -Q + 1000 >= 0 /\ A - Q + 990 >= 0 /\ Q - 1000 >= 0 /\ A + Q - 1010 >= 0 /\ A - 10 >= 0 /\ C >= 10 ] f14(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f14(A, B + 1, C, D, E, F, G, H, I, J, K, L, M, N, S, S, Q)) [ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ 9 >= B ] f14(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f11(A + 1, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)) [ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ B >= 10 ] f11(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f33(A, B, 0, D, 0, 0, 0, 0, I, J, K, L, M, N, O, P, 1000)) [ A >= 0 /\ A >= 10 ] f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f11(0, B, C, D, E, F, G, H, I, J, K, L, M, N, 0, P, Q)) )