gttxghfxxsxhf0yttfsxyfxsyg2tt0h1f2s100FULLTRS//AProVE_10/ex2.trs