TX=F (+ l3); C=((WIEN_F_1|WIEN_F_2A|(WIEN_F_2B,WIEN_I3_1)|WIEN_F_3|WIEN_F_4))|   ((WIEN_F_1L|WIEN_F_2AL|(WIEN_F_2BL,WIEN_I3_1L)|WIEN_F_3L|WIEN_F_4L));