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