gttxygfxysxsyfsxyfxyfxsyfxyf00ttg3tt0f2s100FULLTRS//AProVE_10/ex3.trs