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