(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f300))
(VAR A B C D E F G H I J K L M N O P Q R S T U)
(RULES
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f3(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, D1, Q, Q, Q, Q, A1)) [ Q >= 1 /\ 255 >= Q /\ G >= F + 1 /\ G >= F + 2 ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f3(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, D1, Q, Q, Q, Q, A1)) [ Q >= 1 /\ Q >= 257 /\ G >= F + 1 /\ G >= F + 2 ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f3(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, D1, Q, H, H, H, A1)) [ H >= 1 /\ 255 >= H /\ F + 1 = G ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f3(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, D1, Q, H, H, H, A1)) [ H >= 1 /\ H >= 257 /\ F + 1 = G ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f2(A, B, C, D, E, F, G, H, V, W, K, L, M, N, O, P, Q, 0, 0, 0, U)) [ F >= G ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f1(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, P, Q, R, S, T, U)) [ 0 >= Q /\ G >= F + 1 /\ G >= F + 2 ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f1(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, D1, 256, R, S, T, U)) [ A1 >= 1 /\ G >= F + 1 /\ G >= F + 2 /\ Q = 256 ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f1(A, B, C, D, E, F, G, H, V, W, X, Y, Z, B1, C1, P, Q, R, S, T, U)) [ 0 >= H /\ F + 1 = G ]
  f1(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f1(A, B, C, D, E, F, G, 256, V, W, X, Y, Z, B1, C1, D1, Q, R, S, T, U)) [ A1 >= 1 /\ F + 1 = G /\ H = 256 ]
  f300(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U) -> Com_1(f1(V, W, X, Y, Z, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U))
)