(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1 G1 H1 I1 J1 K1 L1 M1 N1 O1 P1 Q1 R1 S1 T1 U1 V1) (RULES f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1) -> Com_1(f75(2, W1, W1, W1, W1, W1, 2, X1, X1, X1, X1, X1, 2, Y1, Y1, Y1, Y1, Y1, 2, Z1, Z1, Z1, Z1, Z1, 2, A2, A2, A2, A2, A2, 2, B2, B2, B2, B2, B2, 2, C2, C2, C2, C2, C2, 2, D2, D2, D2, D2, D2)) )