fxycondltxyxycondttxyfsxsylt0yttltsxsyltxyf2cond3lt2tt0s100FULLTRS//AProVE_10/ex1.trs