(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(f40(1, B, C, D, E, F, G, H, I, 0, 1, P, P, P, P)) [ 0 >= P /\ Q >= 1 ]
  f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f20(1, B, C, D, E, F, G, H, I, 0, 1, P, P, P, P)) [ P >= 1 /\ Q >= 1 ]
  f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f20(1, B, C, D, E, F, G, H, I, P, K, L, M, N, O)) [ 0 >= P ]
  f40(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f40(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 ]
  f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f28(0, P, C, D, E, F, 0, P, P, J, K, L, M, N, O)) [ -J >= 0 /\ A - J - 1 >= 0 /\ -A - J + 1 >= 0 /\ -A + 1 >= 0 /\ A - 1 >= 0 /\ A >= 1 ]
  f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f40(1, B, 0, P, 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 ]
  f28(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f40(A, B, 0, P, 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 ]
)