(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M N O P Q) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f41(1, B, C, D, E, F, G, H, I, J, S, R, 0, 1, S, S, S)) [ 0 >= S /\ K >= 1 ] f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f21(1, B, C, D, E, F, G, H, I, J, S, R, 0, 1, S, S, S)) [ S >= 1 /\ K >= 1 ] f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f21(1, B, C, D, E, F, G, H, I, J, K, R, K, N, O, P, Q)) [ 0 >= K ] f41(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f41(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)) [ -M >= 0 /\ A - M >= 0 /\ -A - M + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 ] f21(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f29(0, B, R, D, E, F, G, 0, R, R, K, L, M, N, O, P, Q)) [ -M >= 0 /\ A - M - 1 >= 0 /\ -A - M + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ A >= 1 ] f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f41(1, S, C, 0, R, R, R, H, I, J, K, L, M, N, O, P, Q)) [ -H >= 0 /\ -M - H >= 0 /\ A - H >= 0 /\ -A - H >= 0 /\ H >= 0 /\ -M + H >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ -M >= 0 /\ A - M >= 0 /\ -A - M >= 0 /\ -A >= 0 /\ A >= 0 /\ 0 >= A /\ R >= C + 1000 ] f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q) -> Com_1(f41(A, S, C, 0, R, R, R, H, I, J, K, L, M, N, O, P, Q)) [ -H >= 0 /\ -M - H >= 0 /\ A - H >= 0 /\ -A - H >= 0 /\ H >= 0 /\ -M + H >= 0 /\ A + H >= 0 /\ -A + H >= 0 /\ -M >= 0 /\ A - M >= 0 /\ -A - M >= 0 /\ -A >= 0 /\ A >= 0 /\ 0 >= A /\ C + 999 >= R ] )