(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f22))
(VAR A B C D E F G H I J K L M N O)
(RULES
  f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f17(A, Q, C, D + 1, P, F, G, H, I, J, K, L, M, N, O)) [ -I + 2 >= 0 /\ F - I + 2 >= 0 /\ D - I + 1 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 2 >= 0 /\ N - I - 1 >= 0 /\ -N - I + 5 >= 0 /\ I - 2 >= 0 /\ F + I - 2 >= 0 /\ D + I - 3 >= 0 /\ O + I - 2 >= 0 /\ -O + I - 2 >= 0 /\ N + I - 5 >= 0 /\ -N + I + 1 >= 0 /\ F >= 0 /\ D + F - 1 >= 0 /\ O + F >= 0 /\ -O + F >= 0 /\ N + F - 3 >= 0 /\ -N + F + 3 >= 0 /\ D - 1 >= 0 /\ O + D - 1 >= 0 /\ -O + D - 1 >= 0 /\ N + D - 4 >= 0 /\ -N + D + 2 >= 0 /\ -O >= 0 /\ N - O - 3 >= 0 /\ -N - O + 3 >= 0 /\ O >= 0 /\ N + O - 3 >= 0 /\ -N + O + 3 >= 0 /\ -N + 3 >= 0 /\ N - 3 >= 0 /\ A >= B + 1 /\ C >= 0 /\ D >= 0 ]
  f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f17(A, Q, C, D + 1, P, F, G, H, I, J, K, L, M, N, O)) [ -I + 2 >= 0 /\ F - I + 2 >= 0 /\ D - I + 1 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 2 >= 0 /\ N - I - 1 >= 0 /\ -N - I + 5 >= 0 /\ I - 2 >= 0 /\ F + I - 2 >= 0 /\ D + I - 3 >= 0 /\ O + I - 2 >= 0 /\ -O + I - 2 >= 0 /\ N + I - 5 >= 0 /\ -N + I + 1 >= 0 /\ F >= 0 /\ D + F - 1 >= 0 /\ O + F >= 0 /\ -O + F >= 0 /\ N + F - 3 >= 0 /\ -N + F + 3 >= 0 /\ D - 1 >= 0 /\ O + D - 1 >= 0 /\ -O + D - 1 >= 0 /\ N + D - 4 >= 0 /\ -N + D + 2 >= 0 /\ -O >= 0 /\ N - O - 3 >= 0 /\ -N - O + 3 >= 0 /\ O >= 0 /\ N + O - 3 >= 0 /\ -N + O + 3 >= 0 /\ -N + 3 >= 0 /\ N - 3 >= 0 /\ B >= A + 1 /\ C >= 0 /\ D >= 0 ]
  f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f17(A, Q, C, 1, P, F, G, H, I, J, K, L, M, N, O)) [ -I + 2 >= 0 /\ F - I + 2 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 2 >= 0 /\ N - I - 1 >= 0 /\ -N - I + 5 >= 0 /\ I - 2 >= 0 /\ F + I - 2 >= 0 /\ O + I - 2 >= 0 /\ -O + I - 2 >= 0 /\ N + I - 5 >= 0 /\ -N + I + 1 >= 0 /\ B - H >= 0 /\ -B + H >= 0 /\ F >= 0 /\ O + F >= 0 /\ -O + F >= 0 /\ N + F - 3 >= 0 /\ -N + F + 3 >= 0 /\ -O >= 0 /\ N - O - 3 >= 0 /\ -N - O + 3 >= 0 /\ O >= 0 /\ N + O - 3 >= 0 /\ -N + O + 3 >= 0 /\ -N + 3 >= 0 /\ N - 3 >= 0 /\ A >= B + 1 ]
  f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f17(A, Q, C, 1, P, F, G, H, I, J, K, L, M, N, O)) [ -I + 2 >= 0 /\ F - I + 2 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 2 >= 0 /\ N - I - 1 >= 0 /\ -N - I + 5 >= 0 /\ I - 2 >= 0 /\ F + I - 2 >= 0 /\ O + I - 2 >= 0 /\ -O + I - 2 >= 0 /\ N + I - 5 >= 0 /\ -N + I + 1 >= 0 /\ B - H >= 0 /\ -B + H >= 0 /\ F >= 0 /\ O + F >= 0 /\ -O + F >= 0 /\ N + F - 3 >= 0 /\ -N + F + 3 >= 0 /\ -O >= 0 /\ N - O - 3 >= 0 /\ -N - O + 3 >= 0 /\ O >= 0 /\ N + O - 3 >= 0 /\ -N + O + 3 >= 0 /\ -N + 3 >= 0 /\ N - 3 >= 0 /\ B >= A + 1 ]
  f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f20(B, B, C, D, E, F, P, H, I, J, K, L, M, N, O)) [ -I + 2 >= 0 /\ F - I + 2 >= 0 /\ D - I + 1 >= 0 /\ O - I + 2 >= 0 /\ -O - I + 2 >= 0 /\ N - I - 1 >= 0 /\ -N - I + 5 >= 0 /\ I - 2 >= 0 /\ F + I - 2 >= 0 /\ D + I - 3 >= 0 /\ O + I - 2 >= 0 /\ -O + I - 2 >= 0 /\ N + I - 5 >= 0 /\ -N + I + 1 >= 0 /\ F >= 0 /\ D + F - 1 >= 0 /\ O + F >= 0 /\ -O + F >= 0 /\ N + F - 3 >= 0 /\ -N + F + 3 >= 0 /\ D - 1 >= 0 /\ O + D - 1 >= 0 /\ -O + D - 1 >= 0 /\ N + D - 4 >= 0 /\ -N + D + 2 >= 0 /\ -O >= 0 /\ N - O - 3 >= 0 /\ -N - O + 3 >= 0 /\ O >= 0 /\ N + O - 3 >= 0 /\ -N + O + 3 >= 0 /\ -N + 3 >= 0 /\ N - 3 >= 0 /\ C >= 0 /\ D >= 0 /\ B = A ]
  f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f18(A, H, C, D, E, F, Q, H, 2, P, P, P, P, 3, 0)) [ A >= H + 1 /\ F >= 0 ]
  f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O) -> Com_1(f18(A, H, C, D, E, F, Q, H, 2, P, P, P, P, 3, 0)) [ H >= A + 1 /\ F >= 0 ]
)